Formal Verification Engineer

vor 1 Tag


Lausanne, Schweiz European Tech Recruit Vollzeit

Principal Consultant | Software Engineering, AI & CV/ML, Semiconductors & Electronics European Tech Recruit are working closely with a leading semiconductor company, based in Lausanne, who are looking for a talented Formal Verification Engineer to join their team. This role can also be available working out of their Reading (UK), Northampton (UK) or Dortmund (Germany) offices. Responsibilities Develop formal verification methodologies and best practices. Participate in RTL design reviews. Prepare design verification plan based on design specifications. Document results and coverage metrics for formal sign-off. Plan and schedule assigned projects for timely completion. Maintain design verification environment and track & close design bugs. Requirements 5+ years’ experience in the semiconductor industry. Proven track record in verifying complex designs (preferably in high volume applications) - FPGA or ASIC. Skilled in trade-offs between quality and schedule. Good scripting techniques (Python, Perl or TCL for automation), regression setup & management. Deep understanding of Formal Verification technologies. Strong knowledge on Metrics-driven verification (incl. test planning and coverage closure). Proficiency in temporal logic assertion-based languages such as SVA or PSL. Knowledge of traditional simulation-based verification methodologies (a plus). Working with RTL design engineers to develop a formal micro-architecture specification. Familiarity with SerDes and high-level protocols (e.g., PCle, USB, DP) would be advantageous. Delivered reusable and optimized formal models and verification codebases to improve efficiency across projects. If this role is of any interest please apply directly on LinkedIn or send a copy of your CV to nh@eu-recruit.com. 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 (https://eu-recruit.com/about-us/privacy-notice/) #J-18808-Ljbffr



  • Lausanne, Schweiz European Tech Recruit Vollzeit

    Director | Semiconductor, Automotive Tech & Embedded Systems Formal Verification Engineer – Advanced Semiconductor Systems Locations: Switzerland or UK About the Role We are seeking an experienced Formal Verification Engineer to contribute to the development of next‑generation semiconductor technologies. This role is ideal for someone who enjoys solving...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    A leading semiconductor company in Lausanne is looking for a skilled Formal Verification Engineer to develop methodologies and participate in design reviews. The ideal candidate has over 5 years of semiconductor industry experience and a proven track record in verifying complex designs. Proficiency in scripting and deep understanding of Formal Verification...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    A leading semiconductor technology company is seeking an experienced Formal Verification Engineer to enhance the development of cutting-edge semiconductor technologies. The role involves developing formal verification methodologies and collaborating with engineering teams to address complex hardware verification challenges. Candidates should have over 5...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    Director | Semiconductor, Automotive Tech & Embedded Systems Digital Verification Engineer – Advanced ASIC/FPGA Systems (Multiple EU Locations) Locations: Switzerland, UK, Germany or Denmark About the Role We are looking for an experienced Digital Verification Engineer to play a key role in validating complex digital designs for next‑generation...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    Principal Consultant | Software Engineering, AI & CV/ML, Semiconductors & Electronics European Tech Recruit are working closely with a leading semiconductor company, based in Lausanne, who are looking for a talented Digital Verification Lead Engineer to join their team. This role can also be available working out of their Reading (UK), Northampton (UK) or...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    Mixed Signal Verification Engineer - SerDes / High Speed We are currently partnered with a leading semiconductor company driving next‑generation high‑speed communication technology. The team are looking to expand their headcount with a Mixed Signal Verification Engineer to work on cutting‑edge SerDes Designs. This is a permanent position based in...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    A leading semiconductor company is seeking a Mixed Signal Verification Engineer based in Lausanne, Switzerland. The ideal candidate will execute verification plans for high-speed designs, innovate methodologies, and debug issues. Applicants should have strong scripting skills and experience in analog/mixed-signal verification. This full-time position offers...


  • Lausanne, Schweiz The Biopôle Vollzeit

    System Verification EngineerAbout usAt Distalmotion, we aim to deliver the benefits of robotic surgery to more surgeons, more hospitals, and more patients globally. Our vision is to establish a new standard of care, removing traditional barriers and complexities of robotics to ensure greater access to best-in-class minimally invasive surgery.We are a...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    A leading tech recruitment firm is seeking a Mixed-Signal Verification Engineer in Lausanne, Switzerland, to contribute to the verification of advanced subsystems such as high-speed communication interfaces. The ideal candidate needs solid scripting skills and experience with mixed-signal verification methodologies. In this role, you'll collaborate with...


  • Lausanne, Schweiz European Tech Recruit Vollzeit

    A leading recruitment agency is looking for an experienced Digital Verification Engineer to validate complex digital designs for next-generation semiconductor products. The ideal candidate has over 5 years of experience in the semiconductor industry, strong communication skills, and proficiency in scripting. This full-time role offers the opportunity to work...