IMDEA initiative

Home > Open Positions

Open positions

Reference Code Title Closing date
2019-02-phd-mathador PhD student in types, verification, and proofs for concurrency March 31st, 2019
2019-02-postdoc-mathador Post-doctoral researcher in types, verification, and proofs for concurrency March 31st, 2019
2019-02-programmer-mathador Programmer in types, verification, and proofs for concurrency March 31st, 2019
2019-02-phd-liquidtypes PhD student in Refinement Types and Theorem Proving March 31st, 2019
2019-02-intern-liquidtypes Intern in Refinement Types and Theorem Proving March 31st, 2019
2019-02-phd-systems PhD Student in accelerating data science with FPGAs April 1st, 2019
2019-02-intern-crypto Research intern in Cryptography April 15th, 2019

Open call

The IMDEA Software Institute has an open call for internships, curricular internships, PhD students, and Post-doctoral researchers. For these types of positions you can apply at any time, regardless if there is an open position advertised above. Your application will be available to our researchers and you may be contacted if there is an upcoming position that fits your profile.

To submit an open call application visit https://careers.software.imdea.org/.