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 F17BF5D4 for ; Tue, 2 Jun 2020 12:16:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,464,1583190000"; d="scan'208,217";a="452531956" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jun 2020 14:16:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C2FA4E1EA7; Tue, 2 Jun 2020 14:16:36 +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 5BFCDE1EA0 for ; Tue, 2 Jun 2020 14:16:33 +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=3AMPFyahcP4ig3zkWvARzNBa8slGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW9bR7h7PlgxGXEQZ/co6odzbaP7ua5AjNLusvJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRW7oR/MusQYg4ZuJag8xxvUqXZUZu?= =?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+Chlz4g4Jd?= =?us-ascii?q?K2RFJ/bNK6H5VdtjyWOohqTs4jX21kpCI3x74ItJO/YCQHyYgrygPfZfGHbYSE?= =?us-ascii?q?/hztWeaVLDl4h39ofq+0iRi18Uil0OL8V8+03U5OripCndnMt2wC2wXP5cicUP?= =?us-ascii?q?dy5Fuh1S6V2ADJ6+FEOl47mbDcK5472LI/jIYTvVzdHiDqnEX5lrWaeV84+uSw?= =?us-ascii?q?7+TnZbrmpp6AOINukA7+LqIjkdG8D+QgKgUCQnaX9Oem2LH+80D1XK9Gg/Mqnq?= =?us-ascii?q?XDsp3WONwXqrOnDwJWyIov9hiyAyq83NgFgHULMUhJdAybg4XtPVzFPer2Au2l?= =?us-ascii?q?g1u2lTdm3/DGMaPlApXKNnXDi6nucqpy609S1QY/19Ff55RICr4fOvLzXFX9tM?= =?us-ascii?q?DFDh43Mgy73eDnBM9n2YwCQ26AGLOZPLvTsV+O+O0vP/GBaJILtDv+MfQp+vDj?= =?us-ascii?q?gWMjlVITYaWlx5kaZG2gEvRjOUqZYH7sgtkbEWcNuwozVOnqiFyCUTFJeXmyW7?= =?us-ascii?q?gz6ishCIKhDIbDQ5qigLqa0SenA51XaGFGBU6KEXvybYqLR+0AZziOIsN5iDwL?= =?us-ascii?q?SaChS5M91RGprAL116BoLu/Q+iEBsZLj1cN15/HImBEp9T10Ctyd3HuXQ2F1mG?= =?us-ascii?q?MIXT4207plrUxz0FfQmZR/1qhTHNlXovdISRsSNJjGzuU8BcqkCSzbedLcbVem?= =?us-ascii?q?S9iiCHkLScA0ytlGN0N8G9yvihmFxS24BrYTv6CWG5059OTV1D74O5AumD79yK?= =?us-ascii?q?A9ggx+EYN0Pmq8i/snrlWBN8vyi0yc0p2SW+Ec0SrKrjfR1meFs14BFg92Tajf?= =?us-ascii?q?WzYDe1TXoNK/70iERqP8Ue12YDsE8taLL+5xUvOsiFxHQPn5P9GHPzCthnixCB?= =?us-ascii?q?DOz7jKZZa4IzxBjhWYM1ANlkUoxVjDLRI3X3vzv3/BDTFoU1vkJUrwo7Fz?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DmAADHQdZemEcegoBlHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQGCCoEjL4FIVzAshCWJAZdNik+BaAIJAQMBCgEBHw4CBAEBgVASAYR?= =?us-ascii?q?9AhwGBjQTAhABAQUBAQECAQMDBAETAQEBAQEICwsGKYVgDII7IoMcCAIZCj4CG?= =?us-ascii?q?QVEBAMCGyMKEQIEEwsFBAEEgw0BgX5+AQ6uR4EyiG4hFoFAIoEWiEyECoFMP4F?= =?us-ascii?q?HgioCbIEEPAE9UIFCg1KCPiIEjm4HFKQhKAeBV4EEgQQECocgi2KEXB6CZokIk?= =?us-ascii?q?iyFCYc7jhKHS4w5AgQCCQIUAYFqgXgzGoNcCTYRGQ1Wj3QOAh6BcYwhQTECNQI?= =?us-ascii?q?GAQcBAQMJfBMLAYwgAQE?= X-IPAS-Result: =?us-ascii?q?A0DmAADHQdZemEcegoBlHAEBAQEBAQcBARIBAQQEAQGCCoE?= =?us-ascii?q?jL4FIVzAshCWJAZdNik+BaAIJAQMBCgEBHw4CBAEBgVASAYR9AhwGBjQTAhABA?= =?us-ascii?q?QUBAQECAQMDBAETAQEBAQEICwsGKYVgDII7IoMcCAIZCj4CGQVEBAMCGyMKEQI?= =?us-ascii?q?EEwsFBAEEgw0BgX5+AQ6uR4EyiG4hFoFAIoEWiEyECoFMP4FHgioCbIEEPAE9U?= =?us-ascii?q?IFCg1KCPiIEjm4HFKQhKAeBV4EEgQQECocgi2KEXB6CZokIkiyFCYc7jhKHS4w?= =?us-ascii?q?5AgQCCQIUAYFqgXgzGoNcCTYRGQ1Wj3QOAh6BcYwhQTECNQIGAQcBAQMJfBMLA?= =?us-ascii?q?YwgAQE?= X-IronPort-AV: E=Sophos;i="5.73,464,1583190000"; d="scan'208,217";a="452531923" X-MGA-submission: =?us-ascii?q?MDFGULAjcnNfyhG9fMoXMbmw50l5PmpFmu04lT?= =?us-ascii?q?CPQhmI8ouKSAugnHoJZsfGJsPuhCJQrNaT9cXJG3sBfWsrNHClsNbEpx?= =?us-ascii?q?ImEpqTGoUDB9qDO/Ch50niRXEVqMRhxdrX8R4CHjtUCA80sXw2A631xz?= =?us-ascii?q?4amfeBx5MfBPNgKdvfPRyfLQ=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; 02 Jun 2020 14:16:32 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 052CGVYf028260 for ; Tue, 2 Jun 2020 14:16:31 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 664 for ; Tue, 2 Jun 2020 14:16:31 +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 052CGVWd028246 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 2 Jun 2020 14:16:31 +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, 2 Jun 2020 14:16:31 +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, 2 Jun 2020 14:16:30 +0200 From: Mihaela Rozman To: References: In-Reply-To: Date: Tue, 2 Jun 2020 14:16:28 +0200 Message-ID: <08aa01d638d7$a4bfb6c0$ee3f2440$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_08AB_01D638E8.684886C0" X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQGIeYnXO/J04kSFz8doxqgaCAoXYqlgvC9g Content-Language: de-at 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] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18155 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_08AB_01D638E8.684886C0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and=20 JKU Linz (Johannes Kepler University), =20 are seeking highly qualified PhD candidates for the joint doctoral = program on Logical Methods in Computer Science (LogiCS),=20 funded by the Austrian Science Fund (FWF).=20 =20 We are recruiting up to 12 fully funded doctoral candidates for a = starting period of 3 years. =20 STARTING DATE: Negotiable LOCATION: Vienna or Graz, Austria (candidate=C2=B4s choice) SALARY: The PhD candidates receive an employment contract=20 DEADLINE: June 12, 2020 =20 WEBSITE: https://logic-cs.at/phd=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D The PhD program focuses on interdisciplinary research topics covering =E2=80=93 computational logic, and applications of logic to =E2=80=93 databases and artificial intelligence, =E2=80=93 computer-aided verification, =E2=80=93 security and privacy, =E2=80=93 cyber-physical systems, as well as to =E2=80=93 distributed systems. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D RESEARCH AREAS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D At the moment we are particularly looking for PhD candidates interested = in the following areas: =20 * Automated Software Verification =20 * Description Logics =20 * Epistemic logic in distributed computing =20 * Game-based Semantics =20 * Fixed-Parameter Algorithms and Complexity =20 * Formal Verification of hybrid systems =20 * Knowledge Representation and Reasoning =20 * Model Checking =20 * Modeling and analysis of digital integrated circuits =20 * Networking and Communication Technology =20 * Normative Reasoning =20 * Ontology-based Data Access =20 * Security and Privacy =20 * Scheduling and logic programming =20 * Study of the Interaction between rules from a knowledge base and rules = arising from machine learning =20 * Topology in distributed computing =20 * Quantified Boolean Formulas =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D THE PROGRAM =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Our PhD program LogiCS is focusing on logic and its applications in = computer science. Successful applicants will work with and be mentored = by leading researchers in the fields of computational logic, databases = and knowledge representation, computer-aided verification, security and = privacy, cyber-physical systems, and distributed systems. =20 The LogiCS doctoral program offers top research expertise, and a = stimulating and supportive environment. The LogiCS is coordinated by TU = Wien, which offers an outstanding research environment and numerous = professional development opportunities. The Faculty of Informatics of TU = Wien is the largest one in Austria and is consistently ranked among the = best in Europe. The founding body of the LogiCS, the Austrian Science = Fund (FWF), offers multiple funding opportunities for young researchers = to advance their independent scientific careers. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D FACULTY MEMBERS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 - E. Bartocci - A. Biere - R. Bloem - A. Ciabattoni - T. Eiter - G. Gottlob - R. Grosu - L. Kovacs - M. Maffei - M. Ortiz - U. Schmid - M. Seidl - S. Szeider - G. Weissenbacher - S. Woltran =20 The LogiCS faculty comprises 15 renowned researchers with strong records = in research, teaching and advising, complemented by 15 associated = members who further strengthen the research and teaching activities of = the college. =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D POSITIONS AND FUNDING =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 * We are looking for 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to = the funding scheme of the Austrian Science Fund (FWF) (EMPLOYMENT = CONTRACT) * The location of the research post is Vienna or Graz, Austria.=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D HOW TO APPLY =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Detailed information about the application process is available on the = LogiCS web-page: https://logic-cs.at/phd/admission/ =20 * The applicants are expected to have completed an excellent diploma or = master=E2=80=99s degree in computer science, mathematics, or a related = field. * Candidates with comparable achievements will be considered on a = case-by-case basis. * Applications by the candidates need to be submitted electronically. =20 Application Deadline: June 12, 2020 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D LOGIC IN AUSTRIA =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Austria has a highly active and successful logic in the computer science = community. Recent activities include: =20 Austrian Research Network in Rigorous Systems Engineering - = http://www.arise.or.at =20 Vienna Center for Logic and Algorithms - http://www.vcla.at=20 =20 International Kurt Goedel Society - http://www.kgs.logic.at=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D HIGHEST QUALITY OF LIFE =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The Austrian cities Vienna, Graz, and Linz, located close to the Alps = and surrounded by beautiful nature, provide an exceptionally high = quality of life, with a vibrant cultural scene, numerous cultural = events, world-famous historical sites, a large international community, = a varied cuisine and famous coffee houses. If you decide to be located in 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 ADDITIONAL INFORMATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 LogiCS web-page: https://logic-cs.at/phd/admission/=20 For further information please contact: info@logic-cs.at = =20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D TWITTER =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D @vclaTUwien=20 =20 ------=_NextPart_000_08AB_01D638E8.684886C0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

