[TYPES/announce] Researcher position on ERC project FUN2MODEL at Oxford

[Marta Kwiatkowska]

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

*Senior Research Associate**on FUN2MODEL, fixed term for 3 years, with 
the possibility of extension**
**Grade 8: Salary £41,526 – £49,553 p.a. (note: post may be under-filled 
at grade 7: £32,817 - £40,322 p.a.)*

*http://www.cs.ox.ac.uk/news/1783-full.html*

We are looking for a motivated Senior Research Associate to play a key 
role in the ERC funded FUN2MODEL project (www.fun2model.org), which aims 
to develop novel probabilistic verification and synthesis techniques to 
enable robust AI.

You will be a senior member of the collaborative project team, reporting 
directly to Professor Marta Kwiatkowska. 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 should possess demonstrable experience across some/all of: 
quantitative and/or probabilistic modelling, verification and synthesis, 
concurrency/games/multi-agent systems, and symbolic methods, as well as 
have proven experience of software development in relevant areas, such 
as verification and symbolic AI (SAT, SMT, etc), statistical inference 
or statistical model checking, numerical methods, constraint solving and 
optimisation. Knowledge of neural networks and Bayesian methods is 
highly desirable.

The closing date for applications is 12 noon 4 March 2020. Interviews 
are expected to be held week commencing 9th March 2020.

Enquiries to Professor Marta Kwiatkowska (marta.kwiatkowska at cs.ox.ac.uk) 
are welcome.

For further details and to apply please visit:

https://my.corehr.com/pls/uoxrecruit/erq_jobspec_details_form.jobspec?p_id=145222 


Our staff and students come from all over the world and we proudly 
promote a friendly and inclusive culture. Diversity is positively 
encouraged, through diversity groups and champions, for example 
http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a 
number of family-friendly policies, such as the right to apply for 
flexible working and support for staff returning from periods of 
extended absence, for example maternity leave.

-- 
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:http://www.cs.ox.ac.uk/people/marta.kwiatkowska/

PA and Project Officer: Anita Hancox
Email:anita.hancox at cs.ox.ac.uk, Tel: +44 (0)1865 610754

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200216/45a16eed/attachment.html>