About the job

IC Resources is seeking a highly motivated and detail-oriented Formal Verification Engineer to join an established Verification group in the historic city of Oxford. In this technical engineering role, the selected candidate will apply advanced formal methods to verify the correctness and reliability of complex digital designs, working collaboratively with design, simulation, and functional verification teams to ensure product safety, performance, and compliance with specifications. The engineer will be responsible for developing and executing formal verification plans for digital blocks and systems, identifying critical properties and invariants, and writing formal specifications using SystemVerilog Assertions (SVA), PSL, or other verification languages. Additional duties include analyzing results, collaborating with designers to resolve counterexamples, integrating formal verification with simulation and emulation workflows, documenting best practices, and maintaining up-to-date knowledge of the latest advancements in formal methods. Proficiency with EDA tools such as JasperGold, Questa Formal, or OneSpin is essential, along with a strong understanding of digital design principles, logic, and microarchitecture. Applicants should hold a Bachelor’s or Master’s degree in Electrical or Computer Engineering, Computer Science, or a related field. IC Resources welcomes applications from both UK and international candidates, offering full visa sponsorship and relocation support for successful applicants coming from overseas, providing a unique opportunity to join a leading semiconductor verification team in a world-class environment.