-
intersection of mathematics, computer science, formal verification, and artificial intelligence. The research assistant will help with the formal verification of mathematical arguments and mathematical articles
Searches related to computer science
Enter an email to receive alerts for computer-science positions