Skip to content
Snippets Groups Projects
Normal view Permalink
oaf-phd.md 535 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    adding a hiring page
    Michael Kohlhase committed
    1 2 
    ---
layout: jobad
    Michael Kohlhase's avatar
    tweaks  
    Michael Kohlhase committed
    3 
    title: OAF Ph.D. Student (formalization of theorem prover logics/libraries)
    Michael Kohlhase's avatar
    adding a hiring page
    Michael Kohlhase committed
    4 5 
    posted: 2017-06-21
status: open
    Michael Kohlhase's avatar
    tweaks  
    Michael Kohlhase committed
    6 
    requirements: M.Sc (or equivalent), interest in logics/theorem proving
    Michael Kohlhase's avatar
    adding a hiring page
    Michael Kohlhase committed
    7 
    ---
    Michael Kohlhase's avatar
    tweaks  
    Michael Kohlhase committed
    8 9 10 11 12 
    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