* [Caml-list] PhD position on the formalization of logical calculi in Saarbrücken
@ 2021-05-26 13:13 Andrei Popescu
0 siblings, 0 replies; only message in thread
From: Andrei Popescu @ 2021-05-26 13:13 UTC (permalink / raw)
To: caml-list, categories, coq-club, dl
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-05-26 13:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-26 13:13 [Caml-list] PhD position on the formalization of logical calculi in Saarbrücken Andrei Popescu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox