1 formal-verification-computer-science Postdoctoral positions at Chalmers University of Technology

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

CSE, PostDoc in Formal Analysis of AI-based Systems

Chalmers University of Technology | Sweden | about 6 hours ago

opportunities. Read more here . About the STAR Lab Led by Dr. Hazem Torfah, STAR is part of the Computing Science Division within the Department of Computer Science and Engineering (CSE). Our interdisciplinary

Searches related to formal verification computer science

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