Email Gateway (May 20 2021 at 16:26): Email Gateway (May 20 2021 at 16:26):From: Jasmin Blanchette via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle users,
A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach, Sophie Tourret, and myself. The project is about using Isabelle/HOL to formalize logical calculi. Today, much of the research done in automated reasoning is carried out with pen and paper, but we believe proof assistants can help researchers write better proofs and ultimately design better automatic theorem provers.
See https://www.cs.vu.nl/~jbe248/sb_job.html for more information.
Regards,
Jasmin
Last updated: Jan 04 2025 at 20:18 UTC