OAF Ph.D. Student (formalization of theorem prover logics/libraries)
requirements: M.Sc (or equivalent), interest in logics/theorem proving
posted: 2017-06-21 (open)

We are looking for a Ph.D. student in the OAF Project. Similar projects are in the pipeline; funding for the whole Ph.D. project is ensured.

Candidates interested in the positions should introduce themselves and inquire for further information by sending email with the usual documents to