TU Wien (Vienna University of = Technology)

TU Graz (Graz University = of Technology), and

JKU Linz = (Johannes Kepler University),

 

are seeking = highly qualified PhD candidates for the joint doctoral program on = Logical Methods in Computer Science (LogiCS),

funded by the Austrian Science Fund (FWF). =

 

We are recruiting up to 12 fully = funded doctoral candidates for a starting period of 3 = years.

 

STARTING DATE: Negotiable

LOCATION: Vienna or Graz, Austria (candidate=C2=B4s = choice)

SALARY: The PhD candidates = receive an employment contract

DEADLINE: June 12, 2020

 

WEBSITE: https://logic-cs.at/phd =

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The PhD program focuses on interdisciplinary research = topics covering

=E2=80=93 = computational logic, and applications of logic to

=E2=80=93 databases and artificial = intelligence,

=E2=80=93 = computer-aided verification,

=E2=80=93 security and privacy,

=E2=80=93 cyber-physical systems, as well as = to

=E2=80=93 distributed = systems.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>RESEARCH AREAS

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>At the moment we are particularly looking for PhD = candidates interested in the following areas:

 

* Automated = Software Verification

 

* = Description Logics

 

* Epistemic = logic in distributed computing

 

* Game-based = Semantics

 

* Fixed-Parameter Algorithms and = Complexity

 

