Formal Verification Engineer

TN United Kingdom; Oxford; On-site; GBP 40,000 - 80,000; Full time

Job summary

An established industry player is looking for a motivated Formal Verification Engineer to join their team in the historic City of Oxford. In this dynamic role, you will apply formal methods to verify complex digital designs, ensuring product reliability and compliance with specifications. Collaborating closely with design and verification teams, you will develop formal verification plans, write specifications, and analyze results to enhance product quality. This opportunity offers a chance to work with cutting-edge verification tools and methodologies while contributing to innovative projects in a supportive environment. If you're passionate about formal verification and eager to make an impact, this role is for you!

Qualifications

• Experience with formal verification tools and methodologies.
• Solid understanding of digital design principles, including RTL design.

Responsibilities

• Develop and execute formal verification plans for digital blocks and systems.
• Document verification methodologies, results, and best practices.

Skills

Formal Verification

Digital Design Principles

SystemVerilog Assertions

Logic and Boolean Algebra

Formal Specification Languages

Education

Bachelor’s or Master’s degree in Electrical Engineering

Bachelor’s or Master’s degree in Computer Engineering

Bachelor’s or Master’s degree in Computer Science

Tools

JasperGold

Questa Formal

OneSpin

Job description

Social network you want to login/join with:

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.
• Analyse 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.