UCL: Faculty Position in Programming Principles, Logic, and Verification

University College London (http://www.ucl.ac.uk)
Department of Computer Science (http://www.cs.ucl.ac.uk)

Faculty Position in Programming Principles, Logic, and Verification (http://pplv.cs.ucl.ac.uk)
Ref: 1531574

To carry out research, teaching, and administrative duties within the Department,
especially in the areas 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.

Key Requirements

A strong knowledge of the subject area (Programming Principles, Logic, and Verification)
combined with a broad subject background enabling contributions to teaching programmes.
Excellent interpersonal, oral, and written communication skills. Proven record of ability
to conduct high quality research, which is reflected in the authorship of high quality
publications, or other research outputs, in the area of computer science. Substantial
research experience in computer science.

Grades: 7-8
Hours: Full Time
Salary (inclusive of London allowance): Grade 7: £37,524–£40,716 per annum,
Grade 8: £38,896-£49,362 per annum

To be appointed at Grade 8 Candidates will require substantive teaching experience and/or
exceptional research achievement.

Further Details

A job description and person specification can be accessed at

http://www.ucl.ac.uk/hr/jobs/index.php > Jobs at UCL > Search Ref No: 1531574

where instructions on how to apply may also be found.

If you have any queries regarding the vacancy or the application process, please contact
Julia Savage ([email protected]<mailto:[email protected]>), 020 7679 0327.

Informal inquiries about may be addressed to Prof. David Pym, Head of PPLV: [email protected]<mailto:[email protected]>;
or Prof. John Shawe-Taylor, Head of Computer Science: [email protected]<mailto:[email protected]>.

Closing Date: 4 Mar 2016. Latest time for the submission of applications: 12pm.
Interview dates: Monday 11th April and Tuesday 12th April 2016

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.
Please use these links to find out more about the UCL Terms and Conditions related to this job,
employee benefits that we offer and further information about UCL.

UCL Taking Action for Equality

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

[email protected]<mailto:[email protected]>
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/>

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog