[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ][Apologies for multiple mailing. Informal enquiries to marta.kwiatkow...@cs.ox.ac.uk]*
**Research Associate on FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning*
*Full Time and Fixed Term contract until 30th September 2025**Grade 7: Salary £36,024 - £44,263 p.a. with the potential to under-fill at Grade 6 with salaries in the range of £32,332 - £38,205 p.a.
* *Department of Computer Science, University of Oxford* *Closing date: **12 noon on 29^th August 2023*https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2177-full.html__;!!IBzWLUs!VkqrbeE2FeXli0UiBcc8m2Xqndhzpb6eDynLj_DhPPiT5ntWqnDLX86GtVxhfZ5GMCC2tQvvtQAZpC3uanWYjktpA90gFzTO_wF5Fsa3IlNJVw$ We are looking for a motivated Research Associate to play a key role in the ERC funded FUN2MODEL project. 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 theories, models and algorithms for quantitative/probabilistic verification and synthesis to enable robust AI. 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 probabilistic verification and synthesis to enable robust AI. This may involve neuro-symbolic approaches; probabilistic verification/synthesis; planning and game-theoretic methods; robustness and certification. Suitably qualified candidates will have an opportunity to implement software, liaising with Dave Parker to coordinate PRISM codebase extensions.
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 research group’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: symbolic/neuro-symbolic methods; probabilistic/statistical verification and synthesis; planning and game theory, as well as have proven experience of software development in relevant areas, such as SAT/SMT, statistical inference, constraint solving and optimisation. Familiarity with neural networks and Bayesian methods is desirable.
*The closing date for applications is 12 noon on 29^th August 2023.*Interviews are expected to be held in September.
For further details and to apply please visit:https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2177-full.html__;!!IBzWLUs!VkqrbeE2FeXli0UiBcc8m2Xqndhzpb6eDynLj_DhPPiT5ntWqnDLX86GtVxhfZ5GMCC2tQvvtQAZpC3uanWYjktpA90gFzTO_wF5Fsa3IlNJVw$
-- Professor Marta Kwiatkowska FRS Associate Head of MPLS Division Fellow of Trinity College Department of Computer Science University of Oxford Wolfson Building, Parks Road Oxford, OX1 3QD Tel: +44 (0)1865 283509 Email:marta.kwiatkow...@cs.ox.ac.ukURL:https://urldefense.com/v3/__https://www.cs.ox.ac.uk/people/marta.kwiatkowska/__;!!IBzWLUs!VkqrbeE2FeXli0UiBcc8m2Xqndhzpb6eDynLj_DhPPiT5ntWqnDLX86GtVxhfZ5GMCC2tQvvtQAZpC3uanWYjktpA90gFzTO_wF5FsZ72owtZQ$
Project Office and PA: Karla-Maria Perez Blanco Email:karla.pe...@cs.ox.ac.uk, Tel: +44 (0)1865 283581
