Researcher on ASHOC

<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>We are pleased to announce the availability for a full-time postdoctoral researcher for up to 21 months, starting as soon as possible. Reporting to Professor Luke Ong, this project will involve investigating topics in the semantics of higher-order computation with probabilistic and other branching constructs.</p><br> <p>As a researcher on this project, you will be expected to undertake some or all of the following objectives; to develop a denotational semantics of higher-order probabilistic computation; to give a unified account of quantitative models of lambda calculus with branching constructs; and/or 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 skill set of the successful candidate. You will be expected to manage your own academic research projects, to develop your ability to collaborate in the preparation of scientific reports and journals, and represent your research at workshops, conferences or meetings.</p><br> <p>You 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, lambda calculus and types, category theory, probability and measure theory, and machine learning. You will be able to manage your own research projects and possess excellent communication skills, to write for publication and present research to others. Experience of actively collaborating in the development of research articles for publication is highly desirable.</p><br> <p>The closing date for applications is 12.00 noon on 5 June 2017.</p> </div>