---
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](/projects/oaf/). 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