1 formal-verification "https:" positions at New York University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification "https:" positions

Research Scientist in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef

New York University | United States | 2 months ago

. The successful candidate will contribute to one or more of the following components: Reinforcement Learning for Reasoning Formal Verification and Lean Automation AI-Assisted Collaboration and Problem Formulation

Enter an email to receive alerts for formal-verification "https:" positions