[TYPES/announce] Postdoc position on quantified effects at Reykjavik University

Tarmo Uustalu tarmo at cs.ioc.ee
Tue Jun 18 15:51:41 EDT 2019


Quantified computational effects and interaction

Department 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 at 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óg 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 at ru.is), together with a statement
outlining their suitability for the project and the names of at least
two references.

Informal enquiries about the project and the conditions of work are
very welcome.

We will review applications as they arrive. Please apply before
5 July 2019.


More information about the Types-announce mailing list