-
especially suitable for someone with strong formal reasoning and data analysis skills who is considering progression to a PhD or further postdoctoral research in AI ethics, social choice theory
-
developing formalisms for their interpretation (GMC structure, dynamical state, lifetime, formation, evolution), and/or ii) weighing the supermassive black holes lurking at galaxy centres using molecular gas
-
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 support the development
-
applicant. Access to high-performance computing facilities and cloud-based quantum hardware will be provided to support simulation and verification of theoretical methods. About you The successful candidate
-
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
-
will also contribute to or write research articles at an international level for peer-reviewed journals. You will be responsible for formally presenting your research and represent the research group
-
modern privacy-enhancing technologies (e.g. based upon synthetic data or using formal differential privacy guarantees) impact research integrity and reproducibility. This is an exciting line of research
-
already been considered. For informal enquiries, please contact Ruby Ramsamy at ocdem.personnel@ndm.ox.ac.uk . Please quote the job reference (180450) on all correspondence. As part of your formal online
-
interpretability, explainability, and verification methods with an emphasis on white box methods and control techniques using causality. The post holder will work on projects that bridge technical AI capabilities