From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mihaela.rozman@tuwien.ac.at) identity=pra; client-ip=128.130.30.72; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mihaela.rozman@tuwien.ac.at"; x-sender="mihaela.rozman@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mihaela.rozman@tuwien.ac.at) identity=mailfrom; client-ip=128.130.30.72; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mihaela.rozman@tuwien.ac.at"; x-sender="mihaela.rozman@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@secgw2.intern.tuwien.ac.at) identity=helo; client-ip=128.130.30.72; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mihaela.rozman@tuwien.ac.at"; x-sender="postmaster@secgw2.intern.tuwien.ac.at"; x-conformance=sidf_compatible 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 ------=_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 doctor= al program Logical Methods in Computer Science (logiCS). The LogiCS doctora= l college focuses on interdisciplinary research topics covering<= /p>

- 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 b= y leading researchers in the fields of computational logic, databases and k= nowledge representation, computer-aided verification, security and privacy,= cyber-physical systems, and distributed systems.

 

FACULTY MEMBERS

M. Bartocci / A. Biere / R. Bloem / A. Ciabatto= ni / 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 s= trengthen the research and teaching activities of the college. <= /p>

 

POSITIONS= AND FUNDING

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

*We offer inte= rnationally competitive salaries funded for at least 3 years according to t= he funding scheme of the Austrian Science Fund (with full health benefits)<= o:p>

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

 

CURRENT RESEARCH AREAS

S= tudents 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 distrib= uted computing

 

HOW TO APPLY

For more i= nformation about the PhD program and application process, as well as facult= y 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 compu= ter science, mathematics, or a related field.

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

*Applications by the can= didates need to be submitted electronically.

 

Next application deadline: J= anuary 11, 2020.

 

LOGIC IN AUSTRIA

Aust= ria has a highly active and successful logic in the computer science commun= ity. Recent activities include:

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

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

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

 

HIGHEST QUALIT= Y OF LIFE

The Austrian cities Vienna, Gr= az, and Linz, located close to the Alps and surrounded by beautiful nature,= provide an exceptionally high quality of life, with a vibrant cultural sce= ne, numerous cultural events, world-famous historical sites, a large intern= ational community, a varied cuisine and famous coffee houses.

 

If you have= any questions, feel free to get in touch: info@logic-cs.at

<= /div>= ------=_NextPart_000_095F_01D5AB04.F101BEE0--