Network Technical Lead

2 months ago

St Albans, Hertfordshire, United Kingdom Apple Inc. Full time
Job Description

We are seeking an experienced Formal Verification Technical Lead to join our team at Apple Inc.

Key Responsibilities
  • Collaborate with 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 work closely with design teams to improve the micro-architecture.
  • Craft novel and creative solutions for verifying complex design micro-architectures.
  • Develop and implement re-usable and optimized formal models and verification code base.
  • Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.
Requirements
  • Outstanding team leading and communication skills.
  • Hands-on experience with VLSI and digital logic design and verification techniques.
  • Advanced knowledge of SoC, CPU, GPU, or Cellular designs.
  • Developed formal property proofs on industrial strength designs and architectures.
  • Deep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution hardware, bus interconnects, and cache coherence mechanisms.
  • Confirmed understanding of formal verification technologies/abstraction techniques.
  • Knowledge and experience in interpreting hardware specifications.
  • Experience with temporal logic assertion-based languages such as SVA or PSL.
  • Experience in using EDA formal tools; tool development experience is a plus.
  • Proficiency in any scripting language with excellent debugging skills.
  • Extraordinary teammate with excellent interpersonal skills.
  • Passionate about developing world-class/innovative formal verification solutions.
Preferred Qualifications
  • Understanding of application processors (CPU/GPU), their Instruction Set Architectures (ISA), Memory Consistency Models (MCM) or Cache Coherence protocols.
  • Exposure to ARM type architectures.

What We Offer

