OUR SECTORS
At European Tech Recruit, our sectors cover a wide range of industries within the field of technology.
tech jobs in the US?
Looking for
tech jobs in the US?
At European Recruitment, our sectors cover a wide range of industries within the field of technology
At European Recruitment, our sectors cover a wide
range of industries within the field of technology
At European Recruitment, our sectors cover a wide
range of industries within the field of technology
Client services
Learn about the range of client services we offer at European Tech Recruit, and browse through our case sudies.
tech jobs in the US?
Looking for
tech jobs in the US?
At European Recruitment, our sectors cover a wide range of industries within the field of technology
About us
Learn about European Tech Recruit's mission, values, our team, and our commitment to DE&I.
tech jobs in the US?
Looking for
tech jobs in the US?
At European Recruitment, our sectors cover a wide range of industries within the field of technology
Formal Verification Engineer
Formal Verification Engineer,
based in either Lausanne, Switzerland, UK (Reading/Northampton), Germany (Dortmund), or Denmark.
Key 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
Skills
- Must possess great communication skills, rigorous with an analytical mind and be a strong team player
- 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)
- Excellent analytical, problem-solving and debugging skills
- Strong understanding of instruction-set architectures, interrupt handling and bus architectures
- Knowledge of Cadence JasperGold and VManager is preferrable
Experience
- 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
- 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 project
Education
Bachelor of Engineering in Electronics and Electrical Engineer (equivalent or higher)
Apply Now
By applying to this role, you acknowledge that we may collect, store, and process your personal data on our systems.
For more information, please refer to our
Privacy
Notice