2 compiler "https:" positions in Denmark

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

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