Beschreibung
Apple sucht einen Architekten für formale Verifikation, der die formale Verifikation einzelner oder mehrerer SoC-Designblöcke und IPs leitet, darunter CPU-, Mobilfunk-, Konnektivitäts-, Audio-, Bildverarbeitungs-, neuronale Netzwerk-, Speicher-, Sicherheits-, Peripherie-, Interconnect- und Energieverwaltungssubsysteme. Zu den Aufgaben gehören die Entwicklung von Mikroarchitektur-Spezifikationen und formalen Testplänen, der Nachweis von Designeigenschaften, die Identifizierung von Fehlern, die Erstellung wiederverwendbarer formaler Modelle und Verifikationscodes sowie die Entwicklung von Methoden, die korrekte Ergebnisse konstruktionsbedingt sicherstellen. Bewerber benötigen fortgeschrittene Kenntnisse in SoC-, CPU-, GPU-, Mobilfunk-, VLSI- und Digital-Logic-Design und -Verifikation, fundierte industrielle Erfahrung mit formalen Beweisen, Fachwissen in Hardwarearchitektur, Kenntnisse in formaler Verifikation und temporaler Logik sowie Kompetenz im Skripting und Debugging.
