From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 75C575D4 for ; Tue, 9 Jun 2020 15:57:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,492,1583190000"; d="scan'208,217";a="453842177" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jun 2020 17:57:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4CADCE1F21; Tue, 9 Jun 2020 17:57:55 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7156EE1F1F for ; Tue, 9 Jun 2020 17:57:49 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw1.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3AK5UgQBdCIMS5vcAuARwWMy5WlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW8Yx7h7PlgxGXEQZ/co6odzbaP7ua5BDBLvszJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRW7oR/MusQWjoZuJaQ8xgXUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU09nzchM5tg6JBuB+vpwJxw4DWb4+IOvRwfazScs8dS2pdRcteTTBNAoyk?= =?us-ascii?q?YocRE+YMP+BVpJT9qVsUqhu+ABGhCuTuyj9InHD5w6k63P48Gg/a2wwhHtcOv2?= =?us-ascii?q?7SrN7oM6oSVOG1zKnSwjrda/NZwy3x6JLPchEgpPGDR7RwfNHNyUkyGQLFj0uf?= =?us-ascii?q?qYr/MzyPyusBqXKU7/Z5WO+plmUopB1/rCK1yccwlonGmJgVylbc+Ch6wYs4JN?= =?us-ascii?q?21RUxlbNOgFJZetz2XOotoTs4gQ29luyg3xLIItJC0fyUHxooqyR7dZvGbcoWG?= =?us-ascii?q?4g7vWPifLDtlmH5ofq+0iRi18Uil0OL8V8+03U5RripEl9nMtW0N1wfJ5siGTP?= =?us-ascii?q?t98ECh1S6L1wDU5eFEIFw7mbPHJJ462LI/jIYTvVzGHiDogkX5kLGZdl8+9ue0?= =?us-ascii?q?7OTnZ7PrrYKfOY9skgzyL7oil8+lDeglPAUCQ3KX9Oqg2LH5/0D1Xa1GguAonq?= =?us-ascii?q?TaqpzWOMoWqrOjDwNIz4ov9gyzAym63Nkcm3QMMUhLdwidj4fzPlHDOPD4Aum7?= =?us-ascii?q?g1SriDpr3O7JMaHuApTDM3TPirbhfbBh60FC0gozy8pT545JCrAPIfL8REnxuM?= =?us-ascii?q?bCARAlKQC72frnBM181oMYR22PHreUPL7MvVKL/O4jPueBaJMPtDvzN/Qp/fzj?= =?us-ascii?q?gWIhlV8YZ6ap3J8XaH6iHvRhJkWUeX/sgtYBEWgQoAU+SPblhEeYUT5UZneyWr?= =?us-ascii?q?gz5jcgBYK6EIfCSIGtj6KH3CuhBJJZenpKBUqQEXvwbYWLR+8MaD6OIs9mijEL?= =?us-ascii?q?SaKuS4ol1R23sA/6yqFnLvbP9y0DtZPj0cB16PfJmREz8zx0FcWd3HuXQ2F6hG?= =?us-ascii?q?NbDwMxifR0qEl5j1OCyrRQgvpCFNUV6ekfASkgMpuJ6u16At32U0r7ecWMQVDu?= =?us-ascii?q?FtCnATg8Stt32dgcZk97M8m/kRHO2WyjCPkci+rYV9QP7qvA0i2pdI5GwHHc2f?= =?us-ascii?q?x51gh0co50LWSjw5VH2U3WDo/NnV+ekv/2J7gBwy/A8iGKxiyHoBMACVIiYeD+?= =?us-ascii?q?RXkaI3Dug5Hh/EqbE+2yFKsmPw0HwMXEI7cYMoS032UDf+/qPZHlW0z0m2q0Ak?= =?us-ascii?q?zYlKiBZ4X1IiMc2jnQEk5Cjx0M/HuAcwE1QC698TrT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AgBABusN9eh0cegoBmHgEBCxIMggyBI?= =?us-ascii?q?S+BSFcwLIQkiQGXS4w4AgkBAwEKAQEjCgIEAQGERAKCFQIcBgY1BQ0CEAEBBQE?= =?us-ascii?q?BAQIBAwMEARMBAQEKCwkIKYViDII7IoMcCAIZCj4bBUQEAwIbIwoRAgQTCwUJg?= =?us-ascii?q?w0BgX5+AQ6xGIEyiQ4hFoFAIoEWjGKBTD+BR4IsbIEEhACCXoI+IgSPI4JsiB+?= =?us-ascii?q?ZRCgHgVeBBYEGBAqHJZBUIIJtiROSUoxojiuUFgIEAgkCFAGBa2SBEzMac4JpC?= =?us-ascii?q?TYRGQ1WkAICHoFxgUmCWYd/QTE3AgYBBwEBAwl8EwsBjnYBAQ?= X-IPAS-Result: =?us-ascii?q?A0AgBABusN9eh0cegoBmHgEBCxIMggyBIS+BSFcwLIQkiQG?= =?us-ascii?q?XS4w4AgkBAwEKAQEjCgIEAQGERAKCFQIcBgY1BQ0CEAEBBQEBAQIBAwMEARMBA?= =?us-ascii?q?QEKCwkIKYViDII7IoMcCAIZCj4bBUQEAwIbIwoRAgQTCwUJgw0BgX5+AQ6xGIE?= =?us-ascii?q?yiQ4hFoFAIoEWjGKBTD+BR4IsbIEEhACCXoI+IgSPI4JsiB+ZRCgHgVeBBYEGB?= =?us-ascii?q?AqHJZBUIIJtiROSUoxojiuUFgIEAgkCFAGBa2SBEzMac4JpCTYRGQ1WkAICHoF?= =?us-ascii?q?xgUmCWYd/QTE3AgYBBwEBAwl8EwsBjnYBAQ?= X-IronPort-AV: E=Sophos;i="5.73,492,1583190000"; d="scan'208,217";a="453842139" X-MGA-submission: =?us-ascii?q?MDErGZAlTE7zri48AgX3qznfjA3Z3HhNxtmKsk?= =?us-ascii?q?Huuoy/z+TuurYy8xPvSqQ/jEi9nw/2SyZyliFL4rFrPnwk39FkcDHRj1?= =?us-ascii?q?uG73A/re1TmxP9zQYP039ZNQlLCtf3hZWCgMqBXxhYI1TIjqBPgxarFi?= =?us-ascii?q?z2FdeStMOs9oa5JgrMkx3+Vw=3D=3D?= Received: from secgw1.intern.tuwien.ac.at ([128.130.30.71]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Jun 2020 17:57:48 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059FvmfE024390 for ; Tue, 9 Jun 2020 17:57:48 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 305 for ; Tue, 9 Jun 2020 17:57:47 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059FvlwL024377 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 9 Jun 2020 17:57:47 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 9 Jun 2020 17:57:47 +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:57:47 +0200 From: Mihaela Rozman To: References: In-Reply-To: Date: Tue, 9 Jun 2020 17:57:38 +0200 Message-ID: <184901d63e76$b35a9750$1a0fc5f0$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_184A_01D63E87.76E478C0" X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQI5OttI/XLotBiOkHJSwHcJtBneoagKd6xQ X-ClientProxiedBy: mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) Subject: [Caml-list] PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18166 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ------=_NextPart_000_184A_01D63E87.76E478C0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable 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 ------=_NextPart_000_184A_01D63E87.76E478C0 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable

A PostDoc = position is available at the Database and Artificial Intelligence = Group at TU Wien (Vienna University of Technology), Austria. =

 

We = invite highly motivated applicants interested both in the theory and = practice of

- = Description Logics

- Answer Set = Programming

- Knowledge = Representation and Reasoning

- Reasoning = about Actions and Change

- Database = Theory

 

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).

 

=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

 

- = A PhD degree in Computer Science, Mathematics, or other closely related = field

- Excellent = academic record

- High = motivation to succeed in academia

- Very good = English writing skills

 

=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

 

- = 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]

 

=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

 

Application = Deadline: July 15, 2020

 

Please send = your application to Dr. Mantas =C5=A0imkus (simkus@dbai.tuwien.ac.at) =

 

Application = Documents:

- Curriculum = Vitae

- PhD thesis = and/or the list of publications

- At least 2 = names of referees

 

=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

 

[1] http://www.simkus.info/projects/fwf-project-p3036= 0/

[2] http://www.simkus.info/projects/fwf-project-p3087= 3/

[3] https://logic-cs.at<= /p>

[4] https://mobilityexchange.mercer.com/Insights/qual= ity-of-living-rankings

 

------=_NextPart_000_184A_01D63E87.76E478C0--