[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*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: l...@cs.ox.ac.uk