From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9931 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: Postdoc position on quantified effects at Reykjavik University Date: Tue, 18 Jun 2019 19:55:31 +0000 Message-ID: Reply-To: Tarmo Uustalu Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="15410"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Wed Jun 19 17:00:26 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hdc4T-0003lT-UQ for gsmc-categories@m.gmane.org; Wed, 19 Jun 2019 17:00:22 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:60233) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hdc33-0003wf-Le; Wed, 19 Jun 2019 11:58:53 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hdc2H-0007zf-Dd for categories-list@mlist.mta.ca; Wed, 19 Jun 2019 11:58:05 -0300 Accept-Language: en-US, is-IS Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9931 Archived-At: Quantified computational effects and interaction *epartment of Computer Science, Reykjavik University One postdoc position Applications are invited for one postdoctoral position at the Department of Computer Science, Reykjavik University. The position is part of a three-year research project funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded monads, monad-like structures and interaction laws. Interested applicants should contact the PI (email tarmo@ru.is) for closer details on the research proposal. The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), with research groups on concurrency, logic and semantics, algorithms, combinatorics. For information about ICE-TCS and its activities, see http://icetcs.ru.is/. Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej Pir=F3g during the project work and will benefit from the interaction with their research groups at the National Institute of Informatics in Tokyo and the University of Wroclaw. *Qualification requirements* Applicants for the postdoctoral position should have, or be about to defend, a PhD degree in Computer Science or a closely related field. Previous knowledge of at least one of lambda calculus and functional programming, proof theory/type theory, programming language semantics, category theory in computer science, proof assistants is a prerequisite. *Remuneration* The wage will be approx 500 kISK per month before income tax, but depend on the qualifications and experience of the postdoc. Check http://payroll.is/en/ for what this means in terms of take-home pay. A tax relief for foreign experts may apply. The position is for two years, to start in autumn 2019 (the start date is negotiable), and is renewable for another year, based on good performance and mutual satisfaction. *Application details* Interested applicants should send their CV, including a list of publications, to the PI (email tarmo@ru.is), together with a statement outlining their suitability for the project and the names of at least two references. Informal inquiries about the project and the conditions of work are very welcome. We will review applications as they arrive. Please apply before 5 July 2019. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]