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 181265D4 for ; Tue, 12 May 2020 09:57:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,383,1583190000"; d="scan'208,217";a="449283901" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2020 11:57:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5BA137F4D6; Tue, 12 May 2020 11:57:30 +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 B9D437EEE8; Tue, 12 May 2020 11:57:25 +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=3ArwzgSBCzMduUAD5qTcKvUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP36pM6wAkXT6L1XgUPTWs2DsrQY0reQ4vqrAD1IyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLN/IA+yoAnPucUanI9vIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ji?= =?us-ascii?q?oMKjw3/3zNisFojKxVvg+vpwBxzYDXboGaNvt+cb/Sct4BX2VNQtxcWjZdDo+g?= =?us-ascii?q?b4YCCfcKM+ZCr4n6olsDtRWyCxWrBOLuzz9HnHn20bUn2OomEAHG3BYvEMwKsH?= =?us-ascii?q?vOotn+KaAfUeW0zKnI1zrMcfdW1i3n5IjSdRAgoPSMUqh2ccfK1UkvCg3EjlSO?= =?us-ascii?q?pozjJT+azPgCv3KB4Op8TO+ijXMspA5trDa13MgslpXJiZwPylDC7Sh13Ik7Kc?= =?us-ascii?q?G2RkN/YNOpEZpduj+ZOoV5X88vQ25mtSY6x7AGp5O2fCoHxZAoyRPQZPGKd5aF?= =?us-ascii?q?7w7/WOqPLzl2in1odbSijBi89kigz/fzVsiy0FtSqipFldbMtnER2BDK9seHUe?= =?us-ascii?q?Fx8V292TqXzQ/T8OBEIVsqmqbBLJ4h2KQ8mYAPsUjbAC/5hEH2g7WMeko+5uik?= =?us-ascii?q?8+DnYrLppp+dK4B4kBvxMrgol8eiAuo4KhADU3WF9em/zrHv4EP0TKlQgvA4jq?= =?us-ascii?q?XVqpLXKdoDqqO6HwNZyJsv5wujAzu8zdgUg2cLIEhYdB6bjYXlI0/CLOzkAfui?= =?us-ascii?q?hlmhkSlnyvTDM7H8HpnBMnjOnbLvcLph7kNRzQs+wc5Z6plJEL8OOujzVVX0tN?= =?us-ascii?q?HADh82LQi0w+H/BdVmyIwRRW2PA6GHPK/IsF+I4P4vLPeWZI8Tojr9N+Ul5vDv?= =?us-ascii?q?jXAnn18RZ7Om0ocNZH+iAvRqO0SZYXzyjdcdCWoGoxQyQe/whFGfXzNfe2y+Uq?= =?us-ascii?q?wg6j0hCo+qE5/PRoW3j7yA2Ce7EIdWZmdDCl2UFHfodoWEVO0SZyKWOMBtiCYE?= =?us-ascii?q?Vb+gSo8kzx6ushT3y6Z6Luva+y0Xq5Tj2MJv6OLPjx097yB0A9yH026RV2F0gn?= =?us-ascii?q?8IRzgu0a9lu0x9xUqD0a1mjPxeCdxc/e9JUgY9NZ7a0+N6DNXyWhrfcdeVSVam?= =?us-ascii?q?XtSmATY3Tt8q2N8PY0N9G824gRzZ3iqqBaUVl72RC5Au/KLcxWD7J9xhxHbeyK?= =?us-ascii?q?khk14mT9NTOmK8g65/8xHfB4rIk0WCi6anbr8c3S7I9Geb12WCpkBYUAhqUaXE?= =?us-ascii?q?R38TfEXWrc6qrn/FGvWpB7omOQZp18WGI+1Ddpeh2VJISvboNfzAaGa43W6sU0?= =?us-ascii?q?Wm3LSJOcDQfHcY1SOZQG0Fkwke+X/MfVw7ByeormbXSiZpB1fmZWvw7PZ/pXX9?= =?us-ascii?q?R0Ryxh3cPB4p7Ka85hNA3a/UcPgUxL9R4H59+QUxJ0602pftM/TFvxBoJfkOfc?= =?us-ascii?q?4i4VpBk2vS8QVhbMT5fvJSw2UGegEyhHvAkhB+C4FOi88v9S940BdtKK+ellpK?= =?us-ascii?q?MTqEj8ipZ+/nb1Lq9RXqUJb4n1HT1NHMqvUU5f83tA+lvQe1G1AktWl6zNhY1T?= =?us-ascii?q?2V7dPDEFhKXA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CgCwBXcrpeh0gegoBmHQEBAQEJARIBB?= =?us-ascii?q?QUBQIFHgSUvgUVYLywKhjCGa4x4AQEBlm8CCQEDAQoBAR8OAgQBAYFQEgGCYQK?= =?us-ascii?q?CERwGBjQTAhABAQUBAQECAQIDBAETAQEBCgsJCCmFXQELgjsigxUDA2sCBBgCA?= =?us-ascii?q?SkaCw8jJQIEExQBBIMNAYF+fgEDC69FgTSIdCGBVoE4jiA+gUeCKgJsgQQ8AT1?= =?us-ascii?q?Qh1IiBI5UFIYkgmCafwMEA4FKgQCIG4s+hE8dglyIZ5F3kB2JWpNQAgQCCQIUA?= =?us-ascii?q?YFpgXiEKQlHGA1WAY9zDgIegXGMH3QCNQIGCAEBAwl8jHcBgQ8BAQ?= X-IPAS-Result: =?us-ascii?q?A0CgCwBXcrpeh0gegoBmHQEBAQEJARIBBQUBQIFHgSUvgUV?= =?us-ascii?q?YLywKhjCGa4x4AQEBlm8CCQEDAQoBAR8OAgQBAYFQEgGCYQKCERwGBjQTAhABA?= =?us-ascii?q?QUBAQECAQIDBAETAQEBCgsJCCmFXQELgjsigxUDA2sCBBgCASkaCw8jJQIEExQ?= =?us-ascii?q?BBIMNAYF+fgEDC69FgTSIdCGBVoE4jiA+gUeCKgJsgQQ8AT1Qh1IiBI5UFIYkg?= =?us-ascii?q?mCafwMEA4FKgQCIG4s+hE8dglyIZ5F3kB2JWpNQAgQCCQIUAYFpgXiEKQlHGA1?= =?us-ascii?q?WAY9zDgIegXGMH3QCNQIGCAEBAwl8jHcBgQ8BAQ?= X-IronPort-AV: E=Sophos;i="5.73,383,1583190000"; d="scan'208,217";a="348389674" X-MGA-submission: =?us-ascii?q?MDFmcyiq1Rmct9383f3mcruRu3HldH4B3P0q5Z?= =?us-ascii?q?D5IiDFEdUPxGB95mYjpb1QNX8yryKv7S2inkm9buAl+a+YNY2lIRCgYx?= =?us-ascii?q?AJyCQ0N4tEDFtlDzAuyvU5Mj7IXfg8SJK3dJqQ6YYMpeBJG+9SPBmxhl?= =?us-ascii?q?A0PnWlW7WHT4ndRQKTN2Risw=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; 12 May 2020 11:57:24 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 04C9uqhg006691; Tue, 12 May 2020 11:56:52 +0200 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 897; Tue, 12 May 2020 11:56:52 +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 04C9uiCs006594 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL); Tue, 12 May 2020 11:56:45 +0200 Received: from mbx13a.intern.tuwien.ac.at (2001:629:1005:30::61) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 12 May 2020 11:56:43 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by mbx13a.intern.tuwien.ac.at (2001:629:1005:30::61) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 12 May 2020 11:56:44 +0200 Received: from mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846]) by mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846%20]) with mapi id 15.00.1497.006; Tue, 12 May 2020 11:56:43 +0200 From: "Rozman, Mihaela" To: "office@vcla.at" Thread-Topic: Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020*** Thread-Index: AQHWKEGWkkAmELh/mEeqOo7CwMXdgKikNNof Date: Tue, 12 May 2020 09:56:42 +0000 Message-ID: <1589277402537.60696@tuwien.ac.at> References: <1589276960667.70264@tuwien.ac.at> In-Reply-To: <1589276960667.70264@tuwien.ac.at> Accept-Language: en-GB, de-AT, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [80.110.122.107] Content-Type: multipart/alternative; boundary="_000_158927740253760696tuwienacat_" MIME-Version: 1.0 Subject: [Caml-list] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020*** Reply-To: "Rozman, Mihaela" X-Loop: caml-list@inria.fr X-Sequence: 18138 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: --_000_158927740253760696tuwienacat_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable ___________________________________________________________________________= _________________________________ TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on L= ogical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 doctoral candidates for a starting period of 3 y= ears, with a negotiable starting date. Deadline: June 12, 2020 ___________________________________________________________________________= _________________________________ The PhD program focuses on interdisciplinary research topics covering =96 computational logic, and applications of logic to =96 databases and artificial intelligence, =96 computer-aided verification, =96 security and privacy, =96 cyber-physical systems, as well as to =96 distributed systems. ______________________________________________________ THE PROGRAM ______________________________________________________ Our PhD program LogiCS is focusing on logic and its applications in compute= r science. Successful applicants will work with and be mentored by leading = researchers in the fields of computational logic, databases and knowledge r= epresentation, computer-aided verification, security and privacy, cyber-phy= sical systems, and distributed systems. The LogiCS doctoral program offers top research expertise, and a stimulatin= g and supportive environment. The LogiCS is coordinated by TU Wien, which o= ffers an outstanding research environment and numerous professional develop= ment opportunities. The Faculty of Informatics of TU Wien is the largest on= e in Austria and is consistently ranked among the best in Europe. The found= ing body of the LogiCS, the Austrian Science Fund (FWF), offers multiple fu= nding opportunities for young researchers to advance their independent scie= ntific careers. ______________________________________________________ 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 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the f= unding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.00= 0 EUR gross/year) * The funding can be extended for one additional year contingent on a place= ment at one of our international partner institutions. * The location of the research post is Vienna, Graz or Linz, Austria. ______________________________________________________ SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS ______________________________________________________ At the moment we are particularly looking for 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 * 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 ar= ising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ______________________________________________________ HOW TO APPLY ______________________________________________________ Detailed information about the application process is available on the Logi= CS web-page: https://logic-cs.at/phd/admission/ * The applicants are expected to have completed an excellent diploma or mas= ter=92s degree in computer science, mathematics, or a related field. * Candidates with comparable achievements will be considered on a case-by-c= ase basis. * Applications by the candidates need to be submitted electronically. Application Deadline: June 12, 2020 ______________________________________________________ LOGIC IN AUSTRIA ______________________________________________________ Austria has a highly active and successful logic in the computer science co= mmunity. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.aris= e.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ______________________________________________________ HIGHEST QUALITY OF LIFE ______________________________________________________ The Austrian cities Vienna, Graz, and Linz, located close to the Alps and s= urrounded by beautiful nature, provide an exceptionally high quality of lif= e, with a vibrant cultural scene, numerous cultural events, world-famous hi= storical sites, a large international community, a varied cuisine and famou= s coffee houses. If you decide to be located in Vienna, the city features a vibrant and exce= llence-driven research landscape, with several leading research institutes = (e.g., University of Vienna, IST, AIT, SBA) and universities continuously e= stablishing collaborations in various fields. Finally, Vienna has been cons= istently ranked by Mercer over the last years the best city for quality of = life worldwide. ______________________________________________________ ADDITIONAL INFORMATION ______________________________________________________ LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info@logic-cs.at --_000_158927740253760696tuwienacat_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable

