Formal Verification Technical Lead
St. Albans, Hertfordshire, United Kingdom
Apple Inc
Imagine what you could do here. At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, smart people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries … optimized formal models and verification code bases. Architecting correct-by-construction design methodologies for enhanced formal verification efficiency and productivity. Key Qualifications Outstanding team leadership and communication skills, with experience collaborating with design and verification teams. Hands-on experience with VLSI and digital logic design and verification techniques. Advanced knowledge of SoC, CPU, GPU, or Cellular designs. Experience … and cache coherence mechanisms. Knowledge of formal verification technologies and abstraction techniques. Ability to interpret hardware specifications and use temporal logic assertion-based languages such as SVA or PSL. Experience with EDA formal tools; tool development experience is a plus. Proficiency in scripting languages and debugging skills. Excellent interpersonal skills and a passion for developing innovative formal verification More ❯
Employment Type: Permanent
Salary: GBP Annual
Posted: