Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc position at LMU Munich

view this post on Zulip Email Gateway (Feb 25 2025 at 16:55):

From: Jasmin Blanchette <jasmin.blanchette@ifi.lmu.de>
Dear all,

The Chair of Theoretical Computer Science and Theorem Proving at Ludwig-Maximilians-Universität (LMU) München has an open postdoc position related to the use or development of automatic or interactive theorem provers. The chair includes specialists in theorem proving (including Isabelle), formalized mathematics, type theory, programming languages, and other areas of theoretical computer science.

We seek strong candidates with expertise in theorem proving and who are willing to pursue their own research agenda aligned with the chair's research. The position is available for three years and is open now. The start date can be negotiated. To apply, please send the following to me:

  1. a one-page research statement
  2. a brief curriculum vitae
  3. a piece of writing you authored (mainly) alone
  4. a piece of code or formalization you authored (mainly) alone
  5. the names and email addresses of two references

For further details, please contact me.

Best,
Jasmin

--
Prof. Dr. Jasmin Blanchette
Chair of Theoretical Computer Science and Theorem Proving
Ludwig-Maximilians-Universität München
Oettingenstr. 67, 80538 München, Germany
Tel.: +49 (0)89 2180 9341
Web: https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html

smime.p7s

Last updated: Mar 09 2025 at 12:28 UTC