[TYPES/announce] postdoc ad

[Nate Foster]

Dear TYPES community,

We wish to recruit an outstanding postdoctoral researcher in programming languages and semantics, with a focus on NetKAT and related formalisms for reasoning about networks and systems.

The position is jointly sponsored by:
* Nate Foster (EPFL)
* Jules Jacobs (ETH Zürich)
* Dexter Kozen (Cornell University)
* Alexandra Silva (Cornell University)

The successful candidate will work on foundational and applied aspects of NetKAT and related languages, including but not limited to semantics, logics, compilation, and connections to automata theory, category theory, and formal methods more broadly. The exact research direction is flexible and will be shaped jointly with the postdoc, based on their interests and expertise.

The position offers a high degree of intellectual freedom and a unique opportunity to collaborate closely with researchers across EPFL, ETH Zürich, and Cornell University. The postdoc may spend extended time at one or more of these institutions, and we are happy to accommodate flexible arrangements to support sustained collaboration.

Candidates should have (or be close to completing) a PhD in Computer Science or a closely related field, with a strong background in programming languages, semantics, logic, verification, or formal methods. Experience with NetKAT or network verification is welcome but not required.

The position is expected to start in spring or fall of 2026, with some flexibility. The initial appointment will typically be for one year, with the possibility of renewal, subject to performance and funding.

To apply, please send a CV, a brief statement of research interests, and the names of at least two references to: nate.foster at epfl.ch, jules.jacobs at inf.ethz.ch, kozen at cs.cornell.edu, alexandra.silva at cs.cornell.edu

Review of applications will begin immediately and continue until the position is filled.

Please feel free to forward this notice to any interested candidates.

Best regards,
Nate Foster, Jules Jacobs, Alexandra Silva, and Dexter Kozen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260112/0e00b1f0/attachment-0001.htm>