
Timeline
About me
Formal Verification Engineer at LUBIS EDA
Education

Gitam deemed university
-Bachelor's degree electrical, electronics and communications engineering 8.66.webp)
Rheinland-pfälzische technische universität kaiserslautern-landau (rptu)
-Master of science - ms embedded systems 2,2
Experience

Tata consultancy services
Jul 2017 - Jan 2019Assistant system engineer▪ Around 2 years of work experience on Automotive ADAS Software Testing.▪ Good understanding of Software testing life cycle activities from start of project to closure.▪ Experienced in the test processes including Test Case Preparation, Test Execution, Defect trackingand Test log Preparation.▪ Good Knowledge in CAN Communication Protocol(ISO 11898) and UDS (ISO 14229).▪ Good knowledge and hands-on in simulating the environment for Automation/Manual functionaltesting(HIL) with Vector tools like CANoe,CANape.▪ Good exposure to Software and Requirement Configuration Management procedures usingDOORs and PTC Integrity.▪ Exposure to V Model SDLC and Agile work environment. Weniger anzeigen

Kernel masters
Jul 2019 - Jan 2019Embedded system developer traineeWorked on Tiva™ TM4C123GH6PM Microcontroller for developing the project Smart Attendence Tracking System using peripherals such as fingerprint sensor(GT-511C3), wifi module.

Lubis eda
Jan 2021 - nowWorking on System Level abstraction of existing RTL design to generate SVA properties for formal verification on the design.
Formal Verification Engineer
Apr 2023 - nowGraduate Student Research Assistant(HiWi) - Application Engineer
Jan 2021 - Jan 2023

Continental
Jan 2021 - Feb 2022Intern - software development (adas)▪ Worked with Integration team for "Radar-based Driver Assistance Systems" and assisted in writing scripts for continuous integration activities. ▪ Experience with Continental Bricks process which facilitates the implementation of a DevOps culture in embedded software development. ▪ Active participation in the Bricks task triggers in Jenkins and supported in the analysis of Jenkins build logs. ▪ Brief understanding and experience of tools like IBM DOORs, IMS Integrity, JIRA, Confluence, GitHub, Jenkins. ▪ Assisted in troubleshooting ASPICE findings for SWE.5 software integration and test areas. ▪ Supported product management activities such as drafting the SW Project Organization Chart. Weniger anzeigen
Licenses & Certifications

Embedded systems developer
Kernel mastersJan 2019
Recommendations
.webp)
Jen-mar mercado, rmt, mls(ascpi)
Medical Laboratory ScientistUnited States
Jorge sarompas aguilera
Opositor al Cuerpo Superior de Letrados de la Administración de la Seguridad SocialGranada, Andalucía, España
Akhil gannamraju
Adv Engineer I @Invesco || Ex-TCSHyderabad, Telangana, India
Paulo silva
Data Analytics & Performance Specialist @ Mota-Engil | Data Science & Analytics | Project Management...Navegantes, Santa Catarina, Brazil
Oreana bejarano castillo
Gerente de RRHH en IPHCI SaludLima Metropolitan Area
Nidhish dhadve
Analytics @ MMJS Dataphi || Winner-NEC 2023 (IIT Bombay) || 🏆 5x National Business Case Studies || ...Mumbai, Maharashtra, India
Chee siong oh
Counsellor / Lecturer / TrainerSingapore
Suriyabhan singh
pastry Chef at Westin Hotels & ResortsUttarakhand, India
Aashik francis
Manager-Enterprise Sales at PayU | Ex- Sonata SoftwareBengaluru, Karnataka, India
Martin sharp
Sales Manager at Maun Industries LtdGreater Nottingham
...