-
requirement for completion of the didactic component of the first two years of the program. The participant's performance will be formally reviewed by the fellow's mentor as well as faculty advisors from both
-
statistics, physics, computer science, artificial intelligence, or a related quantitative field Experience with mathematical/statistical modeling and/or machine learning/Al methods Strong interest in
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions