2 formal-method-phd positions at New York University

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method-phd positions

Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef

New York University | United States | about 2 months ago

and algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern
Research Engineer

New York University | Brooklyn, New York | United States | 3 months ago

received formal recognition in Cyber Defense, Cyber Operations, and Cyber Research from the National Centers of Academic Excellence in Cybersecurity . NYU CCS is seeking to hire a part-time research

Enter an email to receive alerts for formal-method-phd positions