PhD position on the formalization of logical calculi in Saarbrücken

9 views
Skip to first unread message

Andrei Popescu

unread,
May 26, 2021, 9:11:02 AM5/26/21
to ac...@utlists.utexas.edu, ag...@lists.chalmers.se, app...@lists.tcs.ifi.lmu.de, ats-lan...@googlegroups.com
A PhD position is open at the MPI for Informatics in Saarbrücken,
supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie
Tourret. The project is about using Isabelle/HOL to formalize logical
calculi.

See https://www.cs.vu.nl/~jbe248/sb_job.html for more information.
Reply all
Reply to author
Forward
0 new messages