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 and Niki Vazou in the theory and applications of relational liquid types.
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.
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.
Deadline for applications is April 30th, 2019. Review of applications will begin and be filled immediately.
Applications should be submitted using the online system https://careers.software.imdea.org/. Select option Postdoc Researcher and reference code 2019-04-postdoc-relationaltypes.
For any questions about the position contact directly Niki () and Gilles ().
