1 proof-checking-postdoc-computerscience Postdoctoral positions at Bar Ilan University in Israel
-
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 computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions