1 model-checking Fellowship positions at University of Southern Denmark

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

2-3 year Postdoctoral Fellows in Quantum Mathematics

University of Southern Denmark | Denmark | about 10 hours ago

: Quantum Programming Beyond the Circuit Model” (DFF Sapere Aude) led by Associate Professor Robin Kaarsgaard Sales. Contact information Further information is available from the Head of the Centre, Professor

Searches related to model checking

Enter an email to receive alerts for model-checking positions