tweaks

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. 

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

hiring/oaf-phd.md

 ---
 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
+