2 software-formal-method-phd Postdoctoral positions at New York University in Abu Dhabi in United Arab Emirates
-
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 AI systems
-
fall 2026 is also possible. Applicants must hold a PhD degree in Mathematics, statistics or theoretical computer science. The terms of employment are very competitive and include housing and educational
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions