Senior Principal Formal Verification Engineer

Senior Principal Formal Verification Engineer Senior Principal Formal Verification Engineer 1 week ago Be among the first 25 applicants

Direct message the job poster from European Tech Recruit

As a Senior Principal Formal Verification Engineer you will help shape the future of mobility through advanced microcontroller and software technologies.

This role is central to transforming the automotive landscape with solutions that support clean, safe, and intelligent vehicles.

You will contribute to the development of cutting-edge verification methods that ensure reliability and compliance in complex systems.

Working alongside a team of experts, you will drive technical innovation, influence strategy, and support the growth of formal verification capabilities.

What to expect from this role :

Collaborate with platform architects and design leads to define formal-friendly platform and design guidelines.

Promote formal verification as a standard approach for IP verification processes.

Guide teams to apply the right formal verification techniques to enhance efficiency at both IP and product levels.

Develop formal verification expertise within the Automotive Microcontrollers business and build a Formal Verification Community.

Advance the use of formal verification in Digital Mixed Signal and Power Aware Verification, including automation and AI-driven methods.

Requirements :

Holds a university degree in a STEM field with over 15 years of relevant work experience, including 8+ years specializing in formal verification.

Possesses deep expertise in formal verification techniques such as abstractions, non-determinism, invariants, and assume-guarantee reasoning.

Understands formal engines thoroughly and knows how to apply them effectively across various verification tasks.

Experienced in applying formal verification to algorithms, protocols, design blocks, SoC verification, and hybrid simulation-formal environments.

Recognised for driving formal verification advancements both internally and externally, with demonstrated influence in industry and academia.

If this role is of interest please apply directly on LinkedIn or send a copy of your CV to

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 Information Technology Industries Software Development Referrals increase your chances of interviewing at European Tech Recruit by 2x

Sign in to set job alerts for "Validation Engineer" roles.

Dublin, County Dublin, Ireland 3 weeks ago

Dublin, County Dublin, Ireland 3 days ago

Dublin, County Dublin, Ireland 2 weeks ago

Dublin, County Dublin, Ireland 2 months ago

Dublin, County Dublin, Ireland 1 week ago

Dublin, County Dublin, Ireland 1 week ago

Dublin, County Dublin, Ireland 3 weeks ago

Dublin, County Dublin, Ireland 3 weeks ago

Dublin, County Dublin, Ireland 3 weeks ago

Dublin, County Dublin, Ireland 2 weeks ago

Dublin, County Dublin, Ireland 3 weeks ago

Bray, County Wicklow, Ireland 1 month ago

Dublin, County Dublin, Ireland 1 hour ago

Dublin, County Dublin, Ireland 2 weeks ago

Blanchardstown, Fingal, Ireland 3 days ago

Dublin, County Dublin, Ireland

60,000.00

65,000.00

2 weeks ago

Dublin, County Dublin, Ireland 2 days ago

Dublin, County Dublin, Ireland 2 weeks ago

Dublin, County Dublin, Ireland 1 week ago

Dublin, County Dublin, Ireland 3 weeks ago

Dublin, County Dublin, Ireland 3 days ago

Dublin, County Dublin, Ireland 2 months ago

Dublin, County Dublin, Ireland

50.00

70.00

3 weeks ago

Dublin, County Dublin, Ireland 3 days ago

Dublin, County Dublin, Ireland 1 month ago

Dublin, County Dublin, Ireland 1 week ago

Dublin, County Dublin, Ireland 3 weeks ago

Dublin, County Dublin, Ireland 2 weeks ago

Dublin, County Dublin, Ireland 1 week ago

Documentation and Engineering Quality Control Review, DC Design Engineering Dublin, County Dublin, Ireland 2 weeks ago

Dublin, County Dublin, Ireland 1 month ago

QA Engineer I (6-month Maternity Leave Cover) Dublin, County Dublin, Ireland 3 days 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