Formal Verification Engineer

Formal Verification Engineer - UK

This is a unique opportunity to join a dynamic multicultural organisation as they embark on their Formal Verification journey! I am looking for a Formal Verification expert who is able to not only be hands on but also drive and guide the Formal Verification strategy, activities and training to other group members. 

The role involves verifying and validating complex hardware designs using industry-leading formal verification tools and collaborating with cross-functional teams to ensure the delivery of high-quality, reliable hardware products.

Responsibilities

• Leading the formal verification efforts for complex hardware designs, ensuring thorough coverage and connectivity verification
• Developing and executing formal verification plans using tools such as JasperGold and VC Formal
• Collaborating with design and verification teams to identify and address design issues
• Serving as a technical contributor to drive best practices and methodologies for formal verification
• Providing leadership and mentorship to junior team members in the area of formal verification

Qualifications

• Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or related field
• Proven expertise in formal verification with hands-on experience in tools such as JasperGold and VC Formal
• Strong understanding of formal coverage and formal connectivity techniques
• Excellent communication and collaboration skills
• Ability to thrive in a fast-paced, global brand environment whilst working in a smaller team cross functionally. 
• Prior experience leading formal verification efforts is a plus

Day-to-day

• Working closely with the design and verification teams to understand the hardware design requirements
• Developing and executing formal verification plans to ensure comprehensive coverage
• Analyzing and debugging issues identified during formal verification
• Collaborating with cross-functional teams to ensure the successful verification of complex hardware designs
• Leading and mentoring junior team members to foster a culture of continuous learning and growth

For this role proven experience and leadership is required. You must have several years experience within a Formal role.

On offer is a fantastic benefits package which includes a base of £75,000 - £120,000 depending on years experience, application and leadership qualities as well as Stock and a competitive bonus offering.

Relocation support and Visa sponsorship can be given for the right candidate. 

For more information and a confidential discussion, please contact Rachel Mason at IC Resources.