[TYPES/announce] PhD position in concurrency/programming languages/formal methods at CWI (Amsterdam)

[Sung-Shik Jongmans]

## Position

We are seeking applications for a fully-funded PhD position in
concurrency/programming languages/formal methods, jointly offered by CWI
(Centrum Wiskunde & Informatica) and OU (Open University of the Netherlands).
The general direction of the project is the development of a domain-specific
language to express interaction protocols among processes in concurrent systems
at a higher level of abstraction than classical concurrency primitives (locks,
monitors, etc.).

Depending on his/her research interests, the successful applicant will work at
the intersection of theory (e.g., formal semantics) and practice (e.g., tool
development) on the design and implementation of techniques for code generation,
optimization, and/or verification of interaction protocols. The successful
applicant will work under supervision of Sung-Shik Jongmans (principal
investigator of the project), Farhad Arbab, and Frank de Boer. The starting date
is flexible (but preferably sooner rather than later).

## Requirements

Applicants should either have a master's degree (or equivalent) in computer
science, or expect to obtain one shortly. Applicants should have a strong
interest in concurrency, programming languages, and/or formal methods. Dutch
language proficiency is not required.

## Location

The successful applicant will work in the Formal Methods group at CWI in
Amsterdam. CWI is the Dutch national research institute for mathematics and
computer science. The mission of CWI is to conduct pioneering research in
mathematics and computer science, generating new knowledge in these fields and
conveying it to trade, industry, and society at large. CWI is an internationally
oriented institute, with 160 scientists from approximately 27 countries. The
facilities are first-rate and include excellent IT support, career planning,
training, and courses. CWI is located at Science Park Amsterdam that is
presently developing into a major location of research in the natural sciences
in The Netherlands.

## Employment

The successful applicant will be employed by OU for four years and formally
seconded to CWI for the duration of the project. The terms of employment are in
accordance with the Dutch Collective Labor Agreement for Universities. The gross
monthly salary for a PhD student (full-time) is 2325 EUR during the first year
and increases to 2972 EUR over the four year period.

## Application

We are happy to provide more details to potential applicants. Requests for
additional information regarding the project's content/motivation, other
informal enquiries, and formal applications can be sent to Sung-Shik Jongmans
(jongmans at cwi.nl; ssj at ou.nl). Formal applications must include:

- A motivation letter
- A cv, including a list of courses with grades
- A copy of the master's thesis (if already available)
- The name of at least one scientist able and willing to provide a reference

Deadline for applications: 28 February 2019