Ecole Polytechnique Federale de Lausanne
Posted: 24 September 2026 - Lausanne, Switzerland
The EPFL Networked Systems Abstractions Lab (LASeR) is looking for a postdoctoral researcher to contribute to research on programming languages and formal methods for networked systems. The successful candidate will engage in designing and verifying network programming languages and collaborate with academic and industrial partners. Applicants should have a PhD in computer science or a related field, strong analytical skills, and a solid publication record. The position offers a stimulating international environment and opportunities for state-of-the-art research.