[TYPES/announce] Postdoc position at MPI-SWS (Foundations of Programming group)

[Derek Dreyer]

I am pleased to announce the availability of a postdoc position in my
research group (Foundations of Programming) at the Max Planck Institute for
Software Systems (MPI-SWS) in Saarbruecken, Germany.

The group's research is centered mainly around building logical and
semantic foundations for interesting programming languages, with a
particular focus on Iris, Rust, Rocq, OCaml, and related formal semantics
and verification tools (RefinedC, RefinedRust, Verus, DimSum, Quiver, and
more).

We maintain active collaborations with multiple research groups at MPI-SWS,
including those of Deepak Garg, Viktor Vafeiadis, Björn Brandenburg, and
Andrea Lattuada.

*Postdoc position*: I am seeking exceptional postdoc candidates with a
strong, internationally competitive track record of research in programming
languages and/or verification.  Successful candidates would have the
ability to pursue an independent research agenda that fits well with the
topics studied in our research group, as well as the opportunity to
co-supervise students in the group on a number of different research
projects.

Current and former postdocs in the group include: Aïna Linn Georges,
Youngju Song, Emanuele D'Osualdo, Rodolphe Lepigre, Azalea Raad,
Pierre-Marie Pédrot, Ori Lahav, Jacques-Henri Jourdan, Aaron Turon, Neel
Krishnaswami, Chung-Kil Hur, and Andreas Rossberg.

General areas of interest to the group include but are not limited to:

- separation logic / Iris
- Rust design and verification (RefinedRust, Verus)
- substructural/ownership type systems
- OCaml extensions (e.g. modal types, DRFCaml)
- systems verification (RefinedC, Islaris)
- concurrent program verification
- probabilistic program verification
- incorrectness logic / outcome logic
- effect systems
- weak/relaxed memory models
- interactive theorem proving in Rocq
- compiler verification / secure compilation

The working language at MPI-SWS is English.  The position is for 2 years,
with a possible extension.

If you are interested in joining my group and want to learn more about the
position, please contact me directly at dreyer at mpi-sws.org.  To apply for a
postdoc position, please submit a CV, research statement, and list of
references to https://urldefense.com/v3/__https://apply.cis.mpg.de__;!!IBzWLUs!X2k-XfGB6_9G7X5A7JyRydBIYbrnws6Wx-rtk5rkENj5n4IoagnZ8CeYNzmhcD1-p3ZvIchBtirX-fwq7eHeG2FUBwBU0iA$  and let me know that you have done
so.

*Deadline: March 15.*

I am looking forward to receiving your applications!

Best regards,
Derek Dreyer
Scientific Director, MPI-SWS
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250219/24f771a7/attachment.htm>