🤖 15+ AI Agents working for you. Find jobs, score and update resumes, cover letter, interview questions, missing keywords, and lots more.
Cookies & analytics consent
We serve candidates globally, so we only activate Google Tag Manager and other analytics after you opt in. This keeps us aligned with GDPR/UK DPA, ePrivacy, LGPD, and similar rules. Essential features still run without analytics cookies.
Read how we use data in our Privacy Policy and Terms of Service.
🤖 15+ AI Agents working for you. Find jobs, score and update resumes, cover letter, interview questions, missing keywords, and lots more.
Infineon Technologies • Munich, Bavaria, Germany
Role & seniority: Senior Principal Engineer, Formal Verification, Dublin (on-site), Infineon Automotive Microcontroller division
Stack/tools: formal verification techniques and engines; abstractions, non-determinism, invariants, assume-guarantee; hybrid simulation-formal environments; AI-assisted verification; IP/SoC verification
Define and lead formal verification strategy for Automotive Microcontroller platforms
Establish formal verification as the standard method in IP verification and standardize/automate its use
Grow the formal verification community, enable engineers, and push application boundaries in Digital Mixed Signal and Power Aware Verification
15+ years total experience, 8+ years in formal verification
Deep understanding of formal techniques and engines; ability to apply to algorithms, protocols, design blocks, and SoC verification
Proven track record driving complex projects, strong communication and cross-functional collaboration
Evidence of contributions to industry/academic use of formal verification
Ability to mentor/activate verification engineers; network to influence broader adoption; experience with AI techniques in verification
Location & work type: Dublin, Ireland; full-time, on-site with Infineon Automotive division
Join our team in Dublin, as a Senior Principal Engineer for Formal Verification, and play a pivotal role in shaping the future of mobility with Infineon's Automotive division. As a leading innovator in the field, we are driving the transformation of the automotive industry with our cutting-edge microcontrollers and software solutions. As part of our Automotive Microcontroller business line, you will contribute to the development of innovative solutions that enable clean, safe, and smart cars, and work collaboratively with a team of experts to drive innovation, strategy, and growth in the field of Formal Verification.
Job Description As a Senior Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.
Your Profile You are a leader with a strong background in Formal Verification, and a proven track record of driving complex projects forward. You are a strategic thinker, able to analyze intricate problems from multiple angles, leveraging your network of experts to drive innovative solutions and continuous improvement. Your exceptional communication skills enable you to effectively convey your ideas, influence others, and build lasting relationships with cross-functional teams and stakeholders.
#WeAreIn for driving decarbonization and digitalization. As a global leader in semiconductor solutions in power systems and IoT, Infineon enables game-changing solutions for green and efficient energy, clean and safe mobility, as well as smart and secure IoT. Together, we drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. Be a part of making life easier, safer and greener. Are you in?
Automotive (ATV) shapes the future of mobility with microelectronics enabling clean, safe, and smart cars –
Our semiconductors are essential for supporting the automotive megatrends: electromobility, automated driving, connectivity, and advanced security. They link the real and the digital world, driving the ever-advancing pace of automotive digitalization. Infineon ATV is the number one semiconductor partner in the fast-changing automotive world, based on our system knowledge and our passion for innovation and quality. Click here for more information about working at ATV with interesting employee and management insights and an overview with more #ATVDreamJobs.
Automotive Microcontroller: We make green mobility smart As a leading automotive microcontroller vendor, the Infineon business line Automotive Microcontroller (ATV MC) offers the industry’s most comprehensive microcontroller and software portfolio. The three major product families, AURIX™, TRAVEO™ and PSoC™, provide the newest innovation in performance, connectivity, power consumption, safety and security.
We enable the latest advancements in the dynamic automotive market, such as vehicle electrification, automated driving and driver information & interaction. Being at the core of transformation, we pave the way for new technologies, such as artificial intelligence and dependable computing, as well as higher levels of connectivity, security and user experience. So, join us to create a better future together. #AutomotiveMicrocontroller
We are on a journey to create the best Infineon for everyone. This means we embrace diversity and inclusion and welcome everyone for who they are. At Infineon, we offer a working environment characterized by trust, openness, respect and tolerance and are committed to give all applicants and employees equal opportunities. We base our recruiting decisions on the applicant´s experience and skills. We look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting. Please let your recruiter know if they need to pay special attention to something in order to enable your participation in the interview process. Click here for more information about Diversity & Inclusion at Infineon.