4 formal-verification "https:" positions in Denmark

Associate Professor or DTU Tenure Track Assistant Professor in Computer Science (Software Systems Engineering) - DTU Compute

Technical University of Denmark | Denmark | 9 days ago

. We advance and apply research techniques from the following areas: Formal methods (e.g. programming languages, formal modelling, formal verification) Process science (e.g. process mining, BPM) and our

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...

Nature Careers | Odense C, Region Syddanmark | Denmark | 2 months ago

broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers

One or more Assistant Professors in Computer Science  

Aalborg Universitet | Denmark | 3 months ago

 fixed term full-time position. We are inviting applicants in all areas of computer science. The Department of Computer Science has the following research groups: Automated System Verification 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

broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers