Sort by
Refine Your Search
-
Professor in Theoretical Computer Science at LiU. The research for the advertised position will be within the WASP PhD project ”Model-Based Attention for Scalable AI Planning ”, where we will integrate
Searches related to model checking
Enter an email to receive alerts for model-checking positions