-
generation to automated experimentation. Yet applications of AI to real problems remain rare. We are looking for mathematicians with strong AI skills to move this frontier forward. In this postdoc you will
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions