-
international research grants and is currently scaling up its research capacity – in 2026, we are expanding with four postdocs who are expected to work closely with the ph.d. students hired in this call. As a PhD
-
algorithmic solution development. The group focuses particularly on automated decision-making in autonomous cyber-physical systems, combining mathematical optimization, machine learning, and decision theory
-
are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods
-
team. Significant software development experience in several key languages, e.g., Rust, C++, or Python (not MATLAB), algorithms, and machine learning is necessary as well as excellent communication