From owner-freebsd-embedded@freebsd.org Tue Jun 9 15:50:36 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 0D72D330E69 for ; Tue, 9 Jun 2020 15:50:36 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw1.intern.tuwien.ac.at (secgw1.intern.tuwien.ac.at [IPv6:2001:629:1005:30::71]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 49hF2L75cdz3dLq for ; Tue, 9 Jun 2020 15:50:34 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059FoV39019343 for ; Tue, 9 Jun 2020 17:50:31 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 240 for ; Tue, 9 Jun 2020 17:50:31 +0200 (CEST) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059FoVTF019330 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 9 Jun 2020 17:50:31 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13a.intern.tuwien.ac.at (2001:629:1005:30::66) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 17:50:30 +0200 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 17:50:30 +0200 From: Mihaela Rozman To: References: In-Reply-To: Subject: PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020 Date: Tue, 9 Jun 2020 17:50:22 +0200 Message-ID: <164101d63e75$af3489c0$0d9d9d40$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQI5OttI/XLotBiOkHJSwHcJtBneoagKdaDA X-ClientProxiedBy: mbx13c.intern.tuwien.ac.at (2001:629:1005:30::63) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Rspamd-Queue-Id: 49hF2L75cdz3dLq X-Spamd-Bar: - Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::71) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [-1.04 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.34)[-0.343]; RCVD_COUNT_FIVE(0.00)[6]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; NEURAL_HAM_LONG(-0.54)[-0.541]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_HAM_SHORT(-0.16)[-0.157]; RCVD_IN_DNSWL_NONE(0.00)[2001:629:1005:30::71:from]; R_SPF_NA(0.00)[no SPF record]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; R_DKIM_NA(0.00)[]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT]; MIME_TRACE(0.00)[0:+,1:+,2:~]; MID_RHS_MATCH_FROM(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 09 Jun 2020 15:50:36 -0000 A PostDoc position is available at the Database and Artificial = Intelligence Group at TU Wien (Vienna University of Technology), = Austria.=20 =20 We invite highly motivated applicants interested both in the theory and = practice of - Description Logics - Answer Set Programming=20 - Knowledge Representation and Reasoning=20 - Reasoning about Actions and Change - Database Theory =20 In particular, we are seeking to strengthen our research teams in two = foundational research projects =E2=80=9COntology-mediated Queries for = Graph Databases=E2=80=9D[1] and =E2=80=9CKtoAPP: Compiling Knowledge = into Applications=E2=80=9D[2] funded by the Austrian Science Fund (FWF). = =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D YOUR PROFILE =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 - A PhD degree in Computer Science, Mathematics, or other closely = related field - Excellent academic record - High motivation to succeed in academia=20 - Very good English writing skills =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D WE OFFER =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 - Employment at TU Wien from 2 years to 3.5 years, depending on research = tasks - Gross salary of approx. 54.453 EUR per year (approx. 35.463 EUR per = year after taxes in basic circumstances) - A department that offers top research expertise, and a stimulating and = supportive environment - TU Wien is a great place for professional growth (e.g., the Austrian = Science Fund offers multiple funding opportunities for young researchers = to advance their independent scientific careers). - Vienna is a beautiful city that offers excellent quality of life [4] =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D APPLICATION PROCESS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Application Deadline: July 15, 2020 =20 Please send your application to Dr. Mantas =C5=A0imkus = (simkus@dbai.tuwien.ac.at )=20 =20 Application Documents: - Curriculum Vitae - PhD thesis and/or the list of publications - At least 2 names of referees =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D LINKS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 [1] = http://www.simkus.info/projects/fwf-project-p30360/ [2] = http://www.simkus.info/projects/fwf-project-p30873/ [3] https://logic-cs.at [4] = = https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings =20