From owner-freebsd-embedded@freebsd.org Tue Jun 2 15:28:36 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 924D12F2206 for ; Tue, 2 Jun 2020 15:28:36 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw1.intern.tuwien.ac.at (secgw1.intern.tuwien.ac.at [IPv6:2001:629:1005:30::71]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 49bwtC0yK0z46fH for ; Tue, 2 Jun 2020 15:28:34 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 052FSVSE024082 for ; Tue, 2 Jun 2020 17:28:31 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 879 for ; Tue, 2 Jun 2020 17:28:30 +0200 (CEST) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 052FSUrp024068 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 2 Jun 2020 17:28:30 +0200 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; Tue, 2 Jun 2020 17:28:30 +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 17:28:30 +0200 From: Mihaela Rozman To: References: In-Reply-To: Subject: 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020 Date: Tue, 2 Jun 2020 17:28:27 +0200 Message-ID: <1ee501d638f2$76d6fb90$6484f2b0$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQFB0e8YbnkbyBM0HCdj8NGhuc9fFanuQQlw 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) X-Rspamd-Queue-Id: 49bwtC0yK0z46fH X-Spamd-Bar: / Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::71) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [0.17 / 15.00]; ARC_NA(0.00)[]; SUBJECT_ENDS_SPACES(0.50)[]; RCVD_COUNT_FIVE(0.00)[6]; NEURAL_HAM_MEDIUM(-0.54)[-0.545]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; NEURAL_SPAM_SHORT(0.18)[0.182]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_SPAM_LONG(0.03)[0.033]; RCVD_IN_DNSWL_NONE(0.00)[2001:629:1005:30::71:from]; R_SPF_NA(0.00)[no SPF record]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT]; RCVD_TLS_LAST(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none] Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 02 Jun 2020 15:28:36 -0000 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=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