trustworthy and well-calibrated autonomous systems.
Research focus: Verifiable world models. The
research will focus... of formal methods and compositional reasoning. The core
research thrusts of this position are: Structured, neurosymbolic... -
Voir cette offre d'emploi