Design and Verification Specialist
1 day ago
We are seeking a highly skilled Design and Verification Specialist to join our team at Apple Inc. in the UK. As a member of our dynamic group, you will have the unique opportunity to craft upcoming products that will delight and inspire millions of Apple's customers every single day.
About the RoleIn this highly visible role, you will be at the centre of a System-on-a-chip (SoC) design verification effort collaborating with design teams to create high quality and bug-free functional products for millions of customers quickly. Your responsibilities will include creating formal micro-architecture specifications, understanding computer architecture, developing formal verification test plans, proving properties for the design, finding design bugs, and working closely with design teams to improve the micro-architecture.
Responsibilities- Create formal micro-architecture specifications for SoC design blocks and IPs.
- Collaborate with members of the team to develop formal verification test plans and prove properties for the design.
- Find design bugs and work closely with design teams to help improve the micro-architecture.
- Architect novel and innovative solutions for verifying sophisticated design micro-architectures.
- Develop and implement re-usable and optimised formal models and verification code base.
- Good knowledge of formal logic and automated reasoning.
- Good knowledge of C, C++ or Python programming languages.
- Strong problem solving and interpersonal skills.
- Strong written and verbal communication in English.
- Currently enrolled in penultimate year of Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
- Knowledge of SML or other functional languages a plus.
- Understanding of formal methods/formal verification for real-world systems a plus.
- Understanding of computer architecture and operating systems a plus.
- Understanding of general programming languages paradigms a plus.
The estimated salary for this role is £60,000 - £80,000 per annum, depending on experience and qualifications.
This internship opportunity is only available for students currently enrolled in a degree program in the UK, specifically in St Albans.
-
Micro-Architecture Verification Specialist
1 week 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...
-
VLSI Design Verification Specialist
1 day ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeAbout the Job:We are seeking an experienced Formal Verification Technical Lead to join our UK team. The successful candidate will be responsible for developing and implementing re-usable and optimized formal models and verification code base.Key Requirements:Advanced knowledge of SoC, CPU, GPU, or Cellular designsConfirmed understanding of formal...
-
Digital Logic Design and Verification Expert
1 week 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...
-
Electronics Systems Verification Specialist
1 month 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...
-
Advanced Chip Verification Specialist
3 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...
-
Senior IC Design Verification Engineer
15 hours ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeRole OverviewWe are seeking a highly skilled Senior IC Design Verification Engineer to join our team at Apple Inc. in the UK, specifically in St Albans. As a member of our dynamic group, you will have the unique opportunity to craft upcoming products that will delight and inspire millions of Apple's customers every single day.About the RoleIn this highly...
-
Senior Design Verification Engineer
1 week 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...
-
Formal Verification Engineer
1 day ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeJob Overview:We are looking for an experienced Formal Verification Technical Lead to join our UK team. The successful candidate will be responsible for developing and implementing re-usable and optimized formal models and verification code base.Responsibilities:Developing comprehensive formal verification test plansProving properties of the design, finding...
-
Formal Verification Architect
3 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 Formal Verification Lead
1 week ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeImagine 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...
-
Senior Verification Engineer Role
2 weeks 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...
-
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...
-
Digital Logic Design Engineer
3 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
1 week 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...
-
Micro-Architecture Specialist
1 day ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeAt Apple Inc., we are passionate about delivering innovative products that change lives. As a Formal Verification Architect, you will play a critical role in shaping the future of technology by developing and verifying complex design micro-architectures.DescriptionYour responsibilities include collaborating with our world-class SOC and IP design engineers to...
-
Validation Architect Lead
1 week 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...
-
High-Speed SoC Design Expert
4 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...
-
Senior Technical Lead
2 days ago
St Albans, Hertfordshire, United Kingdom Apple Inc. Full timeJob Title:Senior Technical LeadLocation:Saint Albans, Hertfordshire, United KingdomWe are seeking an experienced Formal Verification Technical Lead to join our UK team. As a key member of our design verification effort, you will work closely with our world-class design engineers to develop and implement re-usable and optimized formal models and verification...
-
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...
-
CAD Design Specialist
2 days ago
St Albans, Hertfordshire, United Kingdom Burton Full timeBurton is seeking a skilled CAD and Revit Technician to join our team. As a CAD Design Specialist, you will play a crucial role in creating detailed schematics and technical drawings that support our engineering and architectural projects. The ideal candidate will have a strong background in computer-aided design and be proficient in various CAD software...