Senior Formal Verification Lead
4 days ago
Imagine a world where innovation meets expertise. At Apple, we push boundaries and redefine industries with groundbreaking products and services.
About the RoleWe are seeking an experienced Senior Formal Verification Lead to join our UK team, focusing on high-quality functional products for millions of customers. As a critical contributor, you will work closely with design teams to identify FV candidates, develop test plans, and perform data-centric verification closure.
Responsibilities- Collaborate with world-class design engineers to develop formal micro-architecture specifications.
- Formalize the refinement from architecture to micro-architecture.
- Develop comprehensive formal verification test plans.
- Prove properties of the design, find design bugs, and improve the micro-architecture.
As a key member of our team, you will craft novel solutions for verifying complex design micro-architectures, developing re-usable and optimized formal models and verification code base, and architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
Requirements- Hands-on experience with VLSI and digital logic design and verification techniques.
- Advanced knowledge of SoC, CPU, GPU, or Cellular designs.
- Confirmed understanding of formal verification technologies/abstraction techniques.
- Experience in interpreting hardware specifications.
- Knowledge and experience in using EDA formal tools; tool development experience is a plus.
Join our dynamic team at Apple, and you'll be rewarded with a competitive salary of $180,000 per year, along with benefits that include excellent health insurance, retirement savings plan, and generous paid time off. If you're passionate about developing world-class formal verification solutions, this is your chance to shine
-
Formal Verification Architect
2 weeks ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeOverview:">">The Formal Verification Architect will lead the development of a formal micro-architecture specification for Apple's world-class SOC and IP design engineers.">">Responsibilities:">">Developing comprehensive formal verification test plans.">Proving properties of the design, finding design bugs, and working closely with design teams to help...
-
Senior Verification Engineer Role
1 week ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeApple Inc. is seeking an experienced senior verification engineer to work on System-on-a-chip (SoC) design verification. As a key member of our design team, you will be responsible for creating high-quality, bug-free functional products. Your main duties will include:Key Duties:Developing formal micro-architecture specificationsCollaborating with design...
-
Senior Design Verification Engineer
4 days ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeJoin Apple Inc. as a Senior Design Verification EngineerWe are seeking an exceptional individual to collaborate with our team in designing and verifying high-quality System-on-a-chip (SoC) products. This is a highly visible role that will impact the delivery of groundbreaking products to millions of customers worldwide.About the RoleThis position requires...
-
Advanced Chip Verification Specialist
2 weeks ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeJob OverviewAs a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our cutting-edge products.Your primary responsibilities will include identifying targets for formal verification, completing formal verification for single or multiple design blocks and IPs, and working closely with design teams to...
-
Digital Logic Design and Verification Expert
4 days ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeAt Apple Inc., we empower talented individuals to drive innovation and shape the future of technology. Our UK team is looking for a seasoned Digital Logic Design and Verification Expert to lead our Formal Verification efforts, pushing the boundaries of what's possible.Job SummaryWe're seeking a highly skilled Digital Logic Design and Verification Expert to...
-
Micro-Architecture Verification Specialist
4 days ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeWe're on a mission to revolutionize the world of technology, and we need your expertise to get there! As a Micro-Architecture Verification Specialist, you'll play a critical role in developing and implementing formal models and verification code base, ensuring the quality and reliability of our products.About the TeamOur team is comprised of talented...
-
Embedded Systems Verification Engineer
2 weeks ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeImagine what you could do at Apple Inc., a company renowned for revolutionizing entire industries with innovative products and customer experiences. With a passion for innovation, Apple Inc. is looking for a skilled Embedded Systems Verification Engineer to join its dynamic group.About the RoleThis highly visible role involves collaborating with design teams...
-
Electronics Systems Verification Specialist
4 weeks ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeUnlock Your Potential at AppleWelcome to Apple Inc., a place where innovation knows no bounds. We are seeking a highly skilled Electronics Systems Verification Specialist to join our team and contribute to the development of cutting-edge System-on-a-chip (SoC) designs.This is an excellent opportunity for you to apply your knowledge of formal logic and...
-
Validation Architect Lead
4 days ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeAbout the RoleWe are seeking a skilled Formal Verification Specialist to join our dynamic team. As a key member of our group, you will be responsible for crafting novel solutions for verifying complex design micro-architectures.Your expertise in formal verification technologies, abstraction techniques, and EDA formal tools will help us push the boundaries of...
-
Senior Validation Engineer
1 week ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeRole OverviewWe are seeking a seasoned Formal Verification Technical Lead to join our team at Apple Inc. This role offers the opportunity to work on cutting-edge projects, collaborate with experienced professionals, and contribute to the development of innovative solutions.Key ResponsibilitiesCrafting novel and creative solutions for verifying complex design...
-
Digital Logic Design Engineer
2 weeks ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeAbout this Role:">">This is an exciting opportunity to join Apple's dynamic team and contribute to the development of innovative formal verification solutions.">">Key Responsibilities:">">Developing comprehensive formal verification test plans.">Proving properties of the design, finding design bugs, and working closely with design teams to help improve the...
-
Chips Development Specialist
3 days ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeDesign Chips for the Future at Apple Inc.We are looking for a talented engineer to join our team in developing next-generation chips. As a Chips Development Specialist, you will play a critical role in creating high-quality System-on-a-chip (SoC) designs.About the JobThis position requires strong problem-solving skills, excellent communication skills, and...
-
High-Speed SoC Design Expert
3 weeks ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeMake a Difference at Apple with Our High-Speed SoC Design TeamWe are looking for a talented High-Speed SoC Design Expert to join our team and help us push the boundaries of innovation. As a key member of our design team, you will be responsible for creating formal micro-architecture specifications, understanding computer architecture, and developing formal...
-
FPGA Technical Lead Specialist
2 weeks ago
St Albans, Hertfordshire, United Kingdom Mane Contract Services Full timeJob DescriptionThis role is perfect for someone who thrives on technical challenges, values collaboration, and is eager to develop their leadership skills further. As an FPGA Lead Designer, you'll play a pivotal role in delivering advanced solutions for projects that require precision, innovation, and top-tier expertise. You'll guide a talented team, foster...
-
Science Instructional Lead
3 weeks ago
St Albans, Hertfordshire, United Kingdom Oaklands College Full timeBecome a Part of Our A-Level Biology TeamWe are seeking an experienced and passionate educator to join our A-level team at Oaklands College, St Albans. As a leading institution providing transformational education for over 100 years, we are committed to delivering high-quality education and promoting academic excellence.The successful candidate will deliver...
-
Senior Technical Lead
1 month ago
St Albans, Hertfordshire, United Kingdom Aon Corporation Full timeAon Corporation seeks a skilled Senior Developer to drive innovation and lead the development of cutting-edge solutions in its Health business.Job DescriptionThis is an exceptional opportunity for a motivated individual to shape the future of client relationships while driving innovation within a leading global firm. As a Senior Developer - Health, you will...
-
Senior Design Lead
2 weeks ago
St Albans, Hertfordshire, United Kingdom Randstad Full timeJob OverviewWe are seeking an experienced Senior Design Lead to manage the overall design process for water infrastructure projects within the Thames Water region.The ideal candidate will have a strong understanding of design processes and best practices across multiple engineering disciplines, excellent project management skills, and exceptional...
-
Hydraulic Network Modelling Expert
2 weeks ago
St Albans, Hertfordshire, United Kingdom AECOM Full timeJob OverviewAECOM is a world-renowned infrastructure consulting firm delivering professional services throughout the project lifecycle. We are seeking an experienced Hydraulic Network Modeller to join our dynamic and multidisciplinary Water Resources team.The successful candidate will be responsible for leading hydraulic model build and verification of sewer...
-
FPGA Systems Lead Specialist
2 weeks ago
St Albans, Hertfordshire, United Kingdom Mane Contract Services Full timeAbout the RoleThis FPGA Lead Designer role offers an exciting opportunity to drive innovation and lead the design and development of cutting-edge FPGA solutions. With a strong background in digital circuit design and expertise in FPGA architectures, you will play a pivotal role in delivering advanced solutions for projects that require precision, innovation,...
-
Senior Infrastructure Design Lead
2 weeks ago
St Albans, Hertfordshire, United Kingdom Calibre Search Full timeCompany OverviewWe are a leading engineering consultancy based in St Albans, recruiting a highly experienced Senior Bridge Engineer to join our expanding team. This is a confidential opportunity for a talented professional to take a lead role in delivering complex bridge and structure projects across various sectors.