1 parallel-processing-"https:" uni jobs at University of Southern Denmark

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