Sort by
Refine Your Search
-
and Computer Science at the University of Basel are inviting applications for a PhD position focused on the foundations and applications of reasoning with large language models (LLMs), including
Searches related to model checking
Enter an email to receive alerts for model-checking positions