Research Fellow in Logic or Applied Logic London, England
Job description
About us
UCL’s Department of Computer Science (CS) is a top-ranked Computer Science Department in the UK. In the 2021 Research Excellence Framework (REF) evaluation, UCL Computer Science was ranked second in the UK for research power and first in England.
About the role
These posts will be associated with the EPSRC-funded IRIS project, ‘Interface reasoning for Interacting Systems’, which is based in UCL’s Logic group, PPLV. The first post is concerned primarily with foundational logical aspects of IRIS. The second post is concerned with methodological issues in mathematical systems modelling. In both cases, the roles require the execution of original research, in collaboration with colleagues, and its dissemination via high-quality venues to relevant communities.
About you
Ideal candidates will have expertise in some combination of the following, depending in detail on which of the two roles is of interest: proof-theoretic semantics for classical and non-classical logics; dynamic and temporal logics; proof-search, model checking, and other techniques from computational logic; categorical logic and coalgebraic semantics, and conceptually rigorous approaches to distributed systems and systems security; the methodological foundations of systems modelling. In addition, an interest in designing and implementing systems models, using languages such as Julia, would be an advantage.
What we offer
This is a grade 6/7 role: Grade 6 (including London Allowance)- £32,331 - £38,514 Grade 7 (including London Allowance)- £39,508 - £47,355 • 41 Days holiday (27 days annual leave 8 bank holiday and 6 closure days) • Additional 5 days’ annual leave purchase scheme • Defined benefit career average revalued earnings pension scheme (CARE) • Cycle to work scheme and season ticket loan • Immigration loan • Relocation scheme for certain posts • On-Site nursery • On-site gym • Enhanced maternity, paternity and adoption pay • Employee assistance programme: Staff Support Service • Discounted medical insurance Visit https://www.ucl.ac.uk/work-at-ucl/reward-and-benefits to find out more.
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. Our department holds an Athena SWAN Silver award, in recognition of our commitment and demonstrable impact in advancing gender equality. 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 David Pym, [email protected]
