IC Resources

Job Vacancy Formal Verification Engineer

Cambridge

IC Resources

Job position

Permanent
£55k-95k
Cambridge, England, United Kingdom
Published on 11/11/2024

Share this job

Formal Verification Engineer

Cambridge
 
I am seeking a Formal Verification Engineer to join an excellent Engineering team in their UK headquarters based in Cambridge.
As a Formal Verification Engineer, you will join a cutting-edge GPU team developing high-quality Formal Verification test benches to verify complex designs in GPU. This position involves working with design and implementation teams to verify designs with high quality. You must be proficient in debugging, deep bug hunting, formal tools, formal verification methodologies and processes to be considered.
 
Key Qualifications:
• Several years of ASIC design, verification, or related work experience.
• Verification skills: Formal verification (Static and Dynamic), Assertion based verification.
• System Verilog, Verilog or VHDL, Scripting skills required.
• Design debug, Deep bug hunting, Formal test planning, Formal tools – Jasper, VC-formal.
• Simulation based verification using UVM/System Verilog
 
As a top company, you can expect Salary, stock and performance related bonus, stock purchase scheme and an array of different insurances.
 
For more information, please contact Rachel Mason at IC Resources.

Apply to this job!

Find your next job from +1,000 jobs!

  • Manage your visibility

    Salary, remote work... Define all the criteria that are important to you.

  • Get discovered

    Recruiters come directly to look for their future hires in our CV library.

  • Join a community

    Connect with like-minded tech and IT professionals on a daily basis through our forum.

Formal Verification Engineer

IC Resources

Connecting Tech-Talent

Free-Work, THE platform for all IT professionals.

Free-workers
Resources
About
Recruiters area
2024 © Free-Work / AGSI SAS
Follow us