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 4F82B5D4 for ; Tue, 9 Jun 2020 14:23:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,492,1583190000"; d="scan'208,217";a="453820351" 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 16:23:45 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E7F56E1F20; Tue, 9 Jun 2020 16:23:45 +0200 (CEST) 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 E777FE1EA0 for ; Tue, 9 Jun 2020 16:23:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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@secgw2.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3ASzFVWhWzHawGN7hwfFBnzZUo5u3V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRyEt8tkgFKBZ4jH8fUM07OQ7/m9HzVdvd3e6jgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrQjdrNQajIttJ6o+yBbFvGZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJ/3YDUboOaOudwcK3ectwVWW1PXtpKWiNbHo+8?= =?us-ascii?q?YJMCA/QdMetaqYT2ulsArQG5BQmpHO7hzT5Ihn/s0qIk1+QuCxzN0hAnH9MPtX?= =?us-ascii?q?TbttP1P7oVXOCwzanIzS/MYO1S2Tjn8oTIaBchoPCJXb1qd8rc0lUvFx7Lj1WR?= =?us-ascii?q?t4PlOSmZ2f4RvGSB9eVgSfuihmg6oA5+vjah3N0jipXVho0L0FDE8z10zYI6KN?= =?us-ascii?q?O4VkJ2YtCpHpRRuiyeOIV7QsAvTn1ntSsnxLMKpJ+2cDQIxZooxBPSa+CKf5WW?= =?us-ascii?q?7x/+W+icIyp0iX1hdb+5mh28/0+gyujmWcm11lZHtjFFktjJtnAOyhzT8dKLSv?= =?us-ascii?q?p7/kev3jaDzwTT6uZLIUA1iaXXMoIuwqUqmpUJrUTPBir2l1vsjKCKaEok4PKk?= =?us-ascii?q?5PjgYrXjvpOcKZN7igXkPag0gMO/HeI1ORUNUWiD4emwyaPv8E7jTLlXgPA6jr?= =?us-ascii?q?PVvZ7GKcgBpKO1HRdZ3ps95xu8FTuqzdoVkWQdIF5YZR6LkpLlN0/SLP38C/q0?= =?us-ascii?q?nk6iny1xx//cO73sGpXNIWbHkLfmZbt98FBTxxY8zdFR+Z5YELABIPTvWkDvrt?= =?us-ascii?q?zYCAU1MxCpw+fpCdVyyIUeVXiVDaCFKq/dq0OI6vouI+mKeoAVpC7wJ+U76/Pt?= =?us-ascii?q?l3M1hFEQcbWz0ZYZdHy0BPZrL1uBbXrpmNgBEGMKvgQkTOztjV2PSTtTZ3eyX6?= =?us-ascii?q?0m+D47DJipAZ3ZRoCqgb2B2T20HptNa2BaF1CNH3boeJuCW/sWci2dPtVtnSYY?= =?us-ascii?q?VbS5UY8uyQmutBPmy7pgNufb5jcXtZfn1NRs4+3TlAoy9SBvAsSG02CNSnl0kX?= =?us-ascii?q?kSSz832qB/u019xU2Z3ah2mfwLXeBUsqdCWwI+cJrd1PBSCtboWwuHcM3fG3i8?= =?us-ascii?q?RdDzJDAxR981ypc0ZFR4EtPq2hXC3yOnB7ZTjbuZAZUy2r7BwHn8IYB0wDDPyP?= =?us-ascii?q?9y3BEdXsJTODj+1eZE/A/JCtuRyhTLp+ORba0ZmRX12iKGxGuKsltfVVcsA7nY?= =?us-ascii?q?QnESYA3fppLw+hGaFuL8OfEcKgJEjPW6BO5KZ9nu1wUUX/roN8uEJWO3h2qqA1?= =?us-ascii?q?CU26yNYYyscm5b1TmPUBFYwTBWxm6PME0FPgnku3jXVWA8CU/wYk7qt+B17nqn?= =?us-ascii?q?HBc5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DMAgB3mt9eh0gegoBmHgEBCxIMgy0vg?= =?us-ascii?q?UhXMCyEJIkBl0uMOAIJAQMBCgEBIwoCBAEBhEQCghUCHAYGNBMCEAEBBQEBAQI?= =?us-ascii?q?BAwMEARMBAQEKCwkIKYViDII7IoMcCAIZCjgGGwVBAwQDAhsjChECBBMLBQmDD?= =?us-ascii?q?QGBfn4BDrB2gTKJDyEWgUAigRaMYoFMP4FHgVxQbIEEgViCKIJegmAEjwgbgmy?= =?us-ascii?q?IH5lEKAeBV4EFgQYECoclkFQggm2JE5JSjGiOK4VmjjACBAIJAhQBgWplgRMzG?= =?us-ascii?q?oNcCTYRGQ1WkAICHoFxgUmCWYd/QTE3AgYBBwEBAwl8EwsBjnYBAQ?= X-IPAS-Result: =?us-ascii?q?A0DMAgB3mt9eh0gegoBmHgEBCxIMgy0vgUhXMCyEJIkBl0u?= =?us-ascii?q?MOAIJAQMBCgEBIwoCBAEBhEQCghUCHAYGNBMCEAEBBQEBAQIBAwMEARMBAQEKC?= =?us-ascii?q?wkIKYViDII7IoMcCAIZCjgGGwVBAwQDAhsjChECBBMLBQmDDQGBfn4BDrB2gTK?= =?us-ascii?q?JDyEWgUAigRaMYoFMP4FHgVxQbIEEgViCKIJegmAEjwgbgmyIH5lEKAeBV4EFg?= =?us-ascii?q?QYECoclkFQggm2JE5JSjGiOK4VmjjACBAIJAhQBgWplgRMzGoNcCTYRGQ1WkAI?= =?us-ascii?q?CHoFxgUmCWYd/QTE3AgYBBwEBAwl8EwsBjnYBAQ?= X-IronPort-AV: E=Sophos;i="5.73,492,1583190000"; d="scan'208,217";a="351068875" X-MGA-submission: =?us-ascii?q?MDHChK+g4agF93uxSCANGzTgOp8hQ9uCxJl/ch?= =?us-ascii?q?tJLWwK8ZaL1mermoXkHe1H3qocynEY1SXra1Gl7JfxZVQECTIBzj8UGP?= =?us-ascii?q?bH0IDNjCBRum1lj3xHQC+UW2/9nZFg7qAjo9iAvzsI9jGbPz54P+76pY?= =?us-ascii?q?ceavlDiqmBhlHs8ZiJ6L//Tg=3D=3D?= Received: from secgw2.intern.tuwien.ac.at ([128.130.30.72]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Jun 2020 16:23:40 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059ENeQw024973 for ; Tue, 9 Jun 2020 16:23:40 +0200 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 190 for ; Tue, 9 Jun 2020 16:23:40 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 059ENe8i024960 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 9 Jun 2020 16:23:40 +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 16:23:39 +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 16:23:39 +0200 From: Mihaela Rozman To: References: In-Reply-To: Date: Tue, 9 Jun 2020 16:23:31 +0200 Message-ID: <0c7d01d63e69$8d2fda20$a78f8e60$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0C7E_01D63E7A.50BA30C0" X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQI5tKn4+lBGyR9TeFkBAyah20DlJagJacJg X-ClientProxiedBy: mbx13c.intern.tuwien.ac.at (2001:629:1005:30::63) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) Subject: [Caml-list] PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18165 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_0C7E_01D63E7A.50BA30C0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable A PhD position is available at the Database and Artificial Intelligence = Group at TU Wien, Austria (under the supervision of Dr. Mantas = =C5=A0imkus).=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=3D=3D=3D=3D =20 YOUR PROFILE =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 =20 - A degree in Computer Science, Mathematics, or other closely related = field - A very strong study record, especially in foundational topics (like = discrete mathematics, logic, logic programming, algebra, theory of = computation, computational complexity, combinatorics, graph theory, = automata theory, data structures and algorithms) - Very good English writing skills =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 WE OFFER =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 =20 - Employment at TU Wien for up to 3.5 years, with Dr. Mantas =C5=A0imkus = as PhD advisor - Gross salary of approx. 30.754 EUR per year (approx. 22.506 EUR per = year after taxes in basic circumstances) - The candidate student would join the LogiCS doctoral program [3] which = offers top research expertise, and a stimulating and supportive = environment - A research and study environment that is friendly and gender-balanced - 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=3D=3D=3D=3D =20 APPLICATION PROCESS=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 =20 Application Deadline: July 15, 2020 =20 Please send your application to Dr. Mantas =C5=A0imkus = (simkus@dbai.tuwien.ac.at )=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 APPLICATION DOCUMENTS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 =20 -A motivation letter, which should make a connection to one of the = research projects mentioned above=20 -Curriculum Vitae -Transcripts (academic record) showing high performance in prior studies -Abstract of the Master thesis -2 letters of recommendation =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 QUALITY OF LIFE =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Vienna, the city features a vibrant and excellence-driven research = landscape, with several leading research institutes (e.g., University of = Vienna, IST, AIT, SBA) and universities continuously establishing = collaborations in various fields. Finally, Vienna has been consistently = ranked by Mercer over the last years the best city for quality of life = worldwide. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 LINKS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 =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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 WEBSITE=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 =20 www.vcla.at/positions/ =20 =20 ------=_NextPart_000_0C7E_01D63E7A.50BA30C0 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable

