2 model-checking PhD positions at Aalborg University in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

PhD Stipend/Integrated Stipend in programming semantics, verification and reliability assurance of combined classical and quantum systems.IP

Aalborg University | Denmark | about 12 hours ago

problem-based learning model. The department leverages its unique research infrastructure and lab facilities to conduct world-leading fundamental and applied research within verification and model checking
Several PhD stipends at the Center for Neuroplasticity and Pain (CNAP)

Aalborg University | Denmark | about 12 hours ago

-EEG, rTMS, HD-tDCS), bio-medical techniques (e.g. linked with epigenetics and general biomarkers), quantitative sensory testing (QST) as well as research based on animal models (e.g. rodents and pigs

Enter an email to receive alerts for model-checking positions