Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position at MPI-SWS (Foundations of Programming group)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position at MPI-SWS (Foundations of Programming group)


Chronological Thread 
  • From: Derek Dreyer <dreyer AT mpi-sws.org>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Postdoc position at MPI-SWS (Foundations of Programming group)
  • Date: Wed, 19 Feb 2025 20:47:45 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dreyer AT mpi-sws.org; spf=Pass smtp.mailfrom=dreyer+0323d3f888f93cc92cd7dfc0ed2bd2f8f32053f9 AT mpi-sws.org; spf=None smtp.helo=postmaster AT juno.mpi-klsb.mpg.de
  • Ironport-data: A9a23:Zj3Yia/thieVFROFthixDrUDCnqTJUtcMsCJ2f8bNWPcYEJGY0x3y WUeWGCDMqqOMTD1KdkjPdzn8RsOsMOHmtFhTVBq+CBEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcvWo4ow/jb8k435q2j4WtwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEwvhBUEowB6Yj2vd8A19h2 aE2AiAgR0XW7w626OrTpuhEhNklK4/uJIJauXV7x3fcFflgTZ2rr6fivIQJmm5hwJAQW6qGD yYaQWIHgBDobwdCK1oNS8plxryk3XevI21W+Qmervtt6GSMwAJ6iLXhatDZINLaS54PxhvDq DPu+nz4RwoFL5qY0zXtHneE3LeexXymAtNDfFG+3uJEunbIhUcuNCA9BEHkq9abg3+GXusKf iT4/QJ0/fBpqRDDosPGdxa/uTuPugMWc8FBFvUzrgCL0KvdpQiDblXoVRZDddoh8souRHkp0 kSD2dbxCnpjvdV5VE5x6J+VoBzuMi4vBlQidCQGcyQpvvfJsKwa20enoslYLIa5idj8GDfVy j+MrTQji7h7sSLt//nklbwgq2/2zqUlXjIIChPrsnWNwi4RWWJIT46171+d6O5BaYWdVVPHu WAL3cSThAzvMX1vvHHUKAnuNOj3jxpgDNE6qQQ+d3XG3278k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vuUJV7lfO9S4W8Dq+8gj9yjn5ZL1bvEMZGORL44owRuBVEfVwXZ 8rGKpjE4YgyVfgPIMWKqxc1i+9znX1irY8ibZXy31G/1bOYb33QSLEeLFqSc/xx4r6Juk3U9 dhYLc6D1xRcONASkQGKmbP/2WsidCBhbbiv8pw/SwJ2ClM3cI3XI6aAmet5E2Gk9owJ/tr1E oaVAB4Blwem3CadcG1nqBlLMdvSYHq2llpjVQREALpi8yFLjV+HvfdBJagkN6Iq7vJixvNSR vwIMZfISPdWRziNv3xXYZDhpcYwPF6mlCCfDRqDOTIfRp9HQxCW29nGegC0yjICIBDqvuQDo pqh9Djhf7w9eypYAv37Usmfl2GKgSBFmcZZfVf5Hd1ISUC9rKloM3PQi9E0EeEtKDLC5CeR+ AWKCkwUt83I8p4H4fjSpKW+t4zyOfBPLklbOGj67LiNKijR+FS487JASOqleTP8Vnv+3aefO dVu0PD3NcMYkGZws4ZTF6hhyYQ87YDNo4B24xtFHnKRSXiWEZJlf2e72PdQup13xrN2vRW8X mSN8IJ4PZSLIMbUL04DFjE6b+is1eAmpReK1K4beH7F3S5Q+KaLdW5wPBPW0SxUE+ZTAbMfm OwkvJYb1hy7hh8UKe25tyFz9VmXD3k+Qq4i54A7Aojqt1IR8Wt8Q6fgUw343JLeTO93EBgOA iSVj6/8lbhj1hL8U34sJ0Psg8tZp7oz4S5v8nFTBm60iuLkh+A21iJ/6T4YbBpY5TQZ3vNRO lpEDVxUJ6KP9jFWmcJSAnynNAJdDUeJ6H3wlkcCu2bEfWaVV0jmDm40CcCS9m83rkNeeTl6+ umD6WDHCDzFQuD47hEQa2VE9cPxaMNX3RLQveyaBOKHFIkeTRu/p4H2fksOiR/sIf1ptX39v eMwodpBM/zqBxAfs4gQKte8141JbDumOWYbY/Vq3J1RLFHmYDvohAS/cRGgSPhsec7P31SzU fF1B8R1UB+76iaCgxYbCYMIIJ52hPQZ38UDSJy6OV85t6ajkRQxvKLy7iTegEoZc+dqm+s5K aLTcGumOU6Ujn12hWTMjZdlPkyVXNo6XzD/jduFqLgxK5E+se9XYR4T1JmwtC6rKwdJxU+fk z7CQK709NZc77pQsbHiKJgeODXsG+jPDLyJ1CuRr+Vxacj+NJaSlgEN9XjiEQdkHZoQfNVVi b+is8L8h0/XmLNnQlLIuoKgEpNR7p6YR9tnMcPQLVhbkxCdWcTq3QAxxmCgJbFNk/Jf/sOCR TbkWPCvdNUQZchR9EdVZwdaDRwZLab9NYXkmg+QsNWODUI7/THcDdb660LsU35XRhUIN7L6F AXwnfSkvfJcjYZUAS47F+NUOIB5LHDjSJkZWYXI7xfANVaRg3SGprfGvjgj42uSCnC7TeDL0 aicTR36LBmPqKXEye9CiLNLvzoVMW1chNchdUdM6v90jDGHVFQ9F9o/CqlfKJ9okX3V7qraN QH9ND5oTW23WDlfahzz7ejyRgrVVKREJt79ISdv5E+OLTu/AISbGrZ66yN8+DFMdyD+yP28Y 8QrkpEq0sNdHrkyLQrS2hC6vQuj7vHHwHVO/Fj81s/2GBxYBK0FknBsdOaIueorDOmV/Hgn5 0BsLYyHfK1/YUvpEIN7ZGUTHwsW1N8q5yt9dj+Bmb4zpK3CpNCtC5TD1yXb16UCKd8VP/gJX 3yfq65hJYyJ8iR7hJbFcO7FTUO55Txn0yR6wGLeqdUuopyN
  • Ironport-hdrordr: A9a23:qhWp7amYaRGEipRR82HrNVurG/LpDfLT3DAbv31ZSRFFG/Fw9v re5sjzsCWetN9/YgBFpTntAtjkfZqYz+8W3WBzB9eftWvdyRKVxehZhOOJrlHd8m/Fh41gPM xbAtBD4bPLfCNHpPe/zg39PNop3cWd/LrAv5a5856vd25XQpAlwQNwCgPeNFZ3SglADZ98MJ aH/MJIq36BVB0sH6OG77U+MdQrbuerqLv2JRodQwUq4AOSjTWu8tfBYmWl4is=
  • Ironport-phdr: A9a23:BGfs8xMAKe06PfjE2DMl6nbGBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCA9iCsrptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmjaxe69+I Am5oQjQtsQanJZuIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dtiq9QvRCvqAFlw4PMb46VOvhxcKPTc90ZWGRPQNpeWjdbDY+gd YYCFfYNMfpaooT7ulAArQG+BQ6pBO73xDFHmGX20rM50+88Hw/GxhIvHtIQv3TOsd74M7odU fqrw6jI0zrDdehb2TLl6IjJaxwhuv+NXalqfcrW00kvGBrIg1ONooPqIz2bzP4Cs3SH7+V+T +KvjXYqph9yrzWgyMoglIfHiIIIx13G8Sh3z5o5KMC2RUN0btCpEIdduiGaOodoQs0vTG5mt Sg6x7AFp5O2YicHxZUjyhPZdveJfY+I4hf5W+aQJzd1nHdleKqwhxqo7Eev1OvxXdS33lZSt idJj9fBu3QX2xDO7sWLUPhw80a71TuAywzf8v9ILVwwmKbBKJMswqQ8moQOvUnCBCP7l0b7g amLfUg6/uio9v/nYqn4qZ+GKoF0iwD/Pbo2l8CjB+kzLxIAUHKB+eum0b3u5U35T6tOjv0xi qTZso3aJcIcpqKjBg9Vyocj5w+8Dzeiy9QXhmMLLFddeBKIlYTmJk/BLOj5Dfe5nVusjC9my +3IM7DlGJnBM3zOnK3icLt88UJRxxY/wcha551OC7EBJPzzWlX2tNzdFhI2Lha0zPjnCdpjz IMSXn6DD6GHPK7crFCF6OwvLuqPaYIWtjbwL/Yo6OLygnI9h1MSYbSm0JkKZ3C2AvtqP1uWb mfyjtgaDGgGoAQ+Qe/kiFCMTzJfe3a/Uqwy5jw/E4+mCJ/DRoG0jLya0ia7BYdaZmdcClCDC XvocZ6LVO8WaC2OOs9hjiAEVb+5RoM8zR2urhP1y6J7LurI/S0VrY7s1N9s5+HKiR4y8SF0A N+G3mGWT2B0m3sISCUs0KB+p0x90FaD3rJij/xWD9wAr89OBww9LNvXy/FwI9H0QAPIONmTG 3i8RdDzLTwrQ9F578UDcktnU4GulB3S0jCCBqcU0qeUH9oz6K2KjCu5HNp013uTjPpptFIhW MYabQVO54Z6/gnXXcvSllmB0rytfuIa1TLM82GKySyPultZWUh+S/aNRmgRM23Rq9mx/UbeV /m2E71yPhFM2MOYAq5Sa5jykk4AQ+3sa5zFe2zko26rHl6Tw6+UKo/jemETxiLYXUQenhEe5 zXeblJlCnyv8zKOAm01Hlm+OUjgruVwoyu2QhU+w1uEP0M6jeLooRBErfmESrYIwalCvz0u+ H1vBFjo+dXQBpKbohZ5OqVRZdRo+FBcyWfQrBBwJLSiMqZlwFsGckF0u1jkkRBvBcNMnKDGt VsMywx/YeKd2VJFLXaD2Izof6fQIS/09QyubKjf3hff1syX8+EB8qZwrVKrpwyvGkc4lhcvm 9BIz3uR4InLBwsOQNrwVEgw7R1zu7DdZGE0+YrV0XRmNaT8vCXF3polA+4syxDoeNk6UuvMG BX/AsAAL822KakxhEPvaQgLfahT+KMyI8K6Zq6ewqf4dO1knT+gkSFG+NUkiRPKrns6GrCOg 85WppPQlhGKXDr9klq758X+mIQeICoXAnL60y/vQohYeqx1e48PT2aoOcy+gNtk1PuPEzZV8 kCuA1Qe1YqnYx2XOhbxxwBB2F5U+Sf9wifjwWwkwz949aGUjXbFz7vuehFfN2IRTmU4gwfie tLs0osUDWCtdwlsjwS+o0HgyOIIwcY3Z3mWWkpOcyXseituSKahu6CqZtZOrYg3qmNQSuv2M hiKD7X6pRUdySbqGWBTkSs6ez+dsZL8hxVmiWiZIR6ftVLhcNprjVfa7d3YH7tK2yYeATN/g n/RD0S9ON+g+ZOVkY3Cu6awTTDpWppWeCjthYSO0UnzrWFwDAyyhbPrwYe8HVM0gX+r2YgxX i6Z9h3wPYXl3Py3PbhtchNmVFGnsZInQY8vuo4ohdQLxmNcgY+amBhP2Wv+KtRU36viYWFFH GVahYeEpli7nhE7ZnuSj5r0THCc3tdsa5Ghb2Ua1zh8iqICQKaY4bpYnDdk91+xrAbfe/94z X8Wzfoj7mJfgvlc4VF8iHzMROBMWxUAbkmO31yS4tuzrbtafjOqeLm0jg9lmMy5SauFqUdaU Wr4fZErGWlx6N9+ORTCyi6WiMmsdd/OYNYUrhDRnQ3Hir0fJIg8h/cQxnI8Yznx5nN1m7413 Edl1sDgt4TYJ2tmpK+1WBRUbDOlaZhJomy2g/d2m96XmpuwBdNmADpBD/6KBbq4VSkfs/jqL VPEHCcxu3qBWuKER1STs0k2/yLBQsugPCDNL3VGwdtpHBSRfkZT2g5EUm5gxsNiGFGCwdTgN Vxm/XYW/FGy+X4ugqp4chL4VGnYvgKhbDw5HYOeIBRh5QZH/07JMMaa47E7D2RC85amtgDIN n2DalECEzQSQkLdTQOGXPHm9Zza/uOfHOb7M/befeDEt7lFT/nRjZv90oZ89nCJLsTKPX15B bs+wkUFUX0ceYyRkmcNVioQ0SfVbouYoAy2vChvoYaz/bziChrr+JeITb5KMJBs/wu8x6KbO KiciUMbYX5RhJoUwnvMz/4axF9XiCV1fX+oCbtGuSOFRfDSh7dWExMBLSZrNY5L67k2mAxVN ojXh7aXnvZx3OYyEFpEWVvn3MSxZIkJJ3q3clbfCwCHOfyPdzTRztqxZLu9DL5Ul+8SsgW// zqWdi2rdj3RlzTzUh20d+RUjWSYOAdU/oSlfVBhBCC0RdbiIHVXKfdRijs7if0xj3LObysHN CRkNllKpfuW5D9ZhfN2HypA6GBkJK+KgXTR6e6QMZsQvfZxZ0Y83+tH/HQ3zadU5yBYVbR0n iXVtNtnv1ChlKGG1DNmVBNErjsDipiMuA1uPqDQ958IXnihnlpF9WKLFxEDvMdoEPXtpqZXj N3XlefwLCxItdfM8o0QComcKc6KNmYgLQu8GDPQC1hgL3bjPmXeikpB1fCKoyTO/95j+968x txSEuw+NhR9DP4RB0V7EcZXJZ52WmlhiruHlIsS4nH4qhDNRcJct5SBV/SIAPypJizK6NsML xYO3778Kpwec4Ph3Ek3IFVgkZXHAQmIBooWrnZvPl9krhQW+3MvFGY/hE7rYVug7CUZGaS6z hBt0FMjOup83DL04hIsOUGMozE/2hpU+52tkXWKfTj9Ib3lF5lREDbxvlMtP4nTQRtzaku3h U0hNzPfTfRUl7QmeW0h22q+8dNfXPVbS6NDehoZw/qaMu4p3VproSKi3UZb5OHBBPOKcSMva Z/ptG1bnQV5Y4xtTUQ/DK9Rzx1LmbnIuTWnhLlZKO42JVsL9yWXYC9Nu0gTPP8jPyXu8uE+s WS/
  • Ironport-sdr: 67b63577_OHj8Tl7UPZW99shR4OFwEtBP8GIv7C6yCwEJ7cRCyS9/GKS 1tmdbXLn37/HEUJ2e7qhWwE11zP0Oh8hSUnJcWg==

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://apply.cis.mpg.de 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



  • [Coq-Club] Postdoc position at MPI-SWS (Foundations of Programming group), Derek Dreyer, 02/19/2025

Archive powered by MHonArc 2.6.19+.

Top of Page