1 formal-verification-computer-science Postdoctoral positions at Bar Ilan University

Sort by

listed

Refine Your Search

Field
- Computer Science 1
- Mathematics 1

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

Postdoctoral position, AI in mathematics

Bar Ilan University | Israel | about 7 hours ago

- 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 formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions