Vienna University of Technology
Logical Methods in Computer Science – LogiCS doctoral program
Vienna University of Technology
Through our research we “develop scientific excellence”, through our teaching we “enhance comprehensive competence”.
Visit employer page
JOB DETAILS
Published: 18 days ago
Application deadline: Aug 31
Location: Vienna, Austria
You need to sign in or create an account to save this job
Please mention that you found this job on Academic Positions when applying.
SHARE THIS JOB

Logical Methods in Computer Science – LogiCS doctoral program

The Logical Methods in Computer Science – LogiCS doctoral program is a PhD degree program, funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities TU Wien (Vienna University of Technology), Graz University of Technology and Johannes Kepler University Linz.

Why study Logical Methods in Computer Science?

 LogiCS offers an international program characterized by the unique combination of disciplines where logical methods decisively impact practical computer science.

Logic is a powerful reasoning tool. Originally invented as an aid for sound argumentation, it reached maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna. LogiCS continoues this tradition, using logic as a tool that enables computer programs to reason about the world.

Successful applicants will work on interdisciplinary research topics covering

  1. computational logic,
  2. databases and artificial intelligence,
  3. computer-aided verification, and
  4. emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

POSITIONS AND FUNDING

We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates.

The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund.

Additional positions will be available through other funding.

FACULTY

The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching, and advising, complemented by 14 associated members who further strengthen the research and teaching activities of the college, as well as visiting professors and frequent guests.

International recognition of their work is reflected by (among others): 4 European research Council – ERC Grants, two START Prizes, a Wittgenstein Award; the Lovelace Medal by the British Computer Society; memberships in the Austrian Academy of Sciences as well as German Academy of Science, Academia Europaea;  fellowships in the British Royal Society, ACM, ECCAI (European Association for Artificial Intelligence), Christian Doppler Laboratories; numerous grants by the Austrian and the Vienna Science Fund.

HOW TO APPLY

The applicants are expected to have completed an excellent bachelor’s and master's degree in computer science, mathematics, or a related field.

Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis.

Applications will be screened on the following dates:

  • May 1, 2018
  • June 1, 2018
  • July 1, 2018
  • September 1, 2018

The positions will be filled on continuous basis till October 2018.

Applications by the candidates need to be submitted electronically.

Detailed information: http://logic-cs.at/phd/admission/

Research and Live in Austria?

Vienna has a prominent history in mathematics, computer science, and logic research (Kurt Gödel, Vienna Circle, …).

Additionally, it has repeatedly been ranked number 1 in the Mercer Quality of Living Survey.

Video presentation on how is it to study LogiCS from a student perspective: https://www.youtube.com/watch?v=0SmyzoyVhGQ

Continue reading
You need to sign in or create an account to save this job

SUBSCRIBE TO JOBS LIKE THIS

2 JOBS FROM THIS EMPLOYER

Vienna University of Technology
Vienna University of Technology
Location: Vienna, Austria | Closing on Jun 10
Call for 4-years funded doctoral positions - Doctoral program on resilient embedded systems
TU Wien and FH Technikum Wien are seeking exceptionally talented and motivated students for their joint doctoral program on Resilient Embedded Systems. DOCTORAL PROGRAM ON RESILIENT EMBEDDED SYSTEMS This program is aimed at highly motivated students who want to work in...
Vienna University of Technology
Vienna University of Technology
Location: Vienna, Austria
Research Assistant (m/f) at the Institute of Mechanics and Mechatronics
The Institute of Mechanics and Mechatronics is located at the Faculty of Mechanical and Industrial Engineering of the TU Wien. Our research team is made up of graduates from a wide range of disciplines such as mathematics, physics, mechanical engineering and industrial...