A PhD position is available at the Database and Artificial = Intelligence Group at TU Wien, Austria (under the supervision = of Dr. Mantas =C5=A0imkus).

 

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

- = Des= cription Logics

- = Ans= wer Set Programming 

- = Kno= wledge Representation and Reasoning 

- = Rea= soning about Actions and Change

- = Dat= abase Theory

 

In = particular, we are seeking to strengthen our research teams in two = foundational research projects =E2=80=9CO= ntology-mediated Queries for Graph Databases=E2=80=9D[1] = and =E2=80=9CKtoAPP: Compiling Knowledge into = Applications=E2=80=9D[2] = funded by the Aus= trian Science Fund (FWF).

 

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

YOU= R PROFILE

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

 

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

- = A = very strong study record, especially in foundational topics (like = discrete mathematics, logic, logic programming, algebra, theory of = computation, computational complexity, combinatorics, graph theory, = automata theory, data structures and algorithms)

- = Ver= y good English writing skills

 

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

WE = OFFER

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

 

- = Emp= loyment at TU Wien for up to 3.5 years, with Dr. Mantas =C5=A0imkus as = PhD advisor

- = Gro= ss salary of approx. 30.754 = EUR per year (approx. 22.506 EUR= per year after taxes in basic circumstances)

- = The= candidate student would join the Log= iCS doctoral program [3] = whi= ch offers top research expertise, and a stimulating and supportive = environment

