Postdoc: Logic & Verification for Concurrent Software

IMDEA Software Institute in Madrid offers a postdoc position in logic, software verification, and type theory. Candidates should hold a PhD in Computer Science with relevant expertise and possess strong teamwork and communication skills.

The research will be supervised by Aleks Nanevski. Interested applicants must apply by submitting their application via the dedicated portal, referencing code -postdoc-linearizability.

The deadline for applications is July 4th, 2026.