Formal Verification Engineer - RTL Validation & Bug Discovery

Formal Verification Engineer - RTL Validation & Bug Discovery

Full-Time 50000 - 65000 Β£ / year (est.) No working from home possible
Semiconductor Engineering

At a Glance

  • Tasks: Execute formal verification to ensure quality in complex hardware designs and mentor junior engineers.
  • Company: Leading semiconductor engineering firm based in Hemel Hempstead.
  • Benefits: Competitive salary, mentorship opportunities, and a collaborative work environment.
  • Other info: Opportunity for career growth and innovation in a fast-paced industry.
  • Why this job: Join a dynamic team and make a real impact on cutting-edge hardware technology.
  • Qualifications: Experience in formal verification and strong debugging skills required.

The predicted salary is between 50000 - 65000 Β£ per year.

Semiconductor Engineering is seeking a Formal Verification Engineer in Hemel Hempstead, United Kingdom. This role involves executing formal verification activities to ensure the quality and correctness of complex hardware designs and mentoring junior engineers.

Key responsibilities include:

  • Developing verification environments
  • Contributing to equivalence checking
  • Debugging
  • Collaborating closely with design teams to achieve verification closure
  • Fostering improvements in verification flows
  • Running formal analysis to identify hardware bugs

Formal Verification Engineer - RTL Validation & Bug Discovery employer: Semiconductor Engineering

At Semiconductor Engineering, we pride ourselves on being an excellent employer by fostering a collaborative and innovative work culture in Hemel Hempstead. Our commitment to employee growth is evident through mentorship opportunities and continuous learning initiatives, ensuring that our engineers not only excel in their roles but also advance their careers. With a focus on quality and creativity in hardware design, we offer a dynamic environment where your contributions directly impact the success of our projects.

Semiconductor Engineering

Contact Details:

Semiconductor Engineering Recruitment Team

We think you need these skills to ace Formal Verification Engineer - RTL Validation & Bug Discovery

Formal Verification
RTL Validation
Bug Discovery
Verification Environments Development
Equivalence Checking
Debugging
Collaboration with Design Teams