Sort by
Refine Your Search
-
at the intersection of AI safety, computational social choice, and judgment aggregation, aiming to formally integrate multi-stakeholder preferences into AI system design and evaluation. The post holder will take a
-
computational social choice, and aims to develop formal frameworks and algorithms for eliciting, aggregating, and analysing stakeholder preferences over risk and safety in AI systems. The Research Assistant will
-
explores novel aggregation methods at the intersection of AI safety, computational social choice, and judgment aggregation, aiming to formally integrate multi-stakeholder preferences into AI system design
-
Automated Verification theme in the Department of Computer Science and a research group with responsibility for carrying out research on the robustness (continuity) of equivalences in probabilistic systems
-
Engineering, Mathematics, Statistics, Computer Science or conjugate subject; strong record of publication in the relevant literature; good knowledge of machine learning algorithms and/or statistical methods
-
We are seeking a creative and highly motivated postdoctoral researcher to join the Turing AI World-Leading Fellowship research programme led by Professor Alison Noble. This exciting and ambitious
-
team. You will lead in the design and implementation of statistical and computational algorithms of different datasets, and implement novel algorithms within the framework of existing code, providing
-
fundamental algorithms for producing policies for rich goal structures in MDPs (e.g. risk, temporal logic, or probabilistic objectives), and modelling robot decision problems using MDPs (e.g. human-robot
-
recordings, optogenetics, pharmacology and advanced computational tools to analyse neural algorithms, their deficits and their rescue in genetic mouse models. This project is part of a cross-species, cross
-
developed goal-sequence generalization task. The project will integrate high-density silicon probe recordings, optogenetics, pharmacology and advanced computational tools to analyse neural algorithms