Oxford Formal Verification Engineer — Digital Design

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

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.