______________________________________________________________________= ______________________________________
TU Wien (Vienna University of Technology= )
TU Graz (Graz University of Technology),= and
JKU Linz (Johannes Kepler University),

are seeking highly qualified candidates = for the joint doctoral program on Logical Methods in Computer Science (Logi= CS),
funded by the Austrian Science Fund (FWF= ).

We are recruiting up to 12 doctoral cand= idates for a starting period of 3 years, with a negotiable starting date.

Deadline: June 12, 2020
______________________________________________________________________= ______________________________________
The PhD program focuses on interdisciplinary research topics covering<= br>
=96 computational logic, and applications of logic to
=96 databases and artificial intelligence,
=96 computer-aided verification,
=96 security and privacy,
=96 cyber-physical systems, as well as to
=96 distributed systems.
______________________________________________________

THE PROGRAM
______________________________________________________

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

The LogiCS doctoral program offers top research expertise, and a stimulatin= g and supportive environment. The LogiCS is coordinated by TU Wien, which o= ffers an outstanding research environment and numerous professional develop= ment opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistentl= y ranked among the best in Europe. The founding body of the LogiCS, the Aus= trian Science Fund (FWF), offers multiple funding opportunities for young r= esearchers to advance their independent scientific careers.

______________________________________________________

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 12 very strong doctoral students.
* The doctoral positions are funded for at least 3 years according to the f= unding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.00= 0 EUR gross/year)
* The funding can be extended for one additional year contingent on a = placement at one of our international partner institutions.
* The location of the research post is Vienna, Graz or Linz, Austria. =

