-
to develop formal methods for eliciting and aggregating safety specifications and risk thresh-olds for AI systems, with a particular focus on mechanisms that provide axiomatic guarantees, are algorithmically
-
concepts and working methods. It interacts externally almost exclusively with academia and operates as a truly interdisciplinary team bound to high scientific standards. Through its research, the team acts
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions