-
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
-
been compromised but is generating bening outputs, e.g. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour