1 model-checking PhD scholarships at Linköping University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

PhD student in Computer Science at IDA

Linköping University | Sweden | about 14 hours ago

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