Formal Verification Engineer - UK

Cambridge Avecas Technologies Design Verification 5+ yrs
Full-time

Job Description

Apply formal property checking and CDC/RDC verification for safety-critical automotive SoC designs.

Required Skills

JasperGold VC Formal SVA CDC Formal ISO 26262
Domain
Design Verification
Location
Cambridge
Type
Full-time
Posted
May 29, 2026

Apply Now

Fill in your details below to apply for this position
Back to All Jobs

Our Global Presence

Delivering VLSI excellence from five strategic locations worldwide

🇮🇳
Hyderabad, Telangana
India  ·  Headquarters
4th Floor, Radhe Heights,
Madhapur, Hyderabad 500081
🇮🇳
Bangalore, Karnataka
India
Design Center,
Bangalore 560001
🇺🇸
Sheridan, Wyoming
United States
30 N Gould St Ste R,
Sheridan, WY 82801
🇬🇧
Suffolk, England
United Kingdom
82A James Carter Road,
Mildenhall, Suffolk, IP28 7DE
🇲🇾
Penang
Malaysia
VLSI Design Center,
Penang, Malaysia