[TYPES/announce] Open Postdoc position at IMDEA

[Niki Vazou]

Hi all,

I am looking for a postdoc to work together on liquid relational types.
Feel free to contact me for further details.

Best,
Niki

Postdoc in Liquid Relational Types

Applications are invited for a post-doctoral research position at the IMDEA
Software Institute, Madrid, Spain.

The selected candidate will work under the supervision of Gilles Barthe
<https://software.imdea.org/people/gilles.barthe/index.html> and Niki Vazou
<https://software.imdea.org/people/niki.vazou/index.html> in the theory and
applications of relational liquid types.
Requirements

Candidates should have or be close to obtaining a PhD in computer science.
The ideal candidate will have experience with functional programming,
refinement types, differential privacy, and/or probabilistic programming.
The position requires good teamwork and communication skills, including
excellent spoken and written English.
Working at IMDEA Software

The IMDEA Software Institute is ranked among the best european institutes
in the areas of Programming Languages and Computer Security. Located in the
Montegancedo Science and Technology Park it perfectly combines the sunny
and vibrant city of Madrid with cutting edge research and inspiring working
environment.
Dates

Deadline for applications is April 30th, 2019. Review of applications will
begin and be filled immediately.
How to apply

Applications should be submitted using the online system
https://careers.software.imdea.org/. Select option *4 - Postdoc Researcher* and
reference code *2019-04-postdoc-relationaltypes*.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190310/9ab92ae5/attachment-0001.html>