33 proof-checking-postdoc-computer-science-logic Postdoctoral positions at New York University
Sort by
Refine Your Search
-
year of a PhD program who are looking to postpone the formal economics job market and build a strong academic record. The position does not require teaching, but it may be possible to get teaching
-
or Computer Science obtained within the last 5 years. Applications are open immediately and will be reviewed on a rolling basis until the position is filled. The position becomes vacant on September 1, 2025, and is
-
previous research experience (computational and experimental) in the broad area of Nonlinear Mechanics. Applicants must have received a Ph.D. in Mechanical Engineering, or any closely-related field
-
integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences, Humanities, and Engineering. NYU Abu Dhabi, NYU New York, and NYU Shanghai, form the backbone of NYU?s global
-
currently has 15 faculty members and 20 postdocs and research associates; most are members of the Center for Astrophysics and Space Science (CASS). The group shares links with staff at NYU in New York
-
: 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, Humanities, and Engineering. NYU Abu
-
: The requirements for the applicants include: Ph.D. in Electrical Engineering, Computer Science, Operations Research, Applied Mathematics, or related fields Strong background in game theory, mechanism design, control
-
Engineering program of the Engineering Division and the Center of Artificial Intelligence and Robotics at NYU Abu Dhabi the group of Prof. Kostas J. Kyriakopoulos seeks to improve the autonomy of Field Robotic
-
well as market and organization considerations. Education: Ph.D. in machine learning, computer science, engineering, science or related technical discipline. Experience: Expertise in developing and training AI
-
Lab The EMERGE lab at NYU is seeking to hire a postdoc to work on scaling and deploying end-to-end RL planning agents for autonomous vehicles. Based on prior work on creating high performing self-play