30 proof-checking-postdoc-computer-science-logic Postdoctoral positions at New York University
Sort by
Refine Your Search
-
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
-
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
-
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
-
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
-
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
-
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 growth of the CDS
-
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