At Apple Inc., we are committed to delivering high-quality products and services that exceed our customers' expectations. As a Formal Verification Technical Lead, you will have the opportunity to work on cutting-edge technologies and collaborate with a talented team of engineers to develop innovative solutions.

  • Network Technical Lead

    1 month ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple Inc., we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in shaping the future of our products and services.Key ResponsibilitiesCollaborate with world-class design engineers to develop formal micro-architecture specifications.Formalize the...

  • Network Technical Lead

    3 weeks ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple, we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our products. We're looking for an experienced professional with a passion for formal verification and a strong background in VLSI and digital...

  • Network Technical Lead

    1 month ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple Inc., we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in shaping the future of our products and services.Key ResponsibilitiesCollaborate with world-class design engineers to develop formal micro-architecture specifications.Formalize the...

  • Network Technical Lead

    3 weeks ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple, we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our products. We're looking for an experienced professional with a passion for formal verification and a strong background in VLSI and digital...

  • Network Technical Lead

    3 weeks ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple, we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our products. We're looking for an experienced professional to join our team and contribute to the development of cutting-edge formal...

  • Network Technical Lead

    3 weeks ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple, we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our products. We're looking for an experienced professional to join our team and contribute to the development of cutting-edge formal...

  • Network Technical Lead

    1 month ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple, we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our products. We're looking for an experienced professional with a passion for formal verification and a strong background in VLSI and digital...

  • Network Technical Lead

    1 month ago

    St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Formal Verification Technical LeadAt Apple, we're pushing the boundaries of innovation and technology. As a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our products. We're looking for an experienced professional with a passion for formal verification and a strong background in VLSI and digital...

  • IT Systems and Network Engineer

    2 weeks ago

    St Albans, Hertfordshire, United Kingdom Oaklands College Full time

    IT Systems and Network Engineer (3rd Line)Full Time/ Permanent £42, - £46, - Depending on experience & qualificationsBased at St.Albans campus with travel to Welwyn Garden City and BorehamwoodWe are seeking a talented and experienced IT Systems and Network Engineer (3rd Line) to join our existing IT Solutions Team. The ideal candidate will have a strong...

  • Lead Technical Talent Acquisition Specialist

    3 months ago

    St Albans, Hertfordshire, United Kingdom Understanding Recruitment Full time

    Technical Talent Acquisition ConsultantCompetitive Salary + Uncapped Earnings + Exceptional BenefitsMaximize Your Recruitment Career with Understanding RecruitmentAre you prepared to elevate your recruitment journey?Join our dynamic team at Understanding Recruitment, where we are on the lookout for seasoned Technical Talent Acquisition Consultants to become...

  • Lead Technical Talent Acquisition Specialist

    2 months ago

    St Albans, Hertfordshire, United Kingdom Understanding Recruitment Full time

    Technical Talent Acquisition ConsultantCompetitive Salary + Uncapped Earnings + Exceptional BenefitsMaximize Your Recruitment Career with Understanding RecruitmentAre you prepared to elevate your recruitment journey?Join our dynamic team at Understanding Recruitment, where we are on the lookout for seasoned Technical Talent Acquisition Consultants to become...

  • Experienced Hydraulic Network Analyst

    2 weeks ago

    St Albans, Hertfordshire, United Kingdom https:jobs-redefined.cositemap Full time

    Unlock Your Potential as a Senior Hydraulic ModellerAt AECOM, we're shaping the future of water infrastructure. Our dynamic and multidisciplinary Water Resources team is seeking a talented Senior Hydraulic Modeller to join our rapidly growing UK team.As a key player in delivering water projects in the UK and abroad, you will be responsible for leading...

  • Technical Field Support Specialist

    2 weeks ago

    St Albans, Hertfordshire, United Kingdom Rise Technical Recruitment Limited Full time

    Field Service Engineer Opportunity£35,000 - £45,000 + Full Training + Progression + Vehicle + Mon to Fri + Overtime + Excellent Company BenefitsThis field-based role covers Central/Southern England, with a focus on providing exceptional technical support to clients. As an engineer from an electrical background, you will have the opportunity to develop your...

  • Experienced Hydraulic Network Specialist

    2 weeks ago

    St Albans, Hertfordshire, United Kingdom AECOM Full time

    Unlock Your Potential as a Senior Hydraulic ModellerAt AECOM, we're shaping the future of water infrastructure. Our dynamic Water Resources team is seeking a talented Senior Hydraulic Modeller to join our rapidly growing UK team. Based in one of our offices in Leeds, Manchester, Chesterfield, Bristol, Basingstoke, Croydon, St Albans, Exeter, or Cardiff,...

  • Technical Support Professional

    5 days ago

    St Albans, Hertfordshire, United Kingdom Think Specialist Recruitment Full time

    Technical Support ProfessionalAbout the JobWe are seeking a skilled Technical Support Professional to join our team at Think Specialist Recruitment. As a Technical Support Professional, you will be responsible for providing first-level support to end-users, addressing hardware, software, and network-related issues.Key Responsibilities:Providing technical...

  • Technical Solutions Specialist

    2 weeks ago

    St Albans, Hertfordshire, United Kingdom Silbo Select Full time

    About the Role:We are seeking a talented Technical Solutions Specialist to join our team at Silbo Select. As a key member of our sales team, you will be responsible for promoting our range of high-quality cutting tools and solutions to the Aerospace, Oil & Gas, and Automotive sectors.Key Responsibilities:Supporting the development of customer relationships...

  • Technical Sales Specialist

    2 weeks ago

    St Albans, Hertfordshire, United Kingdom Silbo Select Ltd Full time

    About the Role:We are seeking a talented Technical Sales Specialist to join our team at Silbo Select Ltd. As a key member of our sales team, you will be responsible for promoting our range of high-quality cutting tools and solutions to the Aerospace, Oil & Gas, and Automotive sectors.Key Responsibilities:Supporting the development of customer relationships...

  • Experienced Hydraulic Network Modeller

    1 week ago

    St Albans, Hertfordshire, United Kingdom Aecom Full time

    Hydraulic Modelling RoleWe are seeking a skilled Hydraulic Modeller to join our dynamic Water Resources team, focusing on wastewater networks in the UK. As a key player in delivering water projects, you will be responsible for:Building and verifying hydraulic models of sewer networksDeveloping integrated models and planning flow survey studiesSupporting the...

  • Technical Recruitment Consultant

    2 months ago

    St Albans, Hertfordshire, United Kingdom Understanding Recruitment Full time

    Job Summary:We are seeking an experienced Technical Recruitment Consultant to join our team at Understanding Recruitment. As a key member of our team, you will be responsible for building and nurturing relationships with clients, understanding their recruitment needs, and providing strategic advice to ensure the best candidate matches.Key...

  • Technical Recruitment Consultant

    2 months ago

    St Albans, Hertfordshire, United Kingdom Understanding Recruitment Full time

    Job SummaryWe are seeking an experienced Technical Recruitment Consultant to join our team at Understanding Recruitment. As a key member of our team, you will be responsible for building and nurturing relationships with clients, understanding their recruitment needs, and providing strategic advice to ensure the best candidate matches.Key...