Join Us

We are actively looking for motivated researchers at all levels to join the lab.

PhD Students

We recruit PhD students through the EPFL Doctoral Program (EDIC). Students must be admitted to EDIC first, and then join the lab after a rotation period. Students should have one or more of the following: strong mathematical foundations, expertise in formal methods, or experience building networked systems.

Postdoctoral Researchers

We may have openings for postdoctoral researchers. If you are finishing a PhD in programming languages, formal methods, or networked systems, please send email and we can discuss potential opportunities.

Master's and Semester Students

We will offer master's and semester projects starting in Fall 2026.