[TYPES/announce] Job: Postdoctoral position in verification/robustness of AI

[Marta Kwiatkowska]

[Apologies for multiple mailing. Informal enquiries to 
marta.kwiatkowska at 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.Kwiatkowska at cs.ox.ac.uk
URL: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.perez at cs.ox.ac.uk, Tel: +44 (0)1865 283581
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230727/bba22baa/attachment-0001.htm>