12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
Mihaela Rozman <[email protected]> Tue, 2 Jun 2020 15:12:12 +0200
| Newsgroups | gmane.comp.web.rdf |
|---|---|
| Message-ID | <[email protected]> |
------=_NextPart_000_1760_01D638F0.3132D610 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=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: [email protected] = <mailto:[email protected]>=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 ------=_NextPart_000_1760_01D638F0.3132D610 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <html xmlns:v=3D"urn:schemas-microsoft-com:vml" = xmlns:o=3D"urn:schemas-microsoft-com:office:office" = xmlns:w=3D"urn:schemas-microsoft-com:office:word" = xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" = xmlns=3D"http://www.w3.org/TR/REC-html40"><head><meta = http-equiv=3DContent-Type content=3D"text/html; charset=3Dutf-8"><meta = name=3DGenerator content=3D"Microsoft Word 15 (filtered = medium)"><style><!-- /* Font Definitions */ @font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4;} @font-face {font-family:Calibri; panose-1:2 15 5 2 2 2 4 3 2 4;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {margin:0cm; margin-bottom:.0001pt; font-size:11.0pt; font-family:"Calibri",sans-serif; mso-fareast-language:EN-US;} a:link, span.MsoHyperlink {mso-style-priority:99; color:#0563C1; text-decoration:underline;} a:visited, span.MsoHyperlinkFollowed {mso-style-priority:99; color:#954F72; text-decoration:underline;} p.msonormal0, li.msonormal0, div.msonormal0 {mso-style-name:msonormal; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; font-size:11.0pt; font-family:"Calibri",sans-serif;} span.EmailStyle18 {mso-style-type:personal; font-family:"Calibri",sans-serif; color:windowtext;} span.EmailStyle19 {mso-style-type:personal; font-family:"Calibri",sans-serif; color:windowtext;} span.EmailStyle20 {mso-style-type:personal-reply; font-family:"Calibri",sans-serif; color:windowtext;} .MsoChpDefault {mso-style-type:export-only; font-size:10.0pt;} @page WordSection1 {size:612.0pt 792.0pt; margin:70.85pt 70.85pt 2.0cm 70.85pt;} div.WordSection1 {page:WordSection1;} --></style><!--[if gte mso 9]><xml> <o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" /> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext=3D"edit"> <o:idmap v:ext=3D"edit" data=3D"1" /> </o:shapelayout></xml><![endif]--></head><body link=3D"#0563C1" = vlink=3D"#954F72"><div class=3DWordSection1><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><p = class=3DMsoNormal>TU Wien (Vienna University of = Technology)<o:p></o:p></p><p class=3DMsoNormal>TU Graz (Graz University = of Technology), and <o:p></o:p></p><p class=3DMsoNormal>JKU Linz = (Johannes Kepler University),<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>are seeking = highly qualified PhD candidates for the joint doctoral program on = Logical Methods in Computer Science (LogiCS), <o:p></o:p></p><p = class=3DMsoNormal>funded by the Austrian Science Fund (FWF). = <o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>We are recruiting up to 12 <span lang=3DEN-GB>fully = funded </span>doctoral candidates for a starting period of 3 = years.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>STARTING DATE: Negotiable<o:p></o:p></p><p = class=3DMsoNormal>LOCATION: Vienna or Graz, Austria (candidate=C2=B4s = choice)<o:p></o:p></p><p class=3DMsoNormal>SALARY: The PhD candidates = receive an employment contract <o:p></o:p></p><p = class=3DMsoNormal>DEADLINE: June 12, 2020<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>WEBSITE: <a = href=3D"https://logic-cs.at/phd">https://logic-cs.at/phd</a> = <o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><p = class=3DMsoNormal>The PhD program focuses on interdisciplinary research = topics covering<o:p></o:p></p><p class=3DMsoNormal>=E2=80=93 = computational logic, and applications of logic to<o:p></o:p></p><p = class=3DMsoNormal>=E2=80=93 databases and artificial = intelligence,<o:p></o:p></p><p class=3DMsoNormal>=E2=80=93 = computer-aided verification,<o:p></o:p></p><p = class=3DMsoNormal>=E2=80=93 security and privacy,<o:p></o:p></p><p = class=3DMsoNormal>=E2=80=93 cyber-physical systems, as well as = to<o:p></o:p></p><p class=3DMsoNormal>=E2=80=93 distributed = systems.<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>RESEARCH AREAS<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>At the moment we are particularly looking for PhD = candidates interested in the following areas:<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Automated = Software Verification<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* = Description Logics<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Epistemic = logic in distributed computing<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Game-based = Semantics<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* Fixed-Parameter Algorithms and = Complexity<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* Formal Verification of hybrid = systems<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* Knowledge Representation and = Reasoning<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* Model Checking<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Modeling = and analysis of digital integrated circuits<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Networking = and Communication Technology<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Normative = Reasoning<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* Ontology-based Data Access<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Security = and Privacy<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* Scheduling and logic programming<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Study of = the Interaction between rules from a knowledge base and rules arising = from machine learning<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Topology = in distributed computing<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* Quantified = Boolean Formulas<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>THE PROGRAM<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>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.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>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.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>FACULTY MEMBERS<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>- E. = Bartocci<o:p></o:p></p><p class=3DMsoNormal>- A. Biere<o:p></o:p></p><p = class=3DMsoNormal>- R. Bloem<o:p></o:p></p><p class=3DMsoNormal>- A. = Ciabattoni<o:p></o:p></p><p class=3DMsoNormal>- T. = Eiter<o:p></o:p></p><p class=3DMsoNormal>- G. Gottlob<o:p></o:p></p><p = class=3DMsoNormal>- R. Grosu<o:p></o:p></p><p class=3DMsoNormal>- L. = Kovacs<o:p></o:p></p><p class=3DMsoNormal>- M. Maffei<o:p></o:p></p><p = class=3DMsoNormal>- M. Ortiz<o:p></o:p></p><p class=3DMsoNormal>- U. = Schmid<o:p></o:p></p><p class=3DMsoNormal>- M. Seidl<o:p></o:p></p><p = class=3DMsoNormal>- S. Szeider<o:p></o:p></p><p class=3DMsoNormal>- G. = Weissenbacher<o:p></o:p></p><p class=3DMsoNormal>- S. = Woltran<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>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.<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>POSITIONS AND FUNDING<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>* We are = looking for 12 very strong doctoral students.<o:p></o:p></p><p = class=3DMsoNormal>* The doctoral positions are funded for at least 3 = years according to the funding scheme of the Austrian Science Fund (FWF) = <span lang=3DEN-GB>(EMPLOYMENT CONTRACT)<o:p></o:p></span></p><p = class=3DMsoNormal>* The location of the research post is Vienna or Graz, = Austria. <o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>HOW TO APPLY<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>Detailed = information about the application process is available on the LogiCS = web-page: <a = href=3D"https://logic-cs.at/phd/admission/">https://logic-cs.at/phd/admis= sion/</a><o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>* The applicants are expected to have completed an = excellent diploma or master=E2=80=99s degree in computer science, = mathematics, or a related field.<o:p></o:p></p><p class=3DMsoNormal>* = Candidates with comparable achievements will be considered on a = case-by-case basis.<o:p></o:p></p><p class=3DMsoNormal>* Applications by = the candidates need to be submitted electronically.<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>Application = Deadline: June 12, 2020<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>LOGIC IN AUSTRIA<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>Austria = has a highly active and successful logic in the computer science = community. Recent activities include:<o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>Austrian = Research Network in Rigorous Systems Engineering - <a = href=3D"http://www.arise.or.at">http://www.arise.or.at</a><o:p></o:p></p>= <p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>Vienna = Center for Logic and Algorithms - <a = href=3D"http://www.vcla.at">http://www.vcla.at</a> <o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>International Kurt Goedel Society - <a = href=3D"http://www.kgs.logic.at">http://www.kgs.logic.at</a> = <o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>HIGHEST QUALITY OF LIFE<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>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.<o:p></o:p></p><p class=3DMsoNormal>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.<o:p></o:p></p><p class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>ADDITIONAL INFORMATION<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal><o:p> </o:p></p><p class=3DMsoNormal>LogiCS = web-page: <a = href=3D"https://logic-cs.at/phd/admission/">https://logic-cs.at/phd/admis= sion/</a> <o:p></o:p></p><p class=3DMsoNormal>For further information = please contact: <a = href=3D"mailto:[email protected]">[email protected]</a><o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>TWITTER<o:p></o:p></p><p = class=3DMsoNormal>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<o:p></o:p></p><= p class=3DMsoNormal>@vclaTUwien <o:p></o:p></p><p = class=3DMsoNormal><o:p> </o:p></p></div></body></html> ------=_NextPart_000_1760_01D638F0.3132D610--