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
-
computing Strong programming skills in C++ and experience with parallel computing (e.g., CUDA, MPI). Experience with tokamak edge gyro-fluid modelling Experience with continuous integration of scientific
-
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