-
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 tractable, and
-
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 tractable, and
-
), the Engineering and Technology institute Groningen (ENTEG) conducts engineering science research and covers a broad area of mechanical engineering, control engineering, materials engineering, and (bio)-chemical
-
), the Engineering and Technology institute Groningen (ENTEG) conducts engineering science research and covers a broad area of mechanical engineering, control engineering, materials engineering, and (bio)-chemical
-
employ complex system dynamics and feedback mechanisms to understand how, where and when to intervene. System dynamics highlights which factors and policy (mix) can accelerate behavioural change by
-
experimental structure optimization workflows to minimize the number of experiments to achieve desired properties; 3) generating new peptide sequences with desired target properties. This position will be part
-
strong roots in biophysics, biochemistry & molecular biology, cell biology, chemistry, computational biology, microbiology or genetics are organized in two focal areas: ‘Molecular Mechanisms of Biological