Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Multiple theorem proving PhD/postdoc positions...

Email Gateway (Sep 28 2023 at 12:50):

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

In the context of my ERC project Nekoka [1], I am looking for several PhD students and postdocs with experience in interactive or automatic theorem proving, notably Isabelle. 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 [2] for details. Please write to me if you have any questions.

Best,
Jasmin

[1] https://nekoka-project.github.io/
[2] https://www.tcs.ifi.lmu.de/nachrichten/jobanzeige.html

Last updated: Jan 04 2025 at 20:18 UTC