University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

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

Applications for this vacancy closed on 5 April 2019 at 12:00PM
<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>
dc:spatial
Department of Computer Science, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2019-04-05 12:00:00+01:00
vacancy:applicationOpeningDate
2019-03-29 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

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.


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.


You should have a PhD (or be close to completion) in computer ...

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.



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.



You should have a PhD (or be close to completion) in computer ...
label
Part-time Research Associate on Compositional Higher-Order Model Checking (2 posts)
notation
140122
based near
page