Date: Tue, 2 Jun 2020 17:28:27 +0200 From: Mihaela Rozman <mihaela.rozman@tuwien.ac.at> To: <freebsd-embedded@freebsd.org> Subject: 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020 Message-ID: <1ee501d638f2$76d6fb90$6484f2b0$@tuwien.ac.at>
next in thread | raw e-mail | index | archive | help
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=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 = <mailto: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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1ee501d638f2$76d6fb90$6484f2b0$>