Part-time Research Associate on Compositional Higher-Order Model Checking (2 posts)

<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>The Programming Languages group at the Department of Computer Science has a vacancy for two part-time (0.5 FTE/18.75 hours per week) Research Associates on Compositional Higher-Order Model Checking, investigating topics in the verification of higher-order programs.</p><br> <p>Reporting to Professor Luke Ong, you will be expected to conduct original research on one or more of the following topics: design and implementation of decision procedure for higher-order recursion scheme equivalence problem; design and implementation of solution methods for higher-order Horn constraints; generalised models of differentiation; incremental computation and higher-order Datalog.</p><br> <p>You should have a PhD (or be close to completion) in computer science or mathematics with a strong background in one or more of the following: semantics of computation, programming languages, lambda calculus and types, category theory, probability and measure theory, and machine learning.</p><br> <p>The closing date for applications is 12.00 noon on 5 April 2019.</p><br> <p>Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave.</p> </div>