-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
, which might include analysis and comparisons with the dynamics in tropical countries (VBD-mode, funded by BMFTR; https://clinicalepi.de/projects/vbd-mode.html) Collaborating closely with national and
Enter an email to receive alerts for structural-dynamics-"https:"-"UCL" positions