From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 34A45823D7 for ; Thu, 22 Mar 2018 19:45:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.kohlhase@fau.de; spf=Pass smtp.mailfrom=michael.kohlhase@fau.de; spf=Pass smtp.helo=postmaster@mx-rz-2.rrze.uni-erlangen.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.kohlhase@fau.de) identity=pra; client-ip=131.188.11.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.kohlhase@fau.de"; x-sender="michael.kohlhase@fau.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.kohlhase@fau.de designates 131.188.11.21 as permitted sender) identity=mailfrom; client-ip=131.188.11.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.kohlhase@fau.de"; x-sender="michael.kohlhase@fau.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx-rz-2.rrze.uni-erlangen.de designates 131.188.11.21 as permitted sender) identity=helo; client-ip=131.188.11.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.kohlhase@fau.de"; x-sender="postmaster@mx-rz-2.rrze.uni-erlangen.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AU/f4gRXj7VO5WMANyrocFWl2Uh7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBWAt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlMJ+kaVbrhGvqRNxzIHbfI6bOeFifq7eZ94WWXZNU8hTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetAqIf9pkcBrRukCgayAOPk1zpGhnj23a0+0+QuCxrG0xI9FN8JtX?= =?us-ascii?q?TUrcn6NKcIXu+ryKnE1zbDb/RW2Tf56IjHaAshru+XULJ+a8XR1FMjGB7bgViJ?= =?us-ascii?q?r4HuIj2b1uMIs2eB7upgU/qii20pqg5ruDig2t0giojPhoIbzVDI7St5z5woJd?= =?us-ascii?q?GiVUF0f9ipG4ZTuSGCL4Z6X80vT3xytConybALuoS3cDUXxJg92RLTduSLfoqM?= =?us-ascii?q?7x75SuqcISt0iGh4dL+xgxu+61Wsx+/gWsSyzV1EtDBKksPWuXAIzxHT6taISv?= =?us-ascii?q?96/kq53DaO2Bnf6vtFIEwti6bXMYQhwqQxl5UNq0jDAyn2mETvgKCIbEUk/vKn?= =?us-ascii?q?6+LoYrr4oJ+QLZJ7hR/mPqQvnMywH/g4PxATU2WV5OiwzqDv8E76TblQk/E6j7?= =?us-ascii?q?PVvI7HKcgDo662GQ5V0oIt6xalCDem1cwVnXwGLF1ZeBKIlZbmO1XULPD7Cve/?= =?us-ascii?q?g1CskDdxyPDdILLsGZvNIWLekLv7YLly9VZQyBAvwtBH+5JUFrYBLervVUDrsd?= =?us-ascii?q?zYCgY1Mwi1w+b8FNVwzZgeWGKKAq+BKqzeq16I5uQ1I+mNfoAZojj9K+J2r8Lp?= =?us-ascii?q?2HQwnFtYeaiywbMWbmq5F7JoORa3e33p1/IAGmcDsw52b+vqjF2LSjMbM3OzVK?= =?us-ascii?q?I16zV9C4WmCYfKXY2FjrWcmiu2SM4FLltaA0yBRC+7P76PXO0BPXrLc51R1wcc?= =?us-ascii?q?XL3kcLcPkBSntQv00b1ifrja8zBeuZ+xjYEptd2Wrgk78HlPN+rYy3uEHzN6l3?= =?us-ascii?q?5OSzJkhPki83w48U+K1O1Du9IdFdFX4KgRAAIqcITOirY8EcrgV0TceNbMRUyi?= =?us-ascii?q?S9OpDDd3Qt9jmtI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ChAQDr+LNahxULvINdgxyBM3AhB4Nci?= =?us-ascii?q?F6MLoFKgTqLGIddgXILH4hLGgYBBDMVAQIBAQEBAQEBAQESAQEBCgsJCCgvgjg?= =?us-ascii?q?ignUPAQ0BATg0AiYCbAYCAQGFCgEDBKl6bYIggnABAQWBYYNnggYIgQiEJ4Egc?= =?us-ascii?q?YFUQIEugUNxgziBOAESAWuCNYJUhziQSQhza4QAiQ6BfYV4hROISFY8RIMpgkW?= =?us-ascii?q?BJTKBA3FNJIMRCYImjiFujiSCNgEB?= X-IPAS-Result: =?us-ascii?q?A0ChAQDr+LNahxULvINdgxyBM3AhB4NciF6MLoFKgTqLGId?= =?us-ascii?q?dgXILH4hLGgYBBDMVAQIBAQEBAQEBAQESAQEBCgsJCCgvgjgignUPAQ0BATg0A?= =?us-ascii?q?iYCbAYCAQGFCgEDBKl6bYIggnABAQWBYYNnggYIgQiEJ4EgcYFUQIEugUNxgzi?= =?us-ascii?q?BOAESAWuCNYJUhziQSQhza4QAiQ6BfYV4hROISFY8RIMpgkWBJTKBA3FNJIMRC?= =?us-ascii?q?YImjiFujiSCNgEB?= X-IronPort-AV: E=Sophos;i="5.48,345,1517871600"; d="scan'208";a="259476858" Received: from mx-rz-2.rrze.uni-erlangen.de ([131.188.11.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Mar 2018 19:45:12 +0100 Received: from mx-exchlnx-2.rrze.uni-erlangen.de (mx-exchlnx-2.rrze.uni-erlangen.de [IPv6:2001:638:a000:1025::38]) by mx-rz-2.rrze.uni-erlangen.de (Postfix) with ESMTP id 406bFg4bjkzPlT4 for ; Thu, 22 Mar 2018 19:45:11 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fau.de; s=fau-2013; t=1521744311; bh=kEmvO1DI7BfVHh6C0Lb0QA9sEaIkeexTfpuCx8CHqWU=; h=From:To:Subject:Date:From:To:CC:Subject; b=XwFwSSojDCN0jnNNFFwpnJl7SgaF/DXh123QuMNkKfQtb6Nr2SIjXc1Qu94DO8uNw fEyQfFWnUD140IhTxen4PPZuJT8CMcLGuVdBXCb4H1LSAyD+0Z9VQ8x3UObIxlDDuI H0qiKyevR6dmllR+eRMwJSw4tn+EQ1VeNpCtdvidl6MezxKv3u6UfU/tTkSY4DVZeo yiIkSPpPBUECwwlk4I0XLBmZPUhIIog456quWpdwmf+4U6Cam5hbCeEHKHTJY9Ms+C qSb+frA6+HKgLuHtuCOTWSwHMOgCiR8/Xz1gaQkDoSsVo5rhkSulrdQ99EKhRD/a1x r39gaCfMpfv+w== X-Virus-Scanned: amavisd-new at boeck2.rrze.uni-erlangen.de (RRZE) X-RRZE-Flag: Not-Spam Received: from lnx2.exch.uni-erlangen.de (lnx2.exch.uni-erlangen.de [10.15.8.19]) by mx-exchlnx-2.rrze.uni-erlangen.de (Postfix) with ESMTP id 406bFd0nQpzPlPn for ; Thu, 22 Mar 2018 19:45:09 +0100 (CET) X-RRZE-Submit-IP: 79.250.139.170 Received: from Michaels-MacBook-Pro-2.local (p4FFA8BAA.dip0.t-ipconnect.de [79.250.139.170]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: U2FsdGVkX1/t5QqutXS90S54zEugpY5QvdPbVs3Zt/c=) by lnx2.exch.uni-erlangen.de (Postfix) with ESMTPSA id 09EFBFB9D for ; Thu, 22 Mar 2018 19:45:09 +0100 (CET) From: Michael Kohlhase To: caml-list@inria.fr Organization: =?UTF-8?Q?Informatik=2c_FAU_Erlangen-N=c3=bcrnberg?= Message-ID: <2f257990-b0eb-83cb-c0c1-cf8502da42c2@fau.de> Date: Thu, 22 Mar 2018 19:44:42 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Validation-by: michael.kohlhase@fau.de Subject: [Caml-list] =?UTF-8?Q?Multiple_Positions_at_FAU_Erlangen/N=C3=BCr?= =?UTF-8?Q?nberg?= The KWARC group [1] at FAU Erlangen-Nürnberg [2] is looking for Ph.D. candidates and PostDocs in multiple projects. Details and an up-to-date listing can be found at [3]. We are always interested in candiates with strong backgrounds and interests in Logic, Language, and Mathematics. Currently we are seeking applications for the following projects: * ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020)   Doctoral Students and PostDocs with a love for logic, language, and argumentation. * OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics (EU 2016-2019)   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, metalogical frameworks, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), 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 . [1] http://kwarc.info [2] http://cs.fau.de [3] http://kwarc.info/hiring -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de ----------------------------------------------------------------------