[TYPES/announce] Two postdoc positions at Department of Computer Science, University of Oxford

[Luke Ong]

*Department of Computer Science, University of OxfordPostdoctoral
Researcher in Algorithmics and Semantics of Higher-order Computation (2
posts)*
Applications are invited for two full-time postdoctoral researcher
positions. The appointees will join a research team investigating topics in
the algorithmics and semantics of higher-order computation, funded by the
Engineering and Physical Sciences Research Council (UK), under the
direction of Professor Luke Ong, University of Oxford. The positions are on
Grade 7 (£30,738 - £37,768 p.a.) for one year, with the possibility of
extension, to start on 1 October 2016 (later start dates are possible).

*Research objectives*

A main objective of the research is to develop a compositional approach to
the algorithmic analysis (including model checking) of higher-order
programs, using semantic methods such as types and games and other
strategy-aware models.

Another objective is to construct models of higher-order probabilistic
computation as a semantic basis for probabilistic programming.

The exact scope of the research will depend on the skills of the successful
candidates.

*Qualification requirements*

Applicants should have a PhD (or be near completion) in Computer Science or
Mathematics with a strong background in one or more of the following:
semantics of computation, programming languages, verification and model
checking, probability and measure theory, and machine learning. Experience
of actively collaborating in the development of research articles for
publication is highly desirable.


*Application details*
The closing date for applications is 12 noon on 30 June 2016.

Interviews are expected to be held on 19 July 2016.

For further details, and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=123791

Interested applicants are strongly encouraged to contact Luke Ong directly:
lo at cs.ox.ac.uk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160613/8cb164bb/attachment.html>