[TYPES/announce] Postdoctoral opportunities in verification/synthesis for AI at Oxford

[Marta Kwiatkowska]

[Please forward to anyone who may be interested. Apologies for multiple 
mailing.]

Two short-term postdoctoral positions area available on the FUN2MODEL 
project (fun2model.org), an ERC Advanced Grant (2019-2025) at the 
University of Oxford. Since the project has already advanced 
substantially and is currently developing new methodologies, priority 
will be given to researchers who are aligned with one or more of its six 
research themes (see https://urldefense.com/v3/__http://fun2model.org/researchthemes.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6phFjFaPww$ ):

Safety, Robustness and Fairness Guarantees https://urldefense.com/v3/__http://fun2model.org/safety.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6pg-5cHTwg$ 

Robustness Guarantees for Bayesian Neural Networks 
https://urldefense.com/v3/__http://fun2model.org/bayesian.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6pgtOtZNiw$ 

Efficient Robust Learning https://urldefense.com/v3/__http://fun2model.org/robust-learning.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6pgqPRRbMg$ 

Tractable Causal Inference and Reasoning https://urldefense.com/v3/__http://fun2model.org/inference.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6pjzGvfLyQ$ 

Multi-agent Coordination and Collaboration 
https://urldefense.com/v3/__http://fun2model.org/multi-agent.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6phB49w51Q$ 

Human-like Decision Making https://urldefense.com/v3/__http://fun2model.org/human-like.php__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6piL0viDzA$ 

Please contact Marta Kwiatkowska at marta.kwiatkowska at cs.ox.ac.uk if you 
want to discuss.

Application deadline is on *6th November* and more information about the 
positions and the application process can be found at:

https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2193-full.html__;!!IBzWLUs!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6phsuk-JAw$ 

Best wishes,

Marta

-- 
Professor Marta Kwiatkowska FRS
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!Xz4laFr2pklodrz3wGUoyUXBDCaEhYWvE2CQJFjP_G9nwNvmKh7Mn0vclnPcyqLICtsgWQ1FdD-Vy70D1Atuaxlr_lK-BEoCRplR6pjqXpD63w$ 

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/20231019/9e1aefd7/attachment.htm>