From 70f3af81af4ff0cb097ee23d263758e92878c00a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 22 Mar 2018 10:36:44 +0100
Subject: [PATCH] tweaks
---
hiring/drupal-dev.md | 1 -
hiring/index.md | 2 ++
hiring/oaf-phd.md | 10 +++++++---
3 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/hiring/drupal-dev.md b/hiring/drupal-dev.md
index 3c1d790..8d61720 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 eddd612..5de094a 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 8736007..4bf802a 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
+
--
GitLab