-
, and formal methods for the robustness, performance, correctness, and security of code generated by AI or interacting with AI. Areas of interest include the coordination and validation of concurrent AI
-
interested in applicants who use advanced quantitative methods, including computational modeling, machine learning, and/or analyzing structural and functional neuroimaging data. Specific activities may include
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions