University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate on AI for Verification and Control

Applications for this vacancy closed on 15 March 2021 at 12:00PM
Fixed Term for up to one year





The appointment would be at max grade 7/3 (£32,236 - £34,804 p.a.) where you
would be expected to hold a doctoral degree in Computer Science or be close to
completion).





The Department of Computer Science at the University of Oxford is currently
looking for an outstanding candidate to fill one RA position available from
early 2021 on a 1-year full-time contract, on a project led by Professor
Alessandro Abate.





The scientific underpinnings of the project lie in the areas of Formal
Verification and Control Theory, with additional core components from the area
of AI and Machine Learning. The overall goal is to contribute to the
development of general approaches to integrate learning components within
architectures for the formal verification and control of complex engineering
systems: we aim on the one hand to certify the correct behaviour of safety-
critical components and systems adaptively to collected data, and on the other
to provide formal guarantees (from verification and control theory) to
learning components that are embedded in safety-critical systems. The project
will have an additional emphasis on applications in the Space domain, through
an established collaboration with ESA and Airbus. http://www.oxcav.org





The OXCAV research group investigates the areas of Formal Verification and
Control Theory, and has a keen interest on integrating techniques and tools
from Machine Learning (for instance, Reinforcement Learning). OXCAV
investigates applications in Safety-Critical Systems, such as the energy
infrastructure, automotive, space, and beyond. The group is focussed both on
theoretical developments, and on generation of usable software, towards
technology transfer pursued alongside key industrial partners. Further
information about Professor Abate’s research profile can be found here:
http://www.cs.ox.ac.uk/people/alessandro.abate





We welcome applications from students with a DPhil/PhD (or close to completion
status) in Mathematics, Computer Science, Engineering, or related technical
degrees. Strong maths foundations are required, plus willingness to develop
code and to engage in collaborative projects. Candidates must also have good
writing, communication and presentation skills.





The closing date for applications is 12 noon on 8th March 2021, with
interviews expected to be held w/c 15th March 2021





For further information about the project or for informal discussions about
suitability, please contact Professor Abate (Alessandro.Abate@cs.ox.ac.uk).





We are a Stonewall Top 100 Employer, Living Wage and Mindful Employer, holding
an Athena Swan Bronze Award, HR excellence in Research and Race Equality
Charter Bronze Award.

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
shared parental leave.

dc:spatial
Department of Computer Science, Parks Road, Oxford
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2021-03-15 12:00:00+00:00
vacancy:applicationOpeningDate
2021-02-15 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

Fixed Term for up to one year

 

The appointment would be at max grade 7/3 (£32,236 - £34,804 p.a.) where you would be expected to hold a doctoral degree in Computer Science or be close to completion).

 

The Department of Computer Science at the University of Oxford is currently looking for an outstanding candidate to fill one RA position available from early 2021 on a 1-year full-time contract, on a project led by Professor Alessandro Abate.

 

The scientific underpinnings of the project lie in the areas of Formal Verification and Control Theory, with additional core components from ...
Fixed Term for up to one year





The appointment would be at max grade 7/3 (£32,236 - £34,804 p.a.) where you
would be expected to hold a doctoral degree in Computer Science or be close to
completion).





The Department of Computer Science at the University of Oxford is currently
looking for an outstanding candidate to fill one RA position available from
early 2021 on a 1-year full-time contract, on a project led by Professor
Alessandro Abate.





The scientific underpinnings of the project lie in the areas of Formal
Verification and Control Theory, with additional core components from the area
of ...
label
Research Associate on AI for Verification and Control
notation
149533
based near
page