AI Compiler Formal Verification Intern
NVIDIA's invention of the GPU 1999 sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI — the next era of computing — with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, we are increasingly known as “the AI computing company”. What you’ll be doing : Research and implement innovative formal methods to verify state of the art AI compilers. This includes but is not limited to AI compiler features, passes, IR's, sub-graphs, lowerings and other critical elements of AI compilers. This role provides you with an opportunity to explore and use AI, formal verification, and other forms of semantic verification or static analysis techniques to innovate solutions that verify AI compilers for human and agentic-use cases. What we need to see :
- Pursuing PhD in Computer Science, Computer/Electrical Engineering, Mathematics or equivalent program
- Strong Python or C++ programming skills
- Strong academic background in formal methods (preferably PhD)
- Academic or industrial background using LEAN or SMT to solve compiler or compiler-adjacent problems
- Knowledge of deep learning frameworks (such as Pytorch and TensorRT) and compilers
Empfohlene Jobs
Systemtechniker m/w/d für TK-Systeme in München
In München suchen wir für unseren Kunden einen Systemtechniker m/w/d für TK-Systeme. Die Option zur Übernahme ist gegeben. ~ Wir bieten Ihnen auch gut ausgestattete Wohnmöglichkeiten Auf…
Junior SAP Technologieberater/ Entwickler (m/w/d) - Ingenieur, Anwendungsentwicklung, Consulting
Wir bieten Wir sind ein etabliertes Beratung- und Implementierungshaus für SAP-Einkaufslösungen, und bieten als offizieller Partner der SAP ein spannendes Arbeitsumfeld bei bedeutenden nationalen …
Team Lead People Operations (m/f/d)
At Flix, we offer a dynamic work environment with competitive pay, strong growth opportunities, and a tech-driven approach to making travel more accessible, sustainable, and affordable. We are lookin…
Kehrmaschinenfahrer CE (m|w|d)
Wir suchen in Passau KehrmaschinenfahrerCE* *M|W|D BERGER – Wir sind ein regional fest verwurzeltes Familienunternehmen mit über 115-jähriger Geschichte, das für krisensichere Arbeitsplätze, …
Allroundkraft Office & Veranstaltungsservice (m/w/d)
Die Patentanwaltskammer ist als Körperschaft des öffentlichen Rechts die bundesweit zuständige Selbstverwaltungsorganisation der rund 4.600 Patentanwältinnen und Patentanwälte in Deutschland. Die G…
(Senior) SAP SuccessFactors Consultant - Compensation / Performance & Goals (m/w/d)
Wir sind die Berater der Weltmarktführer: Hochmotivierte Expertinnen und Experten, die als erfolgreiches Team digitale End-to-End-Geschäftsprozesslösungen vorantreiben. Gemeinsam stärken wir die Zuku…
Meetingraum & Medien Supporter m/w/d in München gesucht
Für unseren Kunden suchen wir einen Meetingraum & Medien Supporter m/w/d in München. Die Option zur Übernahme ist gegeben. ~ Wir bieten Ihnen auch gut ausgestattete Wohnmöglichkeiten Auf…
Studio Engineer - Exterior
The Exterior Studio Engineer bridges the gap between Automotive Design and Engineering, ensuring that exterior design concepts are transformed into technically feasible, manufacturable, and productio…
Teamassistenz (m/w/d)
Sie sind Teamassistenz (m/w/d) und suchen nach einem neuen Job am Standort München ? In dieser vielseitigen Position übernehmen Sie verantwortungsvolle Aufgaben wie die Betreuung des gesamten V…
Embedded Linux Entwickler (m/w/d)
- Entwicklung und Anpassung von Embedded Linux-Betriebssystemen für unsere Produkte. - Integration von Treibern und Anwendungen in das Embedded Linux-System. - Design und Implementierung von Systems…