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

Andrei Popescu <[email protected]>
Newsgroups gmane.comp.lang.idris.general,gmane.comp.lang.haskell.general,gmane.comp.mathematics.hol
Message-ID <CAACfPHqM1b6iNj0NVmoiUgZTpXynNLi7a8dXtyRckG3xUQyzcA@mail.gmail.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.

-- 
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
To view this discussion on the web visit https://groups.google.com/d/msgid/idris-lang/CAACfPHqM1b6iNj0NVmoiUgZTpXynNLi7a8dXtyRckG3xUQyzcA%40mail.gmail.com.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.