Senior Formal Verification Engineer | Location: Flexible | £65,000 + Bonus 

SoCode recruitment are delighted to be partnering with a long-standing client of ours, who are looking for talented engineers to join their formal team, and push the boundaries of arithmetic hardware verification. You will be working as part of the leading team in the industry, alongside some of the brightest minds in the field.

The company is a founding member of the RISC-V organisation, and is leading the open source architecture revolution. The business spans IP, graphics, machine learning and AI, and have use in a huge range of applications and technology.

What Can This Role Offer Me?

• Be a key contributor and drive innovation and progress at a leading multinational technology company
• Be part of a small, but vital, mathematically focused team and see a real, tangible result of your work and efforts
• Investigate new formal methods and techniques, and push the boundaries of what can be achieved with formal verification.
• Give technical direction and guidance, define technical vision, strategy and roadmap  
• Review existing CPU designs; influence and advance the companies CPU design methodology
• Plan formal verification strategies and apply property-based and functional equivalence formal techniques

What Can I Bring?

• Expertise in formal techniques and methods
• Experience in planning and executing a verification plan from requirements
• A proven record of delivering the verification of complex IP projects, in a fast-paced, technical environments
• Be able to formalise and automate the verification process
• A critical mind with the ability to think both abstractly and concretely
• Able to phrase properties using formal languages, analyse falsified statements and develop methodologies to achieve convergence and property proofs