* Formal Verification of hybrid = systems

 

* Knowledge Representation and = Reasoning

 

* Model Checking

 

* Modeling = and analysis of digital integrated circuits

 

* Networking = and Communication Technology

 

* Normative = Reasoning

 

* Ontology-based Data Access

 

* Security = and Privacy

 

* Scheduling and logic programming

 

* Study of = the Interaction between rules from a knowledge base and rules arising = from machine learning

 

* Topology = in distributed computing

 

* Quantified = Boolean Formulas

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>THE PROGRAM

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal> 

Our PhD = program LogiCS is focusing on logic and its applications in computer = science. Successful applicants will work with and be mentored by leading = researchers in the fields of computational logic, databases and = knowledge representation, computer-aided verification, security and = privacy, cyber-physical systems, and distributed = systems.

 

The LogiCS doctoral program offers top research = expertise, and a stimulating and supportive environment. The LogiCS is = coordinated by TU Wien, which offers an outstanding research environment = and numerous professional development opportunities. The Faculty of = Informatics of TU Wien is the largest one in Austria and is consistently = ranked among the best in Europe. The founding body of the LogiCS, the = Austrian Science Fund (FWF), offers multiple funding opportunities for = young researchers to advance their independent scientific = careers.

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>FACULTY MEMBERS

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal> 

