Job position Formal Verification Engineer
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