Formal Verification Engineer - Advanced RTL

Formal Verification Engineer

We are partnered with a specialist semiconductor company delivering complex high-speed signaling and interconnect solutions. They are seeking a Formal Verification Engineer to establish and implement formal methodologies for sign-off on advanced RTL designs.

This is a permanent position based in Lausanne, Switzerland (it is also possible to work from offices in the UK, Germany, or Denmark).

• Develop and implement Formal Verification (FV) methodologies and best practices for design sign-off.
• Prepare comprehensive design verification plans based on design specifications.
• Document results and coverage metrics for formal sign-off.
• Plan and schedule assigned projects and maintain the formal verification environment.
• Work with RTL design engineers to develop formal micro-architecture specifications.
• Deliver reusable and optimized formal models and verification codebases to improve efficiency.
• Participate in RTL design reviews and actively track and close design bugs.

• Proven track record in verifying complex ASIC or FPGA designs (preferably in high-volume applications).
• Deep understanding of Formal Verification technologies.
• Proficiency in temporal logic assertion-based languages such as System Verilog Assertions (SVA) or PSL.
• Strong knowledge of Metrics-Driven Verification (test planning and coverage closure).
• Strong understanding of instruction-set architectures, interrupt handling, and bus architectures.
• Proficiency in scripting for automation (Python, Perl, or TCL).
• Experience with Cadence Jasper Gold and VManager is desirable.

If you are interested in this Formal Verification Engineer position, please send a copy of your CV to .

Mid-Senior level

Full-time

Engineering and Design

Semiconductor Manufacturing

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

Referrals increase your chances of interviewing at European Tech Recruit by 2x