Staff Formal Verification Engineer
2 days ago
CompanyQualcomm Technologies International LtdJob AreaEngineering Group, Engineering Group > ASICS EngineeringGeneral SummaryWhere 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 ROLE WILL REQUIRE 5 DAYS PER WEEK ONSITE IN OUR CAMBRIDGE OFFICEAbout 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 RoleQCT'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.Preferred SkillsSimulation based verification using UVM/System VerilogWhat's On OfferApart from working in an open, relaxed and collaborative space, you will enjoy:Salary, stock and performance related bonusEmployee stock purchase schemeMatching pension schemeLife, Medical, Income and Travel InsuranceRelocation Assistance (If required)Enhanced Maternity LeaveEnhanced Paternity LeaveMenopause SupportEducation AssistanceEmployee Assistance ProgrammeVoluntary Health ChecksComplimentary Period Products onsiteGlobal Wellbeing DaysSubsidised gym membershipBicycle purchase schemeEmployee run clubs, including, running, football, chess, badminton + many moreMinimum QualificationsBachelor's degree in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.ORMaster's degree in Science, Engineering, or related field and 3+ years of ASIC design, verification, validation, integration, or related work experience.ORPhD in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail disability- or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.If you would like more information about this role, please contact Qualcomm Careers.
-
Staff Formal Verification Engineer
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Qualcomm Full time £60,000 - £120,000 per yearCompanyQualcomm Technologies International LtdJob AreaEngineering Group, Engineering Group > ASICS EngineeringGeneral SummaryWhere 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...
-
Sr Formal Verification Engineer
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Arm Full time £90,000 - £120,000 per yearJob ID Date posted 10月. 15, 2025Location Cambridge, United KingdomCategory VerificationIn the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Arm's CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of...
-
Sr Formal Verification Engineer
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Arm Full time £100,000 - £120,000 per yearIn the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Arm's CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods.We are offering the chance to become part of a dedicated team that will...
-
Lead GPU Formal Verification Engineer
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Advanced Micro Devices, Inc Full time £80,000 - £120,000 per yearWHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences – from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...
-
Sr Formal Verification Engineer
1 week ago
Cambridge, Cambridgeshire, United Kingdom Baya Systems Full time £60,000 - £120,000 per yearBaya Systems is inspired by the baya bird, also known as the weaver. Baya birds weave very unique and intricate hanging nests from different materials. The nests are robust and safe while being extremely lightweight and efficient.Baya is a fast-moving Series B startup built by serial entrepreneurs with a vision to accelerate intelligent computing in the...
-
Staff Verification Engineer
5 days ago
Cambridge, Cambridgeshire, United Kingdom Arm Full time £60,000 - £120,000 per yearAbout The RoleArm's Machine Learning group is building the next generation of AI/ML IP that will shape the future of compute. As a Staff Verification Engineer, you'll play a central role in verifying advanced hardware IP that powers efficient and scalable machine learning acceleration.This role offers the chance to define cutting-edge verification...
-
CPU Design Verification Engineer
1 week ago
Cambridge, Cambridgeshire, United Kingdom Qualcomm Full time £60,000 - £100,000 per yearCompanyQualcomm Technologies International LtdJob AreaEngineering Group, Engineering Group > ASICS EngineeringGeneral SummaryAbout UsCambridge is Qualcomm's largest office in the UK, with about 400 team members including engineers, business strategists and support staff. From an engineering perspective, we have teams focussing on: RF and PMU analog design,...
-
Verification Engineer
5 days ago
Cambridge, Cambridgeshire, United Kingdom Riverlane Full time £66,000 - £72,000 per yearCambridge, UK | Full-time or Part-time | Permanent | HybridSalary: £55,000 to £68,000 DOEWe will also consider part-time applications for this role. Please indicate your preferred working schedule in your cover letter.About usRiverlane's mission is to master quantum error correction (QEC) and unlock a new age of human progress. From advances in material...
-
Security Verification Engineer
2 days ago
Cambridge, Cambridgeshire, United Kingdom Arm Full time £60,000 - £120,000 per yearJob ID Date posted Nov. 17, 2025Location Cambridge, United KingdomCategory VerificationJob Overview:Join the team shaping the future of secure computing.Arm's hardware powers the AI, computing, and connectivity revolution that continues to transform how people live, work, and connect.As part of our growth, we're looking for a skilled and motivated Security...
-
Cambridge, Cambridgeshire, United Kingdom Arm Full time £60,000 - £120,000 per yearJob ID Date posted Dec. 02, 2025Location Cambridge, United KingdomCategory VerificationJob OverviewThis position is an excellent opportunity for an experienced and highly motivated verification engineer to join the Arm Systems Media IP team The team is responsible for the development of Image Signal Processors (ISPs), Display Processors, and Video codecs for...