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.
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.
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, email@example.com.
UCL Taking Action for Equality
We will consider applications to work on a part-time, flexible and job share basis wherever possible.
29 Nov 2021
Latest time for the submission of applications
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.