Visit acad.jobs with all Jobs for Academics!
                    
Position: Research Fellow in Programming Principles, Logic, and Verification
Institution: University College London
Department: Computer Science
Location: London, United Kingdom
Duties: UCL Department of Computer Science is the top department in the UK for Computer Science. Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. PPLV has strong links to industry, in particular Facebook, Google, and Amazon. We are looking for a postdoctoral research with a PhD in one of the following areas: logic, verification, category theory, type theory, and theorem proving. Experience in multiple areas will be valued. Ideally, candidates will also have strong programming skills. 
Requirements: We are looking for a candidate with a PhD in Maths or Computer Science with a strong publication record in relevant conferences and journals, e.g. LICS, POPL, IJCAR, CADE, MFPS, LMCS. Experience in implementation of large projects will be valued
   
Text: Research Fellow in Programming Principles, Logic, and Verification, - Ref:1785433 Click here to go back to search results Apply Now UCL Department / Division Computer Science Location of position London Grade 7 Hours Full Time Salary (inclusive of London allowance) ?35,328 to ?42,701 per annum Duties and Responsibilities UCL Department of Computer Science is the top department in the UK for Computer Science. Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving. PPLV has strong links to industry, in particular Facebook, Google, and Amazon. We are looking for a postdoctoral research with a PhD in one of the following areas: logic, verification, category theory, type theory, and theorem proving. Experience in multiple areas will be valued. Ideally, candidates will also have strong programming skills.  The position is available from April 2019 for 1 year, with possibility of further extension up to 3 years.  Key Requirements We are looking for a candidate with a PhD in Maths or Computer Science with a strong publication record in relevant conferences and journals, e.g. LICS, POPL, IJCAR, CADE, MFPS, LMCS. Experience in implementation of large projects will be valued. Further Details 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 Prof. David Pym (d.pym@ucl.ac.uk), Prof. Alexandra Silva (alexandra.silva@ucl.ac.uk) or Dr. Simon Docherty (simon.docherty.14@ucl.ac.uk). UCL Taking Action for Equality We will consider applications to work on a part-time, flexible and job share basis wherever possible. Closing Date 7 Feb 2019 Latest time for the submission of applications 23:59 Interview date TBC Our department holds an Athena SWAN Silver 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. Please use these links to find out more about UCL working life including the benefits we offer and UCL Terms and Conditions related to this job. Job Description and Person Specification Apply Now
Please click here, if the Job didn't load correctly.







Please wait. You are being redirected to the Job in 3 seconds.