Postdoc in logical foundations for concurrent software

Description

Summary: Seeking a Postdoc Researcher in logic, software verification, and type theory to conduct research under the supervision of Aleks Nanevski. Highlights: 1. Research in logic, software verification, and type theory 2. Opportunity to work under Aleks Nanevski's supervision 3. Requires expertise in computer science with strong communication skills Applications are invited for a postdoc position in the areas of logic, software verification, and type theory at IMDEA Software Institute in Madrid, Spain, starting immediately. ### **Who should apply?** The candidate must have a PhD degree in Computer Science, preferably with expertise in one of the above areas. Good teamwork and communication skills, including excellent spoken and written English are essential. The research will be conducted under the supervision of Aleks Nanevski. Interested applicants are encouraged to contact him personally. ### **How to apply?** Applicants interested in the position should submit their application at https://careers.software.imdea.org/ Please select the **Postdoc Researcher** option and reference code **2026\-06\-postdoc\-linearizability**. Deadline for applications is **July 4th, 2026**. The recruitment process will comply with the IMDEA Software Institute’s OTM\-R Policy (Open, Transparent and Merit\-based Recruitment).