Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position using Isabelle in Saarbrücken

view this post on Zulip Email Gateway (May 20 2021 at 16:26):

From: Jasmin Blanchette via Cl-isabelle-users <>
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 for more information.



Last updated: Dec 08 2021 at 09:20 UTC