About the job

The Design Verification Engineer role at IC Resources, based in Oxfordshire, England, is a full-time, on-site position offering visa sponsorship and relocation support for non-UK nationals. The position focuses on formal verification of complex digital designs to ensure reliability, safety, and compliance with specifications. The engineer will develop and execute formal verification plans, identify key properties and invariants, write formal specifications using SystemVerilog Assertions (SVA), PSL, or similar languages, and analyze verification results to collaborate with design teams for issue resolution. The role also involves integrating formal methods with simulation and emulation strategies, documenting methodologies and best practices, and staying updated with advancements in formal verification techniques. Candidates should have a Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, along with strong knowledge of digital design, RTL (Verilog/SystemVerilog, VHDL), formal verification tools (like JasperGold, Questa Formal, or OneSpin), logic, Boolean algebra, and formal specification languages. Familiarity with bus protocols and microarchitecture concepts is also required. IC Resources, a leading staffing and recruiting firm established in 1999, supports the global technology community with 70 specialized consultants across software, semiconductor, and electronics sectors.