Jobangebot connecticum Job-1772664
Apple
Info zum Arbeitgeber
Apple
Retail, hardware and software development, online trade (music, films, etc.)
Firmensprache
Deutsch, Englisch
Branche
IT Software
Kontakt
Bewerbungen werden online entgegen genommen.
Homepage
www.apple.com/de
Karriere-Website
www.apple.com/jobs
Mehr Jobangebote von Apple
Formal Verification Engineer
Munich Bavaria-Bayern Germany
Hardware
Key Qualifications
Description
As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP’s (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for:
Working with Apple Silicon's world-class SOC and IP design engineers to develop a formal micro-architecture specification. Developing comprehensive formal verification test plan. Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. Crafting novel and creative solutions for verifying complex design micro-architectures. Developing and implementing re-usable and optimized formal models and verification code base. Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity. Education & Experience
BS / MS / Ph.D in EE or CS is required.
|
Formal Verification Engineer