Email Gateway (Sep 28 2023 at 12:50): 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: Apr 28 2024 at 20:16 UTC