______________________________________________________

SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS
______________________________________________________

At the moment we are particularly looking for 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

* 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 ar= ising from machine learning

* Topology in distributed computing

* Quantified Boolean Formulas

______________________________________________________

HOW TO APPLY
______________________________________________________

Detailed information about the application process is available on the Logi= CS web-page: https://logic-cs.at/phd/admission/

* The applicants are expected to have completed an excellent diploma or mas= ter=92s degree in computer science, mathematics, or a related field.
* Candidates with comparable achievements will be considered on a case-by-c= ase basis.
* Applications by the candidates need to be submitted electronically.

Application Deadline: June 12, 2020

______________________________________________________

LOGIC IN AUSTRIA
______________________________________________________

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

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

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

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

______________________________________________________

HIGHEST QUALITY OF LIFE
______________________________________________________

The Austrian cities Vienna, Graz, and Linz, located close to the Alps and s= urrounded by beautiful nature, provide an exceptionally high quality of lif= e, with a vibrant cultural scene, numerous cultural events, world-famous hi= storical 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 instit= utes (e.g., University of Vienna, IST, AIT, SBA) and universities continuou= sly 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.

______________________________________________________

ADDITIONAL INFORMATION
______________________________________________________

LogiCS web-page: https://logic-cs.at/phd/admission/
For further information please contact: info@logic-cs.at
--_000_158927740253760696tuwienacat_--