2 programming-"IMPRS-ML"-"IMPRS-ML"-"IMPRS-ML" positions at New York University in Abu Dhabi
-
systems, or reinforcement learning. o Formal proof assistants (Lean, Coq, Isabelle, or similar). o Programming. o Strong mathematical maturity. Requirements: a Bachelor’s degree in mathematics
-
Youssef at yp27@nyu.edu. About NYUAD: NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences
Enter an email to receive alerts for programming-"IMPRS-ML"-"IMPRS-ML"-"IMPRS-ML" positions