Elite People Partners Ltd in Oxfordshire is seeking a hands-on Formal Verification Engineer for a 4-6 month contract. You will own block-level formal verification, translate design intent into properties, debug failures, and document sign-off evidence with three days onsite per week.
The role requires hands-on use of JasperGold or VC Formal, SystemVerilog Assertions, and RTL debugging, plus experience with abstraction, decomposition or constraint refinement to converge proofs.
Contract Formal Verification Engineer - Oxfordshire employer: Elite People Partners Ltd
Elite People Partners Ltd is an exceptional employer, offering a dynamic hybrid working environment that fosters collaboration and innovation in the field of GPU and AI compute architecture. With a strong emphasis on employee growth, the company provides significant benefits such as a 30% performance-related bonus, pension, and private medical insurance, making it an attractive place for talented engineers to thrive and advance their careers.
