Research Assistant in Computer Science

7 days left

£31,479 - £33,194 per annum
Jun 24, 2020
Jul 09, 2020
Contract Type
Full Time
Job Type
Duties and Responsibilities

UCL - CS is the top department in the UK for Computer Science. Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. PPLV has strong links to industry, in particular Facebook, Google, Amazon and ARM.

The post holder will investigate network protocols amenable for learning and verification. They will also evaluate the effectiveness of the techniques in industrial verification tasks.

The duration of the post is for 6 months in the first instance.

Key Requirements

We are looking for a research assistant with experience in one of the following areas: model-based testing and verification, formal methods, networking. Experience in multiple areas will be valued. Candidates should also have strong programming skills.

We are looking for a candidate with experience in implementation of large projects. Publication record in relevant conferences and journals, e.g. POPL, CAV, FM, will be valued.

Further Details

A 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 Professor Alexandra Silva via email

We offer an attractive range of staff benefits including 41 days annual leave per year (pro-rata) inclusive of closure days and bank holidays, pension scheme, season ticket loan, professional development, eye care scheme, discounted gym membership and much more.

All new staff joining the organisation will be appointed at the bottom increment of a pay grade, only in exceptional circumstances will the salary offered at a higher rate.

UCL Taking Action for Equality

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

Closing Date

9 Jul 2020

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.

Job Description & Person Specification