Logic List Mailing Archive

Faculty position in Programming Principles, Logic and Verification, London (U.K.), Deadline: 6 Mar 2015

Faculty Position in Programming Principles, Logic, and Verification

Ref:1450731

UCL Department / Division
Computer Science

Grades
8-9

Hours
Full Time

Salary (inclusive of London allowance)
Grade 8: £41,430 - £48,873 per annum;
Grade 9: £53,119 - £57,760 per annum

Duties and Responsibilities

The Department of Computer Science at University College London (UCL)
invites applications for a faculty position in the area of Programming Principles,
Logic, and Verification. We seek world-class talent; candidates must have
an outstanding research track record.

In Programming Principles, Logic, and Verification, our interests span theory
and practice, including logic, semantics, language design, program analysis,
program verification, systems verification, systems modelling, compilation, and
theorem proving.


We have outstanding connections with cutting-edge industry and excellent
connections with other groups at UCL, including Systems and Networks,
Information Security, and Software Systems Engineering.


Candidates seeking to be appointed at Grade 9 will need to fulfil the additional
criteria specified within the further particulars of the vacancy.



Key Requirements

Candidates must hold an earned Ph.D. in an appropriate aspect of Computer
Science or of a closely related field by the time they begin their appointment.


Candidates will be evaluated chiefly on the significance and novelty of their
research to date, but also on their promise.

Further Details

Further details about UCL CS, the post, and how to apply may be found at
UCL?s Jobs site: www.ucl.ac.uk<http://www.ucl.ac.uk> > Jobs > Ref: 1450731.

Questions about this vacancy may be directed to Prof. David Pym  (Head of
Programming Principles, Logic and Verification, d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>), or
Prof. John Shawe-Taylor (Head of Department, j.shawe-taylor@ucl.ac.uk<mailto:j.shawe-taylor@ucl.ac.uk>).



We particularly welcome female applicants and those from an ethnic minority, as they are
under-represented within UCL at this level.

UCL Taking Action for Equality

Closing Date

6 Mar 2015

Our department holds an Athena SWAN Bronze award, which illustrates our commitment to
addressing gender equality. This appointment is subject to UCL Terms and Conditions of
Service for Academic Staff.

--
Professor of Information, Logic, and Security
Head of Programming Principles, Logic, and Verification
University College London

d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>
www.cs.ucl.ac.uk/people/D.Pym.html<http://www.cs.ucl.ac.uk/people/D.Pym.html>
www.cs.ucl.ac.uk/staff/D.Pym/<http://www.cs.ucl.ac.uk/staff/D.Pym/>