[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [email protected],
[email protected], [email protected], [email protected]
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
