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 376455D5 for ; Tue, 10 Dec 2019 15:21:23 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,300,1571695200"; d="scan'208,217";a="419640859" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Dec 2019 16:21:17 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1993F7F3B0; Tue, 10 Dec 2019 16:21:17 +0100 (CET) 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 79BCC7F332 for ; Thu, 5 Dec 2019 00:43:06 +0100 (CET) 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=3AMl+pmhA6Zd4DgjoxGnU2UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPTzpMbcNUDSrc9gkEXOFd2Cra4d0KyP4/irADZIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfL1/IA+roQjSqsUajpZuJrgswRbVv3VEfP?= =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?= =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?= =?us-ascii?q?wKMSMy/mPKhcxqlK9VoAyvpxJ9zIDJbo+bN/Vxcb/ac9MGXmdORNpdVyNZD4+i?= =?us-ascii?q?c4cDEewMNvtYoYnnoFsOqAOzCw6tBOPv0DBHmHv20rcn2Oo9FgHH3QkgEMgIsH?= =?us-ascii?q?/Jq9j1MaYSUeCvw6bWyTXMdela2S366InJdxAuu/eMUKlsccrMx0gvFh3KjlOK?= =?us-ascii?q?pYP/IzyZzP4Cs3SC4udmSOmhhWknqwRrrTiuwMchkpPGhpgUylDf6yp12oE1Jc?= =?us-ascii?q?eiREFhfd6oCIVQuD2eN4RsWM8tWX1otD4+yr0Btp67fTQFxI07yB7EcfCIaZSI?= =?us-ascii?q?7grnVOaWLjd4hW5qdKiliBau90Wr1+7yVtGs3VpXsCZIkcPAum0D2hDP8MSKRO?= =?us-ascii?q?dx8l2j1DqRzwzf9/9ILEMumabGJZMt3qQ8m5QPvUjZAyP6hUP7h7KMeEo+4Oin?= =?us-ascii?q?8eHnb63mppCCM490jRnzMr8wlcOjDuQ5PBYCU3Ka+eS6yL3s41f5QLNQgv0qj6?= =?us-ascii?q?nYvpHaKtodpqKjGQBazpwv5AyjDzu+0dQYm2cILE5ddR6akYTkOEvCLO32APuj?= =?us-ascii?q?mVihnitny+rEM7H/GpnNK2LMkLblfbZz8U5czw8zwMha55JVCrEOOuz8Wkvru9?= =?us-ascii?q?DCFB85NA21w+P9B9V7zY4eRX+PA6GYMKzMt1+E/PggLPWWaIAPpDbxM+Il6OL2?= =?us-ascii?q?jX8lhV8derGk0ocNZ3C9GvRqOkGZYXv3gtcdCmoKpQo/TOnyiFKYSzJTZnCyX7?= =?us-ascii?q?g95j4hEo6mA53DFciRh+nV2ym1H5ZbTn5NDlnKGGu+JKueXPJZTSOSK8Jlm3Q+?= =?us-ascii?q?UqqkQolpgRSvtAb3z7MhNO3G/yQenY7+y9l44avanlc76WonXIymz2iRQjQszS?= =?us-ascii?q?szTDgs0fUn+BEv+hK4yaF9xsdgO5lT6vdOCFdoLpPXwPMgTdH0Rg/beJGVVUmn?= =?us-ascii?q?T9PgCDp3R85jm4ZfMXY4IM2ri1X45wTvBrYUk7KRA5ltrvDAwmfwKsA7wn2A3b?= =?us-ascii?q?Vz1wB6EPsKDnWvg+tEzyaWH5TAyhnLi7u1dKkamifGsm6fnzKD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BrAQDmQ+hdh0gegoBlg2AvgUGBByqNL?= =?us-ascii?q?o9Xh1KMIwEIAQMBCgEBCRYOAgEBgUwSAYRzHAYGNBMCEAEBBAEBAQIBAgMEARM?= =?us-ascii?q?BAQEKCwkIKYU+DII7IoJ8CAIjRBUFRCQjGwIEEwsFBAEEgwkBgXl+AQ6yM4hLI?= =?us-ascii?q?haBSCKBFIwmgUw/gUeCLQJsgQQ9gQqHSiIEjTYHiTSXWQeBRG1uBIYtiiOEGBu?= =?us-ascii?q?CQYduj3eEP4YyjBqRYgIEAgkCFAGBaYF6MxqDXwk2EREUV4wZDgIegXKMHUIxA?= =?us-ascii?q?YEBJhMLAZAhAQE?= X-IPAS-Result: =?us-ascii?q?A0BrAQDmQ+hdh0gegoBlg2AvgUGBByqNLo9Xh1KMIwEIAQM?= =?us-ascii?q?BCgEBCRYOAgEBgUwSAYRzHAYGNBMCEAEBBAEBAQIBAgMEARMBAQEKCwkIKYU+D?= =?us-ascii?q?II7IoJ8CAIjRBUFRCQjGwIEEwsFBAEEgwkBgXl+AQ6yM4hLIhaBSCKBFIwmgUw?= =?us-ascii?q?/gUeCLQJsgQQ9gQqHSiIEjTYHiTSXWQeBRG1uBIYtiiOEGBuCQYduj3eEP4Yyj?= =?us-ascii?q?BqRYgIEAgkCFAGBaYF6MxqDXwk2EREUV4wZDgIegXKMHUIxAYEBJhMLAZAhAQE?= X-IronPort-AV: E=Sophos;i="5.69,279,1571695200"; d="scan'208,217";a="331395066" X-MGA-submission: =?us-ascii?q?MDGMq1VfjGIfJHjhu0A4paZ6DWIMdGjmxZYz7S?= =?us-ascii?q?oKuKH3IR1b5NMufwLYEuyiiFKu0PfBqDU1rkBJvxCRJgriyyehd4x8Nm?= =?us-ascii?q?3Yr1IRT7Oxp88q78vn9JYRJ8f2EIRDltW3yUC5EZBCRwp2ApQLFOnoAq?= =?us-ascii?q?Xh0rhLEcFaJoOj3pF4EhAlBw=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; 05 Dec 2019 00:43:05 +0100 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id xB4Nh10J007810; Thu, 5 Dec 2019 00:43:01 +0100 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 141; Thu, 5 Dec 2019 00:43:01 +0100 (CET) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id xB4Ngxvk007786 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL); Thu, 5 Dec 2019 00:42:59 +0100 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; Thu, 5 Dec 2019 00:42:59 +0100 Received: from sargas (128.130.30.11) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Thu, 5 Dec 2019 00:42:59 +0100 From: Mihaela Rozman To: References: In-Reply-To: Date: Thu, 5 Dec 2019 00:42:58 +0100 Message-ID: <095e01d5aafc$8f3c6c80$adb54580$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_095F_01D5AB04.F101BEE0" X-Mailer: Microsoft Outlook 14.0 Content-Language: de-at Thread-Index: AQH6dHJ5vWuBBvJCbqTMNSy2Zck3GKdhECyw X-ClientProxiedBy: mbx13c.intern.tuwien.ac.at (2001:629:1005:30::63) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Validation-by: mihaela.rozman@tuwien.ac.at Subject: [Caml-list] Several Funded Doctoral Positions in Computer Science in Austria (Vienna, Graz or Linz) - Deadline: January 11, 2020 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 17902 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ------=_NextPart_000_095F_01D5AB04.F101BEE0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering - computational logic, and applications of logic to - databases and artificial intelligence, - computer-aided verification, - security and privacy, - cyber-physical systems, as well as to - distributed systems. THE PROGRAM 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. FACULTY MEMBERS M. 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. POSITIONS AND FUNDING *We are looking for 8 very strong doctoral students. *We offer internationally competitive salaries funded for at least 3 years according to the funding scheme of the Austrian Science Fund (with full health benefits) *The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. CURRENT RESEARCH AREAS Students can pursue doctoral research within the following areas: * Automated Software Verification * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Model Checking * Modeling and analysis of digital integrated circuits * Security and Privacy * Scheduling and logic programming * Topology in distributed computing HOW TO APPLY For more information about the PhD program and application process, as well as faculty profiles, please visit our website at: https://logic-cs.at/phd/admission/ *The applicants are expected to have completed an excellent diploma or master's 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. Next application deadline: January 11, 2020. LOGIC IN AUSTRIA Austria has a highly active and successful logic in the computer science community. Recent activities include: www.arise.or.at (Austrian Research Network in Rigorous Systems Engineering) www.vcla.at (Vienna Center for Logic and Algorithms) www.kgs.logic.at (International Kurt Goedel Society) HIGHEST QUALITY OF LIFE 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 have any questions, feel free to get in touch: info@logic-cs.at ------=_NextPart_000_095F_01D5AB04.F101BEE0 Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable

