NVIDIA, the leading AI computing company, is seeking a PhD candidate to research and implement formal verification methods for AI compilers, their passes, IRs and sub-graphs, with opportunities to apply semantic verification techniques and static analysis. The role emphasizes pioneering verification for human and agentic-use cases.
Ideal candidates are pursuing a PhD in CS/EE/Math with strong Python or C++ skills and a solid background in formal methods, and may have experience with LEAN or SMT
#J-18808-Ljbffr
AI Compiler Verification Intern: Formal Methods in Zürich Arbeitgeber: NVIDIA
NVIDIA ist ein herausragender Arbeitgeber, der nicht nur wettbewerbsfähige Gehälter und umfassende Sozialleistungen bietet, sondern auch eine dynamische Arbeitskultur fördert, die Innovation und Zusammenarbeit in der Robotikbranche anregt. In dieser Schlüsselposition in der EMEA-Region haben Sie die Möglichkeit, ein leistungsstarkes Team zu leiten, strategische Beziehungen aufzubauen und bedeutende Wachstumschancen zu entwickeln, während Sie gleichzeitig von einem Umfeld profitieren, das persönliche und berufliche Weiterentwicklung unterstützt. Werden Sie Teil eines Unternehmens, das die Zukunft intelligenter Maschinen gestaltet und dabei auf eine positive Work-Life-Balance Wert legt.
