From aa179d6017b09490c47cab971c70d6f062d684b8 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Thu, 22 Mar 2018 09:37:16 +0100 Subject: [PATCH] recruiting again --- _posts/2018-03-22-recruiting.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 _posts/2018-03-22-recruiting.md diff --git a/_posts/2018-03-22-recruiting.md b/_posts/2018-03-22-recruiting.md new file mode 100644 index 0000000..c674b27 --- /dev/null +++ b/_posts/2018-03-22-recruiting.md @@ -0,0 +1,21 @@ +--- +layout: post +author: mkohlhase +title: KWARC is recruiting (multiple Projects) +tags: + - Recruiting +--- +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. Details and an up-to-date listing can be found +at [the KWARC hiring page](/hiring/). + +Currently we are seeking applications for the following projects: +* [ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020)](/projects/almanac/) + Doctoral Students and PostDocs with a love for logic, language, and argumentation. +* [OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics](/projects/odk) + Doctoral Students and PostDocs with an interest in mathematics, computation, and system + integration. + +The KWARC group engages 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. + +Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to [michael.kohlhase@fau.de](mailto: michael.kohlhase@fau.de) -- GitLab