oaf-phd.md

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

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 michael.kohlhase@fau.de