1 model-checking Postdoctoral research jobs at University of Liverpool in United Kingdom

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

Postdoctoral Research Associate in Verification

University of Liverpool | Liverpool, England | United Kingdom | 3 months ago

record of international publications. Examples of fields of interests are: - Automata and Games related to Reactive Synthesis - Model checking tools and algorithms, - Logics and verification techniques

Searches related to model checking

Enter an email to receive alerts for model-checking positions