
Staff Formal Verification Engineer
- Cambridge
- Permanent
- Full-time
ASICS EngineeringGeneral Summary:Where you will be workingCambridge, located in the East of England, 50 miles north of London, is a unique and beautiful city, renowned for its world-class university and the thriving cluster of high technology businesses that have grown up around it. Cambridge is well served by road and rail links, and is within easy distance of the major London airports.Please note: this is an onsite role with 4 days in office, 1 day WFH, based out of our Cambridge office.About UsAt our Cambridge site we are focused on pioneering IoT and automotive technologies, with engineering areas of excellence including, Analogue and Digital Design, Voice and Music (Hardware, Software, OEM Support, Innovation).Cambridge is our largest office in the UK, with more than 600 team members including engineers, business strategists and support staff.About The Role
QCT's Digital ASIC design team delivers cutting edge hardware and software products that power the user experience and graphics content of the most advanced mobile devices on the market.Graphics formal verification positions involve the developing high-quality formal verification test benches to verify complex designs in GPU. Position involves working with design, implementation teams to verify designs with high quality. Must be proficient in debugging, deep bug hunting, formal tools, formal verification methodologies and processes. Candidate should be proficient in design debug and assertion development.Minimum Qualifications: • Bachelor's degree in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.
OR
Master's degree in Science, Engineering, or related field and 3+ years of ASIC design, verification, validation, integration, or related work experience.
OR
PhD in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.Preferred Skills:
- Simulation based verification using UVM/System Verilog
- Salary, stock and performance related bonus
- Employee stock purchase scheme
- Matching pension scheme
- Life, Medical, Income and Travel Insurance
- Relocation Assistance (If required)
- Enhanced Maternity Leave
- Enhanced Paternity Leave
- Menopause Support
- Education Assistance
- Employee Assistance Programme
- Voluntary Health Checks
- Complimentary Period Products onsite
- Global Wellbeing Days
- Subsidised gym membership
- Bicycle purchase scheme
- Employee run clubs, including, running, football, chess, badminton + many more