AI Compiler Formal Verification Intern — NVIDIA (ufficio Zurich)
- Località
- Zürich
- Contratto
- Tempo pieno
- Pubblicato
- 26 giorni fa
Descrizione completa
L'invenzione della GPU 1999 di NVIDIA ha scatenato la crescita del mercato dei giochi per PC, la ridefinizione della grafica informatica moderna e la rivoluzione del calcolo parallelo. Più recentemente, GPU deep learning ha acceso l'intelligenza moderna — la prossima era di elaborazione — con la GPU che agisce come il cervello di computer, robot, e auto-guida automobili che possono percepire e comprendere il mondo. Oggi, siamo sempre più conosciuti come “la società di calcolo AI”.
Cosa farete
Ricerca e realizzazione di metodi formali innovativi per verificare lo stato dei compilatori AI. Questo include, ma non è limitato alle caratteristiche del compilatore AI, passa, IR, sottografi, abbassamenti e altri elementi critici dei compilatori AI. Questo ruolo ti offre l'opportunità di esplorare e utilizzare l'IA, la verifica formale e altre forme di verifica semantica o tecniche di analisi statica per innovare soluzioni che verifichino i compilatori AI per casi di uso umano e agentico.
Cosa dobbiamo vedere
- Dottorato di Ricerca in Informatica, Ingegneria Informatica/Elettrica, Matematica o programma equivalente
- Forte Python o C++ competenze di programmazione
- Forte background accademico in metodi formali (preferibilmente PhD)
Modi per distinguersi dalla folla
- Sfondo accademico o industriale utilizzando LEAN o SMT per risolvere problemi di compilatore o compilatore
- Conoscenza delle strutture di apprendimento profondo (come Pytorch e TensorRT) e compilatori
Con salari competitivi e un pacchetto di benefici generosi, siamo ampiamente considerati uno dei datori di lavoro più desiderabili del mondo tecnologico. Abbiamo alcune delle persone più avanzate e laboriose al mondo che lavorano per noi e, grazie alla crescita senza precedenti, i nostri team di ingegneria esclusivi stanno rapidamente crescendo. Se sei un ingegnere creativo e autonomo con una vera passione per la tecnologia, vogliamo sentire da te.
Domande frequenti su questo annuncio
Che stipendio offre NVIDIA (ufficio Zurich) per questa posizione?
L'annuncio originale non indica lo stipendio. La nostra stima per questo ruolo e settore a Zürich è CHF 57'500 - 87'000 lordi annui: è una stima, non una cifra comunicata da NVIDIA (ufficio Zurich). Il calcolatore di questo sito converte un lordo nel netto reale una volta applicate imposta da frontaliere e contributi sociali.
È un ruolo a tempo pieno, e che tipo di contratto offre NVIDIA (ufficio Zurich)?
Questo annuncio è una posizione a tempo pieno. Il tipo di contratto mostrato qui arriva direttamente dall'annuncio originale del datore di lavoro; conferma sempre orario esatto, preavviso e durata del periodo di prova con NVIDIA (ufficio Zurich) durante il colloquio, perché questi dettagli possono variare anche all'interno della stessa categoria contrattuale.
Serve un permesso da frontaliere per un ruolo nel canton Zurigo?
I residenti UE/AELS nella zona di frontiera del paese confinante con il canton Zurigo possono richiedere il Permesso G; il datore di lavoro svizzero lo presenta all'ufficio della migrazione di quel canton dopo la firma del contratto. Regole sulla zona di frontiera e tempi di lavorazione variano per paese confinante e canton — verifica i dettagli con l'ufficio della migrazione del canton Zurigo o con HR durante il colloquio.
Come mi candido a questa posizione presso NVIDIA (ufficio Zurich)?
Usa il pulsante "Candidati ora" in questa pagina — rimanda direttamente all'annuncio originale di NVIDIA (ufficio Zurich) su nvidia.wd5.myworkdayjobs.com, quindi la tua candidatura arriva direttamente nel sistema di gestione candidature del datore di lavoro. Frontaliere Ticino non raccoglie né inoltra candidature in proprio.
