Multiple theorem proving PhD/postdoc jobs at LMU München

Stream: job postings

[Jasmin Blanchette]

In the context of my ERC project Nekoka, I am looking for several PhD students and postdocs with experience in interactive or automatic theorem proving, notably Lean. The project has specific goals, but I can also accommodate staff who have their own research agenda compatible with the spirit of the project.

See the job ad for details. Please write to me if you have questions, or reply to this post.