Sort by
Refine Your Search
-
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
-
the interrelations between polarisation, segregation and inequality using large data sets and methods from physics, mathematics, computational sciences, economics, sociology, psychology, or law? Do you find it fun
-
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
Enter an email to receive alerts for formal-method positions