Current jobs related to Senior Principal Formal Verification Engineer - Dublin, Dublin City - European Tech Recruit


  • Dublin, Dublin City, Ireland Infineon Technologies Ag Full time

    Senior Principal Engineer for Formal VerificationJoin our team 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.We are seeking a Senior Principal Engineer...


  • Dublin, Dublin City, Ireland beBee Careers Full time

    **Senior Principal Engineer for Formal Verification**">Drive innovation in the field of formal verification to shape the future of mobility and contribute to the development of clean, safe, and smart cars.Collaborate with experts to drive innovation, strategy, and growth in formal verification and establish it as a standard method in IP verification.


  • Dublin, Dublin City, Ireland European Tech Recruit Full time

    Senior Principal Formal Verification Engineer - Technical LeadSenior Principal Formal Verification Engineer - Technical Lead6 days ago Be among the first 25 applicantsDirect message the job poster from European Tech RecruitSenior Recruitment Consultant at European/USA Tech Recruit - Specialist in Semiconductor Engineering across Europe, US and AsiaJob Title:...


  • Dublin, Dublin City, Ireland beBee Careers Full time

    About this RoleThis is an exceptional opportunity to join our team as a Principal Engineer Formal Verification Lead. As a key member of our team, you will play a critical role in shaping the future of mobility with our Automotive division.Key ResponsibilitiesLead the development of innovative solutions that enable clean, safe, and smart cars.Define and...


  • Dublin, Dublin City, Ireland beBee Careers Full time

    We are seeking an expert in formal verification to join our team as a Senior Principal Formal Verification Engineer. In this role, you will be responsible for defining and advancing the verification strategy for next-generation automotive microcontroller platforms.You will work closely with platform architects and design teams to develop verification-aware...


  • Dublin, Dublin City, Ireland beBee Careers Full time

    Senior Principal Engineer for Formal Verification\We are looking for a highly skilled Senior Principal Engineer for Formal Verification to join our team. As a key member of our team, you will play a vital role in shaping the future of mobility with your expertise in formal verification.\You will define and lead the formal verification strategy for automotive...

  • Principal Engineer

    5 days ago


    Dublin, Dublin City, Ireland beBee Careers Full time

    **Lead Formal Verification Expert**">A strong leader with a background in formal verification is required to drive complex projects forward and analyze intricate problems from multiple angles.Develop and implement a comprehensive formal verification strategy that leverages formal engines and promotes efficient use in hybrid simulation-formal...


  • Dublin, Dublin City, Ireland Tn Ireland Full time

    An excellent opportunity for a Principal Verification Engineer with a world-leading Semiconductor company based in Ireland.Visa sponsorship and relocation assistance provided where needed.Based in Dublin, a major electronics hub in Ireland, our client is looking for a Principal Verification Engineer to drive block verification for next-generation Video/GFX...


  • Dublin, Dublin City, Ireland TN Ireland Full time

    An excellent opportunity for a Principal Verification Engineer with a world-leading Semiconductor company based in Ireland.Visa sponsorship and relocation assistance provided where needed.Based in Dublin, a major electronics hub in Ireland, our client is looking for a Principal Verification Engineer to drive block verification for next-generation Video/GFX...


  • Dublin, Dublin City, Ireland beBee Careers Full time

    Senior Formal Verification SpecialistWe are looking for a senior formal verification specialist to join our team. As a senior member of the team, you will be responsible for defining and advancing the verification strategy for next-generation automotive microcontroller platforms.You will collaborate with platform architects and design teams to define...

Senior Principal Formal Verification Engineer

2 weeks ago


Dublin, Dublin City, Ireland European Tech Recruit Full time

Senior Principal Formal Verification Engineer - Technical Lead Senior Principal Formal Verification Engineer - Technical Lead 6 days ago Be among the first 25 applicants
Direct message the job poster from European Tech Recruit
Senior Recruitment Consultant at European/USA Tech Recruit - Specialist in Semiconductor Engineering across Europe, US and Asia Job Title: Senior Principal Engineer – Formal Verification (Technical Lead)
Location: Dublin, Ireland (Hybrid – 2 days per week onsite)
Type: Full-Time, Permanent
We're hiring a Senior Principal Engineer to take on a technical leadership role in driving formal verification strategy and execution within a world-class semiconductor R&D environment.
Based in Dublin, you'll be the go-to authority in a high-impact team building the next generation of automotive microcontroller platforms that enable cleaner, safer, and smarter mobility solutions.

Your Mission: As the technical lead for formal verification , you will define methodology, influence architecture, mentor engineers, and set the direction for formal practices across advanced semiconductor designs.
You'll work at the intersection of innovation, strategy, and execution—shaping both the future of the product and the people behind it.

Key Responsibilities: Own the formal verification strategy across microcontroller platforms used in automotive systems.
Collaborate with architects and design leads to enforce formal-friendly design principles from the ground up.
Lead the integration of formal verification into the IP and SoC-level flows, ensuring it becomes a standard and scalable part of development.
Mentor and coach engineers, building a strong internal network of formal verification expertise.
Push formal methods into new domains such as Digital Mixed Signal and Power-Aware Verification .
Champion automation and next-gen approaches, including the practical use of AI in verification workflows.
Act as a thought leader , both internally and externally, contributing to the advancement of formal verification across industry and academia.
What You Bring: A university degree in Electrical Engineering, Computer Engineering, or a related field.
15+ years in the semiconductor space, including 8+ years of hands-on formal verification experience .
Demonstrated technical leadership —influencing architecture, methodology, and team capability.
Deep understanding of formal concepts (e.g., invariants, abstractions, assume-guarantee, non-determinism).
Practical experience applying formal methods to verify algorithms, protocols, design blocks, and SoC subsystems.
Skilled in hybrid formal-simulation environments and comfortable navigating evolving tool landscapes.
Proven record of impact and innovation—through tools, methodologies, mentoring, or published work Interested to know more?
Apply here with your CV .
By applying to this role you understand that we may collect your personal data and store and process it on our systems.
For more information please see our Privacy Notice ( Seniority level Seniority level Mid-Senior level Employment type Employment type Full-time Job function Job function Design, Engineering, and Other Industries Semiconductor Manufacturing, Staffing and Recruiting, and IT Services and IT Consulting Referrals increase your chances of interviewing at European Tech Recruit by 2x
Get notified about new Validation Engineer jobs in Dublin, County Dublin, Ireland .

Dublin, County Dublin, Ireland 1 month ago
Dublin, County Dublin, Ireland 1 week ago
Dublin, County Dublin, Ireland 3 days ago
Dublin, County Dublin, Ireland 1 month ago
Dublin, County Dublin, Ireland 47 minutes ago
Dublin, County Dublin, Ireland 1 month ago
Dublin, County Dublin, Ireland 4 hours ago
Dublin, County Dublin, Ireland 3 days ago
Dublin, County Dublin, Ireland 1 month ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 3 weeks ago
Bray, County Wicklow, Ireland 6 months ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 1 week ago
Dublin, County Dublin, Ireland 2 weeks ago
Senior Verification and Validation Engineer Dublin, County Dublin, Ireland 22 hours ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 2 days ago
Dublin, County Dublin, Ireland 4 weeks ago
Dublin, County Dublin, Ireland 22 hours ago
Quality Assurance Quality Control Engineer Dublin, County Dublin, Ireland 1 week ago
Dublin, County Dublin, Ireland 2 days ago
Naas, County Kildare, Ireland 4 months ago
Documentation and Engineering Quality Control Review, DC Design Engineering Dublin, County Dublin, Ireland 4 hours ago
Dublin, County Dublin, Ireland 3 weeks ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 1 week ago
Dublin, County Dublin, Ireland 2 weeks ago
Dublin, County Dublin, Ireland 1 week ago
We're unlocking community knowledge in a new way.
Experts add insights directly into each article, started with the help of AI.

#J-18808-Ljbffr