Postdoc position at LMU Munich

Stream: job postings

[Xavier Généreux]

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, 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 Prof. Jasmin Blanchette at jasmin.blanchette@ifi.lmu.de:

1. a one-page research statement
2. a 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 Blanchette.