-
sensor integration. Experience with SLAM algorithms (vision-, acoustic-, or inertial-based), state estimation (e.g. Kalman filtering, pose graph optimization), or collaborative positioning is highly valued
-
deliver a theoretical, algorithmic, and real-time implementation framework for on-the-fly autonomy in crowds. The resulting methods will (i) adapt to unpredictable human interactions that introduce high
-
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