3 software-formal-method-phd Postdoctoral positions at New York University of Abu Dhabi
-
language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern AI systems This position can be filled
-
research interests might be considered, priority will be given to those able to relate to one or more of the above topics. Applicants must have a PhD in Mathematics, Statistics or Computer Science obtained
-
receive a mobility credit to participate in conferences. Applicants must have a PhD in Mathematics, with a strong background in one of the advertised topics, as well as an excellent academic record
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions