43 model-checking uni jobs in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

Professor in Multiphysical Design and Optimization - DTU Construct

Technical University of Denmark | Denmark | 3 months ago

optimization Multiphysical modelling Acoustic systems High Performance Computing Applications in the medico, biomechanical and energy sectors Candidates for the professorship must demonstrate remarkable
Quantum Computing Infrastructure Supporter with development tasks - DeiC

Technical University of Denmark | Denmark | 3 months ago

long with QC software stacks and programming models. Programming in C, C++, Fortran, Python, or other programming languages used in QC. Experience with cloud computing platforms (Azure/AWS/Google) and
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages

University of Southern Denmark | Denmark | 3 months ago

), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems. Programming languages

Enter an email to receive alerts for model-checking positions