- = A = research and study environment that is friendly and = gender-balanced

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

- = Vie= nna 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=3D=3D=3D=3D  &= nbsp;   

APPLICATION PROCESS&nb= sp;

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

 

App= lication Deadline: July 15, 2020

 

Ple= ase send your application to Dr. Mantas =C5=A0imkus (simkus@dbai.tuwien.ac.at)&nb= sp;

 

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

APP= LICATION DOCUMENTS

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

 

-A motivation = letter, which should make a connection to one of the research projects = mentioned above 

-Curriculum = Vitae

-Transcripts = (academic record) showing high performance in prior = studies

-Abstract of = the Master thesis

-2 letters of = recommendation

 

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

QUALITY OF LIFE

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

Vienna, the city features a vibrant and excellence-driven = research landscape, with several leading research institutes (e.g., = University of Vienna, IST, AIT, SBA) and universities continuously = establishing collaborations in various fields. Finally, Vienna has been = consistently ranked by Mercer over the last years the best city for = quality of life worldwide.

 

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

LINKS

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

 

[1]= h= ttp://www.simkus.info/projects/fwf-project-p30360/<= /p>

[2]= h= ttp://www.simkus.info/projects/fwf-project-p30873/<= /p>

[3]= h= ttps://logic-cs.at

[4]= h= ttps://mobilityexchange.mercer.com/Insights/quality-of-living-rankings

 

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

WEBSITE

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D  &= nbsp;   

 

www.vcla.at/positions/

 

------=_NextPart_000_0C7E_01D63E7A.50BA30C0--