Overview
This Logical Methods in Computer Science program at Vienna University of Technology is aimed at highly motivated students who want to work in the field of 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.
Features
- While many of the basic questions in computer science are now well understood, its role in science, technology, and everyday results in ever new challenges and big open research questions that require computers to perform non-trivial reasoning tasks.
- Logic plays a key role in this evolving phase of computer science, similar to the role of calculus in the development of physics and engineering,
Programme Structure
Curriculum:
- Logic plays a key role in this evolving phase of computer science, similar to the role of calculus in the development of physics and engineering,
- 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.
- We continue this tradition, using logic as a tool that enables computer programs to reason about the world.
- These reasoning tasks allow a natural classification into two broad areas: we can use logic to reason about the outside world, as well as to reason about computer programs themselves.
Key information
Duration
- Full-time
- 36 months
Start dates & application deadlines
- StartingApplication deadline not specified.
Language
Delivered
Disciplines
Computer Sciences View 4 other PhDs in Computer Sciences in AustriaAcademic requirements
We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.
English requirements
Other requirements
General requirements
- Evidence of prior achievement
- Degree certificates (Bachelor’s and Master’s degree or higher) of a post-secondary education institution including course transcripts and an explanation of the grading system(s) used in these degree certificates.
- Abstract of diploma / Master’s thesis
- Curriculum Vitae
- Motivation Letter
- At least two letters of recommendation
Tuition Fee
-
International
FreeTuition FeeBased on the tuition of 0 EUR per year during 36 months. -
EU/EEA
FreeTuition FeeBased on the tuition of 0 EUR per year during 36 months.
Living costs for Vienna
The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.
Funding
In order for us to give you accurate scholarship information, we ask that you please confirm a few details and create an account with us.
Scholarships Information
Below you will find PhD's scholarship opportunities for Logical Methods in Computer Science.
Available Scholarships
You are eligible to apply for these scholarships but a selection process will still be applied by the provider.
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility
Read more about eligibility