[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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.kwiatkow...@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.kwiatkow...@cs.ox.ac.uk
URL:http://www.cs.ox.ac.uk/people/marta.kwiatkowska/
PA and Project Officer: Anita Hancox
Email:anita.han...@cs.ox.ac.uk, Tel: +44 (0)1865 610754
