26 proof-checking-postdoc-computer-science-logic Postdoctoral positions at New York University
Sort by
Refine Your Search
-
computational chemistry focus. Successful applicants will be highly motivated with an interest in working in Chemical/Structural Biology and must hold a Ph.D. degree in a related field (Chemistry, Biochemistry
-
). About NYU Abu Dhabi 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
-
interdisciplinary areas including but not limited to Computer Science, Mathematics, Linguistics, Politics, and Psychology. We welcome researchers across a wide range of domains who will contribute to the creative
-
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
-
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
-
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
-
: 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
-
Biology is looking for a highly motivated and independent individual to work as a Postdoctoral Associate starting August 15, 2025. This position is for a post-PhD trainee preparing for a career path as
-
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