IMDEA initiative

Home > Open Positions

Postdoc in Liquid Relational 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.

About 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 July 30th, 2019. Review of applications will begin and be filled immediately.

How to apply

Applications should be submitted online at: https://careers.software.imdea.org/. Select option 4 - Postdoc Researcher and reference code 2019-05-postdoc-relationaltypes.

For any questions about the position contact directly Niki and Gilles ([niki dot vazou | gilles dot barthe] at imdea dot org).