University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Senior Research Associate - From FUNctionbased TO MOdel-based Automated Probabilistic Reasoning for DEep Learning (FUN2MODEL)

Applications for this vacancy closed on 30 October 2019 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>The Automated Verification group at the Department of Computer Science has a vacancy for a Senior Research Associate on the ERC funded FUN2MODEL project. Reporting to Professor Marta Kwiatkowska you will be a senior member of the FUN2MODEL project team and will be expected to provide overall leadership for the development of probabilistic verification and synthesis methods, including software implementation and PRISM extensions; to integrate techniques developed by other members of the team; and to liaise with Dave Parker to coordinate PRISM development.</p><br> <p>You will also be responsible for carrying out research with an emphasis on data-centric modelling, coordination and reasoning for autonomous multi-agent systems, capturing cognitive and affective aspects. This includes causal reasoning based on Bayesian networks; game-theoretic methods and algorithmic schemes for coordination and collaboration; formalisation of provably robust and beneficial collaboration; extensions of PRISM modelling language and software; and relevant case studies.</p><br> <p>You should hold a PhD (or close to completion) in computer science, mathematics or related discipline and have post-qualification research experience, possess sufficient specialist knowledge of and demonstrable experience of: foundations of machine learning or statistics, probabilistic modelling/verification, and concurrency/multi-agent systems, and have 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, and familiarity with human-robot interaction is highly desirable.</p><br> <p>Whilst the role is a Grade 8 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at Grade 7 (&#163;32,817 - &#163;40,322 p.a.) with the responsibilities adjusted accordingly; for Grade 7, you would be expected to hold a doctoral degree in computer science, mathematics, or related discipline (or be close to completion). This would be discussed with applicants at interview/appointment where appropriate.</p><br> <p>The closing date for applications is 12.00 noon on Wednesday 30 October 2019. Interviews are expected to be held week commencing 4 November 2019.</p><br> <p>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 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.</p> </div>
dc:spatial
Department of Computer Science, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2019-10-30 12:00:00+00:00
vacancy:applicationOpeningDate
2019-10-02 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
The Automated Verification group at the Department of Computer Science has a
vacancy for a Senior Research Associate on the ERC funded FUN2MODEL project.
Reporting to Professor Marta Kwiatkowska you will be a senior member of the
FUN2MODEL project team and will be expected to provide overall leadership for
the development of probabilistic verification and synthesis methods, including
software implementation and PRISM extensions; to integrate techniques
developed by other members of the team; and to liaise with Dave Parker to
coordinate PRISM development.



You will also be responsible for carrying out research with an emphasis on
data-centric modelling, coordination and ...

The Automated Verification group at the Department of Computer Science has a vacancy for a Senior Research Associate on the ERC funded FUN2MODEL project. Reporting to Professor Marta Kwiatkowska you will be a senior member of the FUN2MODEL project team and will be expected to provide overall leadership for the development of probabilistic verification and synthesis methods, including software implementation and PRISM extensions; to integrate techniques developed by other members of the team; and to liaise with Dave Parker to coordinate PRISM development.


You will also be responsible for carrying out research with an emphasis on data-centric modelling, coordination and ...

label
Senior Research Associate - From FUNctionbased TO MOdel-based Automated Probabilistic Reasoning for DEep Learning (FUN2MODEL)
notation
143187
based near
page