Design Verification Engineer

IC Resources; England; On-site; GBP 50,000 - 70,000; Full time

Job summary

A leading technology company is seeking a highly motivated Formal Verification Engineer to join their verification group in Oxford. The ideal candidate will be responsible for applying formal methods to ensure the correctness of complex digital designs and will collaborate closely with various teams to guarantee product reliability and compliance. This full-time role welcomes applications from non-UK nationals, with visa support provided.

Qualifications

• Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or Computer Science.
• Solid understanding of digital design principles including RTL design.
• Experience with formal verification tools and methodologies.

Responsibilities

• Develop and execute formal verification plans for digital blocks and systems.
• Identify key properties for verification using formal methods.
• Document verification methodologies and results.

Skills

Formal verification methods

Digital design principles

Solid understanding of RTL design

Experience with formal verification tools

Knowledge of logic and Boolean algebra

Familiarity with common bus protocols

Education

Bachelor’s or Master’s degree in relevant field

Tools

SystemVerilog Assertions

EDA tools (e.g. JasperGold, Questa Formal)

Job description

Formal Verification Engineer – Semiconductor Division

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. Visa sponsorship and relocation will be supported for the successful applicant if coming from overseas.

Additional Information

Seniority level: Mid-Senior level

Employment type: Full-time

Location: Oxford, England, United Kingdom