diff --git a/hiring/drupal-dev.md b/hiring/drupal-dev.md
index 3c1d790e5e13c206b344eabb4bb30e7fb9f2d829..8d61720ef87ec85f8066d5e804d7d78683618b08 100644
--- a/hiring/drupal-dev.md
+++ b/hiring/drupal-dev.md
@@ -2,7 +2,6 @@
 layout: jobad
 title: Drupal Developer (student)
 posted: 2017-08-21
-status: open
 requirements: experience or interest in Drupal
 ---
 We are looking for a Drupal developer (PHP, CSS) to help with front-end development of the [MathHub.info](http://mathhub.info) system. 
diff --git a/hiring/index.md b/hiring/index.md
index eddd6124b69473a6925e17b1447dbe7ee98222ff..5de094a7695b81824901e4cf3d104f75b6bd30e1 100644
--- a/hiring/index.md
+++ b/hiring/index.md
@@ -15,3 +15,5 @@ The KWARC group is constantly looking for good developers and Ph.D. students.
         {% endif %}
     {% endfor %}
 </ul>
+
+Candidates interested in the positions above should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
diff --git a/hiring/oaf-phd.md b/hiring/oaf-phd.md
index 8736007258f291908fabd1c4418c8267b1a37d77..4bf802a1aa4a9b525192646cbc901afcf43734cd 100644
--- a/hiring/oaf-phd.md
+++ b/hiring/oaf-phd.md
@@ -1,8 +1,12 @@
 ---
 layout: jobad
-title: OAF Ph.D. Student (formalization)
+title: OAF Ph.D. Student (formalization of theorem prover logics/libraries)
 posted: 2017-06-21
 status: open
-requirements: M.Sc (or equivalent)
+requirements: M.Sc (or equivalent), interest in logics/theorem proving
 ---
-We are looking for a Ph.D. student in the [OAF Project](/projects/oaf/). 
+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
+