The appointment will be on UCL Grade 7.
The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym, uses logical and algebraic methods to understand the compositional structure of systems and their communications, seeking to develop analyses at all scales, from code through distributed systems to organizational structure, generically and uniformly. The successful candidate will conduct conceptual, mathematical, and computational research, which be foundational and/or applicable, in these topics.
The funding for this vacancy is for 3 years in the first instance.
Applicants must hold, or be about to receive, a PhD in logic, theoretical computer science, or a closely related area. An interest in systems modelling verification, together with underlying logical and mathematical theory, is essential. Advanced programming skills and knowledge of, or some interest in, distributed systems and/or information and systems security are highly desirable.
Appointment at Grade 7 is dependent upon having been awarded a PhD; if this is not the case, initial appointment will be at research assistant Grade 6B (salary £30,316 – £31,967 per annum) with payment at Grade 7 being backdated to the date of final submission of the PhD thesis.
UCL vacancy reference: 1719249
Applicants should apply online. To access further details about the position and how to apply please click on the ‘Apply’ button below.
If you have any queries regarding the vacancy or the application process, please contact Prof. David Pym at firstname.lastname@example.org
Closing Date: 4 May 2018
Latest time for the submission of applications: 23:59
Interview Date: TBC
UCL Taking Action for Equality