From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9801 Path: news.gmane.org!.POSTED!not-for-mail From: Ohad Kammar Newsgroups: gmane.science.mathematics.categories Subject: Research associate in computational effects modelling and axiomatics Date: Thu, 17 Jan 2019 08:28:10 +0000 Message-ID: Reply-To: Ohad Kammar NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1547748199 11767 195.159.176.226 (17 Jan 2019 18:03:19 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 17 Jan 2019 18:03:19 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Thu Jan 17 19:03:15 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gkC0Y-0002uB-QY for gsmc-categories@m.gmane.org; Thu, 17 Jan 2019 19:03:14 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:43636) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gkC2Y-0002JV-12; Thu, 17 Jan 2019 14:05:18 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gkC1L-0002lH-Ad for categories-list@mlist.mta.ca; Thu, 17 Jan 2019 14:04:03 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9801 Archived-At: Hi, I'm looking for a postdoc, and can currently offer a position until January 2021 (inclusive). You'll be joining me at the Laboratory for the Foundations of Computer Science (LCFS) at the School of Informatics in the University of Edinburgh. We'll be looking at the semantic foundations of computational effects and the foundations of statistical probabilistic programming. More details here, with a brief summary below: https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=046553 I'm at POPL this week --- in case you're here and want to chat. Otherwise, just email me. If you're not currently looking for a postdoc position, but know someone who is, please forward this information to them. Yours, Ohad. --------------------------------------------------------- Closing date: Friday 15th February 2019 at 5pm (GMT) Interviews (expected): 27 or 28 February 2019 Project Information Programs exhibit implicit behaviour, such as I/O and state interaction, probabilistic non-determinism, Bayesian conditioning, and gradient manipulation, under the umbrella term 'computational effects'. Computational effects pose challenges in modelling and reasoning about programs, as their interaction with other programming language theories, such as higher-order structure and polymorphism, is still poorly understood. Axiomatics is a highly successful technique in reasoning about computational effects. In this project, you will conduct basic research into the connections between axiomatics and denotational modelling of computational effects. You will also specialise this theory towards the foundations of probabilistic programming. Essential criteria * Completed, or near completion of, a PhD in computer science or mathematics, or equivalent experience. * Demonstrable experience in denotational modelling of programming languages. * Demonstrable working knowledge in category theory. * Demonstrable working knowledge in domain theory. * Ability to communicate clearly complex technical material orally and in writing. Desirable criteria * Experience with axiomatic verification of higher-order programs with effects. * Demonstrable working knowledge in refinement type systems and their mathematical models. * Demonstrable working knowledge in measure theory, probability, and statistics. * Demonstrable experience in programming with and/or modelling effect handlers. * Demonstrable experience in programming in and/or modelling statistical probabilistic programming languages * Experience in publication and presentation in international programming language venues. * Demonstrable knowledge in designing and solving recursive domain equations. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]