2 model-checking positions at Aalborg University

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

PostDoc in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems.(DEIS)

Aalborg University | Denmark | about 18 hours ago

unique research infrastructure and lab facilities to conduct world-leading fundamental and applied research within verification and model checking, embedded and cyber-physical systems, data-intensive
PhD Stipend in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems (DEIS)

Aalborg University | Denmark | about 21 hours ago

, electrical engineering, communications engineering or similar - Solid computer science and analytical skills, including modelling and verification, programming language theory or quantitative model checking

Enter an email to receive alerts for model-checking positions