Applications are invited to apply for a post-doctoral researcher position at the IMDEA Software Institute, Madrid, Spain under the supervision of Dr. Antonio Fernández. The applicant will work on the extension and development of AMECOS, a modular framework for specifying distributed systems.
Candidates should have completed a PhD in Computer Science or a related discipline. Candidates should have a strong research publication record in relevant areas. Good command of English both spoken and written is required.
The positions are based in Madrid, Spain where the IMDEA Software Institute is situated. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. The working language at the institute is English. Knowledge of Spanish is not required.
The tentative starting period is May 1, 2025, with flexibility.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2025-03-postdoc-amecos. Deadline for applications is March 25th, 2025. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact Antonio Fernández directly ().