From 742206e891392cc8ded0c9a4eefc4ef831ec7bf7 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Fri, 25 Aug 2017 11:33:30 +0200 Subject: [PATCH] link --- _posts/2017-05-01-recruiting.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-05-01-recruiting.md b/_posts/2017-05-01-recruiting.md index dccceb9..29bc248 100644 --- a/_posts/2017-05-01-recruiting.md +++ b/_posts/2017-05-01-recruiting.md @@ -7,7 +7,7 @@ tags: --- The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for student developers, Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, -OpenDreamKit (others are in the pipeline). Details and an up-to-date listing can be found at [the KWARC hiring page](/hiring/index/). +OpenDreamKit (others are in the pipeline). Details and an up-to-date listing can be found at [the KWARC hiring page](/hiring/). The KWARC group in research and development in foundations of mathematics, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), flexiformalization, semantics extraction from STEM documents, and knowledge management on this basis. -- GitLab