NVIDIA Corporation in Zurich, Switzerland, invites a highly capable PhD candidate to join our AI compiler verification research team. You will research and implement innovative formal methods to verify state-of-the-art AI compilers, exploring AI, formal verification, and other semantic analysis techniques to ensure correctness for human and agentic-use cases.Candidates should be pursuing a PhD in CS/EE/Math or equivalent, with strong Python or C++ programming skills and a solid background in #J-18808-Ljbffr
AI Compiler Verification Research Intern Arbeitgeber: NVIDIA Corporation
NVIDIA ist ein herausragender Arbeitgeber, der nicht nur innovative Technologien im Bereich Grafik und KI vorantreibt, sondern auch eine unterstützende und vielfältige Arbeitsumgebung bietet. Als Teil des EMEA-Leadership-Teams haben Sie die Möglichkeit, in einem dynamischen Umfeld zu arbeiten, das auf persönliches Wachstum und Teamarbeit setzt. Mit wettbewerbsfähigen Gehältern und einem umfassenden Leistungspaket sorgt NVIDIA dafür, dass Sie und Ihre Familie bestens versorgt sind, während Sie an der Spitze der technologischen Entwicklung stehen.
