Formal Verification Engineer
vor 1 Tag
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 complex hardware verification challenges and working within collaborative, high‑performance engineering teams. Key Responsibilities Develop and refine formal verification methodologies, flows and best practices. Participate in RTL design reviews and provide input for quality improvements. Create detailed verification plans based on design specifications and functional requirements. Drive formal sign‑off, documenting results, coverage metrics, and closure criteria. Plan and schedule assigned verification tasks to ensure on‑time project delivery. Maintain verification environments, track defects, and support root‑cause analysis. Required Skills & Knowledge Strong communication skills, analytical thinking, and the ability to work effectively in cross‑functional teams. Proficiency in scripting (Python, Perl, or Tcl) for automation and regression management. Deep understanding of Formal Verification techniques and assertion‑based verification approaches. Solid knowledge of metrics‑driven verification, including test planning and coverage closure. Experience with temporal logic assertion languages such as SVA or PSL. Familiarity with simulation‑based verification methodologies (beneficial). Excellent debugging, problem‑solving, and analytical capabilities. Understanding of instruction‑set architectures, micro‑architecture behaviour, and on‑chip bus systems. Experience with leading formal verification tools (e.g., JasperGold, OneSpin, or equivalent). Experience 5+ years in the semiconductor industry, focused on formal or functional verification. Proven background verifying complex FPGA or ASIC designs in high‑volume or high‑reliability applications. Ability to balance verification quality, performance, and schedule constraints. Experience collaborating with RTL designers to create micro‑architecture‑level formal specifications. Experience developing reusable, scalable formal models and verification codebases. Knowledge of high‑speed interfaces or complex digital protocols is an advantage. Education Bachelor’s degree (or higher) in Electrical Engineering, Electronics Engineering, Computer Engineering, or equivalent field. Seniority level Mid‑Senior level Employment type Full-time Job function Design, Engineering, and Research Industries Semiconductor Manufacturing, Computer Hardware Manufacturing, and Computers and Electronics Manufacturing #J-18808-Ljbffr
-
Formal Verification Engineer
vor 1 Tag
Lausanne, Schweiz European Tech Recruit VollzeitPrincipal 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...
-
Lead Formal Verification Engineer
vor 1 Tag
Lausanne, Schweiz European Tech Recruit VollzeitA 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 VollzeitA 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...
-
Digital Verification Engineer
vor 1 Tag
Lausanne, Schweiz European Tech Recruit VollzeitDirector | 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...
-
Digital Verification Lead Engineer
vor 1 Tag
Lausanne, Schweiz European Tech Recruit VollzeitPrincipal 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...
-
Mixed Signal Verification Engineer
vor 1 Tag
Lausanne, Schweiz European Tech Recruit VollzeitMixed 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 VollzeitA 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 European Tech Recruit VollzeitA 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...
-
System Verification Engineer
vor 2 Wochen
Lausanne, Schweiz The Biopôle VollzeitSystem 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 VollzeitA 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...
