IMDEA Software

Iniciativa IMDEA

Inicio > Ofertas de empleo > PhD in Theory and Practise of Refinement Types
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

PhD in Theory and Practice of Refinement Types

Applications are invited for a PhD position at the IMDEA Software Institute, Madrid, Spain. The selected candidate will work under the supervision of Niki Vazou on the theory and practice of refinement types.

Who should apply?

Candidates should have an excellent MSc or BSc degree in computer science, mathematics, or a related discipline, with an interest in functional programming, formal verification, theorem proving, and type theory.

A strong commitment to research as well as top programming skills are required. Good teamwork and communication skills, including excellent spoken and written English are also required.

Working at IMDEA Software

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.

Dates

Deadline for applications is March 15th, 2021. Review of applications will begin immediately.

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/. PhD candidates should select option PhD Student and reference code 2021-02-phd-refinements.

For any questions about these positions, please contact Niki directly ().