Design Verification Engineer
2 weeks ago
Job Title: Formal Verification Engineer
About the Role:
I am seeking a highly motivated and detail-oriented
Formal Verification Engineer
to join an established Verification group in the historic City of Oxford. In this role, you will be responsible for applying formal methods to verify the correctness of complex digital designs. You will work closely with design, simulation, and functional verification teams to ensure product reliability, safety, and compliance with specifications.
Key Responsibilities:
- Develop and execute formal verification plans for digital blocks and systems.
- Identify key properties and invariants for verification using formal methods.
- Write formal specifications using SystemVerilog Assertions (SVA), PSL, or other formal languages.
- Analyze formal verification results, including counterexamples and traces, and collaborate with design teams to resolve issues.
- Integrate formal methods into the overall verification strategy alongside simulation and emulation.
- Document verification methodologies, results, and best practices.
- Work with EDA tools such as JasperGold, Questa Formal, OneSpin, or similar.
- Stay updated with the latest advancements in formal methods and apply them to improve verification quality and efficiency.
Required Qualifications:
- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.
- Solid understanding of digital design principles, including RTL design (Verilog/SystemVerilog, VHDL).
- Experience with formal verification tools and methodologies.
- Strong knowledge of logic, Boolean algebra, and formal specification languages.
- Familiarity with common bus protocols and microarchitecture concepts.
Non UK nationals are welcome to apply to the position. Visa sponsorship and relocation will be supported for the successful applicant if coming from overseas.
-
ASIC Digital Verification Engineer
2 weeks ago
Oxford, Oxfordshire, United Kingdom Oxford Nanopore Technologies Full time £60,000 - £100,000 per yearDigital Verification Engineer – 6-Month ContractWe are seeking an experiencedDigital Verification Engineerto lead the verification of a large mixed-signal ASIC as part of a short-term design project.This 6-month contract role is dedicated todigital functional verificationof an existing design nearing completion. You'll bring strong hands-on expertise in...
-
Design Test Engineer
2 weeks ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £40,000 - £80,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the...
-
Electronics Design Engineer
6 days ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £40,000 - £60,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the OrganOx...
-
Electronics Design Engineer
6 days ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £60,000 - £120,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the OrganOx...
-
Electronics Design Engineer
1 week ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £40,000 - £80,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the...
-
Senior Analog Design Engineer
2 days ago
Oxford, Oxfordshire, United Kingdom Wave Recruitment Full time £120,000 - £150,000 per yearStaff IC Design EngineerLocation:Oxfordshire (Hybrid)Salary:Competitive + share options + benefitsWave Recruitment is supporting a pioneering deep-tech company developing the next generation of hardware for AI acceleration — built on a breakthrough approach to high-speed, high-efficiency computing.This is an opportunity to join a world-class engineering...
-
Mechanical Design Engineer
6 days ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £60,000 - £90,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the OrganOx...
-
Mechanical Design Engineer
6 days ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £40,000 - £70,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the OrganOx...
-
Mechanical Design Engineer
1 week ago
Oxford, Oxfordshire, United Kingdom OrganOx Full time £40,000 - £80,000 per yearABOUT ORGANOX:OrganOx is an innovative, fast-paced, global medical device company with a mission to save lives by making every donated organ count. We are a commercial stage organ technology company, spun out of the University of Oxford in 2008, committed to improving transplantation outcomes throughout the world. The company's first product, the OrganOx...
-
Mechanical Design Engineer
2 weeks ago
Oxford, Oxfordshire, United Kingdom HR Wallingford Full time £38,000 - £55,000 per yearAt HR Wallingford, we design smart, resilient solutions across the natural and built environments to help everyone live and work more sustainably with water. By harnessing research, data insights and the power of our collective expertise, we help the world to better understand the changing influence and impact of water.HR Wallingford's Equipment, Technology...