Research Assistant in Programming, Principles,Logic and Verification x3

Computer Science

departnent athena award

UCL, Gower Street, London, UK


  • Posted on: 16th Nov 2021
  • Salary: £32,217 - £33,958 per annum
  • REF: 1880223
  • Closes: 29th November 2021
  • Contract Type: Fixed-Term/Contract
  • Hours: Full Time, Part Time

Duties and Responsibilities

The Programming Principles, Logic and Verification team (PPLV, UCL Computer Science) is looking for a Research Assistant to work on the project AutoProbe (Automated Probabilistic Black-Box Verification), funded by an ERC CoG. The Research Assistant will be responsible for advancing the research goals of the project as well as disseminating results through publications and presentations.

This position will be funded for 1 year in the first instance.

Key Requirements

The successful candidate will have experience working in a research environment, be knowledgeable in the fields of semantics, automata, and verification, and have practical experience in implementation of complex algorithms.

Further Details

A job description and person specification can be accessed at the bottom of this page.

To apply for the vacancy please click on the Apply Now button below.

If you have any queries regarding the vacancy or the application process, please contact Prof. Alexandra Silva,

UCL Taking Action for Equality

We will consider applications to work on a part-time, flexible and job share basis wherever possible.

Closing Date

29 Nov 2021

Latest time for the submission of applications


Interview date


Our department holds an Athena SWAN Silver award, in recognition of our commitment and demonstrable impact in advancing gender equality.

This appointment is subject to UCL Terms and Conditions of Service for Research and Support Staff.

Please use these links to find out more about UCL working life including the benefits we offer and UCL Terms and Conditions related to this job.

Employer Achievements:

company award