Logical Methods in Computer Science, Doctorate | Vienna University of Technology | Vienna, Austria
Studyportals
Doctorate On Campus

Logical Methods in Computer Science

36 months
Duration
Free
Free
Unknown
Unknown
Unknown
Apply date
Unknown
Start date

About

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

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

Language

English
TOEFL admission requirements TOEFL® IBT
81

Delivered

On Campus

Academic requirements

We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.

English requirements

TOEFL admission requirements TOEFL® IBT
81

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

To always see correct tuition fees
  • International

    Free
    Tuition Fee
    Based on the tuition of 0 EUR per year during 36 months.
  • EU/EEA

    Free
    Tuition Fee
    Based on the tuition of 0 EUR per year during 36 months.

Living costs for Vienna

861 - 1331 EUR /month
Living costs

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.

Loading

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.

Independent provider
Grant
3500 USD
Deadline
15 Nov 2024
ACES Scholarships
Merit-based Need-based

Read more about eligibility

ACES Education Fund
Location not available
Independent provider
Grant
1000 USD
Deadline
30 Nov 2024
ServiceScape Scholarship
Merit-based Need-based

Read more about eligibility

ServiceScape
Location not available
Independent provider
Grant
Various benefits
Deadline
14 Oct 2024
Fulbright U.S. Student Program
Merit-based Need-based

Read more about eligibility

U.S. government
Location not available
Independent provider
Grant
1600 USD
Deadline
30 Apr 2024
Mozida African Master Scholarship
Merit-based

Read more about eligibility

Mozida Foundation
Location not available
Independent provider
Grant
90000 AUD
Deadline
Not specified
World Universities Ramsay Postgraduate Scholarship
Merit-based Need-based

Read more about eligibility

The Ramsay Centre
Location not available
Independent provider
Grant
3000 USD
Deadline
31 Dec 2025
Scholarship for students with disabilities
Need-based

Read more about eligibility

Anonymous Hope Fund
Location not available
Independent provider
Grant
12000 USD
Deadline
30 Nov 2024
Tobacco Harm Reduction Scholarship Programme
Merit-based Need-based

Read more about eligibility

The Tobacco Harm Reduction Scholarship Programme
Location not available
Independent provider
Grant
3000 USD
Deadline
Not specified
Anonymous Hope Fund
Merit-based Need-based

Read more about eligibility

Anonymous Hope Fund
Location not available
Independent provider
Grant
3000 USD
Deadline
Not specified
AAPG Foundation Grants-in-Aid
Merit-based Need-based

Read more about eligibility

American Association of Petroleum Geologists Foundation
Location not available
Independent provider
Grant
1500 USD
Deadline
15 May 2024
iVisa Annual Scholarship
Merit-based

Read more about eligibility

iVisa
Location not available
Independent provider
Grant
1500 USD
Deadline
31 Mar 2024
The Annual IELTS from 6 to 9 Scholarship
Merit-based Need-based

Read more about eligibility

IELTS from 6 to 9
Location not available
Independent provider
Grant
1000 USD
Deadline
31 Oct 2024
$1,500 Annual Video Contest Scholarship
Merit-based

Read more about eligibility

IvyPanda
Location not available
Independent provider
Grant
1000 USD
Deadline
30 Jun 2024
$1,500 Annual Essay Writing Contest Scholarship
Merit-based Need-based

Read more about eligibility

IvyPanda
Location not available
Independent provider
Grant
500 USD
Deadline
30 Apr 2024
Biotin Xtreme Hair Care Annual Scholarship 2023: Empowering The Future Of Hair Care
General Scholarships

Read more about eligibility

Biotin Xtreme Hair Care
Location not available
Independent provider
Grant
1500 USD
Deadline
31 Jul 2024
Spreadsheet Gladiator Scholarship
Merit-based Need-based

Read more about eligibility

Coefficient
Location not available

Other interesting programmes for you

Our partners

Logical Methods in Computer Science
Vienna University of Technology
Logical Methods in Computer Science
-
Vienna University of Technology

Wishlist

Go to your profile page to get personalised recommendations!