TU Wien, = TU Graz, and JKU Linz are seeking highly qualified candidates for our = joint doctoral program Logical Methods in Computer Science (logiCS). The = LogiCS doctoral college focuses on interdisciplinary research topics = covering

- computational logic, and = applications of logic to

- databases = and artificial intelligence,

- = computer-aided verification,

- = security and privacy,

- = cyber-physical systems, as well as to

- distributed systems.

 

THE = PROGRAM

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.

 

FACULTY = MEMBERS

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

 

POSITIONS AND FUNDING

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

*We offer internationally = competitive salaries funded for at least 3 years according to the = funding scheme of the Austrian Science Fund (with full health = benefits)

*The funding can be = extended for one additional year contingent on a placement at one of our = international partner institutions.

 

CURRENT = RESEARCH AREAS

Students can pursue = doctoral research within the following areas:

* Automated Software Verification

* Epistemic logic in distributed = computing

* Game-based = Semantics

* Fixed-Parameter = Algorithms and Complexity

* Formal = Verification of hybrid systems

* = Model Checking

* Modeling and = analysis of digital integrated circuits

* Security and Privacy

* Scheduling and logic programming

* Topology in distributed computing

 

HOW TO = APPLY

For more information about the = PhD program and application process, as well as faculty profiles, please = visit our website at: https://logic-cs.at/phd/admis= sion/

 

*The applicants are expected to have completed an = excellent diploma or master's 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.

 

Next = application deadline: January 11, 2020.

 

LOGIC IN = AUSTRIA

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

www.arise.or.at (Austrian Research = Network in Rigorous Systems Engineering)

www.vcla.at (Vienna = Center for Logic and Algorithms)

www.kgs.logic.at (International = Kurt Goedel Society)

 

HIGHEST = QUALITY OF LIFE

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 have = any questions, feel free to get in touch: = info@logic-cs.at

------=_NextPart_000_095F_01D5AB04.F101BEE0--