Jasmin Blanchette (Sep 28 2023 at 12:29): Jasmin Blanchette (Sep 28 2023 at 12:29):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 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 for details. Please write to me if you have questions, or reply to this post.
Last updated: Dec 22 2024 at 12:33 UTC