Snabbfakta
-
- Oxford
Ansök senast: 2024-07-07
Research Associate on project FAIR
Publicerad 2024-05-08
We are looking for a
motivated Research Associate to play a key role in Project FAIR, a collaboration between Universities of Oxford, Cambridge, Edinburgh, Warwick, University College London and The Alan Turing Institute. You will be a member of the collaborative project team working at the cutting edge of Computer Science. Reporting directly to Professor Marta Kwiatkowska, you will be contributing to the development of artificial intelligence frameworks, models and algorithms to ensure robustness in financial systems. Based within an internationally leading research group, you will benefit from working in Oxford University’s acclaimed Computer Science Department, located in the heart of Oxford’s Scientific Keble Triangle. You will carry out research on robustness verification in AI. This may involve adversarial and/or distributional robustness; probabilistic/statistical verification and certification; (multi-agent) reinforcement learning and stochastic control; Bayesian methods and probabilistic circuits. Suitably qualified candidates will have an opportunity to lead software tool implementation. You will be expected to write research articles for leading conferences and journals, complete clear task objectives, organise your workload, and proactively contribute towards the project’s objectives.You should hold a PhD (or be close to completion) in computer science, mathematics or related discipline, possess sufficient specialist knowledge across some/all areas of: probabilistic verification and synthesis, statistical inference, Bayesian methods, neural network certification, constraint solving and optimisation. Experience of software development I relevant areas is desirable.