- E. = Bartocci

- A. Biere

- R. Bloem

- A. = Ciabattoni

- T. = Eiter

- G. Gottlob

- R. Grosu

- L. = Kovacs

- M. Maffei

- M. Ortiz

- U. = Schmid

- M. Seidl

- S. Szeider

- G. = Weissenbacher

- S. = Woltran

 

The LogiCS faculty comprises 15 renowned researchers = with strong records in research, teaching and advising, complemented by = 15 associated members who further strengthen the research and teaching = activities of the college.

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>POSITIONS AND FUNDING

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal> 

* We are = looking for 12 very strong doctoral students.

* The doctoral positions are funded for at least 3 = years according to the funding scheme of the Austrian Science Fund (FWF) = (EMPLOYMENT CONTRACT)

* The location of the research post is Vienna or Graz, = Austria.

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>HOW TO APPLY

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal> 

Detailed = information about the application process is available on the LogiCS = web-page: https://logic-cs.at/phd/admis= sion/

 

* The applicants are expected to have completed an = excellent diploma or master=E2=80=99s degree in computer science, = mathematics, or a related field.

* = Candidates with comparable achievements will be considered on a = case-by-case basis.

* Applications by = the candidates need to be submitted electronically.

 

Application = Deadline: June 12, 2020

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>LOGIC IN AUSTRIA

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal> 

Austria = has a highly active and successful logic in the computer science = community. Recent activities include:

 

Austrian = Research Network in Rigorous Systems Engineering - http://www.arise.or.at

=

 

Vienna = Center for Logic and Algorithms - http://www.vcla.at

 

International Kurt Goedel Society - http://www.kgs.logic.at =

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>HIGHEST QUALITY OF LIFE

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>The Austrian cities Vienna, Graz, and Linz, located = close to the Alps and surrounded by beautiful nature, provide an = exceptionally high quality of life, with a vibrant cultural scene, = numerous cultural events, world-famous historical sites, a large = international community, a varied cuisine and famous coffee = houses.

If you decide to be located = in 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

<= p class=3DMsoNormal>ADDITIONAL INFORMATION

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal> 

LogiCS = web-page: https://logic-cs.at/phd/admis= sion/

For further information = please contact: info@logic-cs.at

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>TWITTER

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

<= p class=3DMsoNormal>@vclaTUwien

 

------=_NextPart_000_08AB_01D638E8.684886C0--