Location: | London, Hybrid |
---|---|
Salary: | £42,099 to £60,521 |
Hours: | Full Time |
Contract Type: | Fixed-Term/Contract |
Placed On: | 30th July 2024 |
---|---|
Closes: | 13th August 2024 |
Job Ref: | B04-05229 |
About us
The Programming Principles, Logic and Verification team (PPLV, UCL Computer Science) is looking for a (Senior) Research Associate to work on the project AutoProbe (Automated Probabilistic Black-Box Verification), funded by an ERC CoG. The Research Associate will be responsible for advancing the research goals of the project as well as disseminating results through publications and presentations.
About the role
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.
Research Fellow - Grade 7 - £42,099 - £50,585 (inclusive of London Allowance)
Senior Research Fellow - Grade 8 - £51,474 - £60,521 (inclusive of London Allowance)
About you
We are looking for a research assistant with strong programming skills, familiarity with network protocols and experience in one of the following areas: model-based testing and verification, formal methods for concurrency, automated analysis of hardware systems. Experience in multiple areas will be valued. If you have any queries regarding the vacancy or the application process, please contact Prof. Alexandra Silva, alexandra.silva@ucl.ac.uk.
What we offer
As well as the exciting opportunities this role presents, we also offer some great benefits some of which are below:
Our commitment to Equality, Diversity and Inclusion
As London’s Global University, we know diversity fosters creativity and innovation, and we want our community to represent the diversity of the world’s talent. We are committed to equality of opportunity, to being fair and inclusive, and to being a place where we all belong. We therefore particularly encourage applications from candidates who are likely to be underrepresented in UCL’s workforce. These include people from Black, Asian and ethnic minority backgrounds; disabled people; LGBTQI+ people; and for our Grade 9 and 10 roles, women. You can read more about our commitment to Equality, Diversity and Inclusion here: https://www.ucl.ac.uk/equality-diversity-inclusion/. Our department holds an Athena SWAN Gold 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.”
Type / Role:
Subject Area(s):
Location(s):