Sort by
Refine Your Search
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
-
Poul Erik Jensen and consists of 3 associate Professors, 1 assistant Professor, 2 postdocs and 4 PhD fellows. The focus of the group is on generating knowledge about food components and their
-
Job Description Producing green fuels via Power-to-X (PtX) technologies demands large volumes of ultrapure water. In parallel, the transition toward bioenergy and biogas production is intensifying
-
broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers