1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Bar Ilan University in Israel
-
- Conference travel support - 1-year contract, renewable (up to 3 years total) - Cloud compute provided by Nebius Requirements: - PhD in Mathematics or Computer Science - For existing projects: willingness
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions