Staff Formal Verification Engineer
Location: Hemel Hempstead
Job Overview
This role involves defining organization-wide formal verification methodologies, influencing architecture decisions for verification efficiency, leading complex debug efforts, and mentoring engineers at all levels. The Staff Engineer is responsible for aligning formal verification practices with business objectives and technological advances. Beyond the technical work, you will have line management responsibilities and middle management involvement – where you would lead project delivery and development of individuals in your team.
Responsibilities
Lead formal verification strategy across multiple projects, aligning methodologies with architectural and business goals
Mentor engineers and champion best practices, while advancing verification flows, automation, and tool adoption across the organisation
Responsibilities
Lead complex formal analysis to ensure exhaustive coverage of critical properties, safety requirements, and corner cases.
Responsibilities
Own resolution of the most challenging verification issues, providing deep technical guidance across design and verification teams.
Oversee formal property verification, verification planning, and coverage closure for large or high-risk designs.
Education
Technical Skills
Linux/Unix
Verilog/SystemVerilog/VHDL/Digital design
Technical Skills
RISC-V/Arm/x86/MIPS
Technical Skills
SVA/PSL/Theorem proving
Tcl/Python/Bash
Soft Skills & Language
Problem solving
Ownership
Soft Skills & Language
Autonomy
Fluent in English
Soft Skills & Language
Attention to details
Team working skills
Experience
Benefits
Benefits
Right to work
We provide sponsorship for exceptional candidates, upon conditional terms and conditions.
In Return
You’ll apply your formal verification expertise to technologies that shape and support millions of devices for years to come. This role gives you the opportunity to step into a field where you can grow your technical leadership and impact.
About Us
Mindset
At Axiomise, our vision is to “make formal normal”. We achieve this by embracing within Axiomise a culture that thrives on Aspiration, eXcellence, Inclusion, Oneness and Mastery. Join us in our shared passion to make formal normal.
Equal opportunities at Axiomise
Axiomise is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, colour, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.