Joint Doctoral Program Logic And Computation
LOGIC AND COMPUTATION AT TU WIEN
In the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle, the application of mathematical logic to the sciences has a long and rich tradition. Technische Universität Wien is focusing on logical methods in computer science. Based on a strong expertise in both mathematical foundations and applications to the real world, university is making contributions to theory as well as algorithms, databases, artificial intelligence, knowledge representation, theorem proving, formal methods, model checking, programming languages and security. Specialized Master and Doctoral programs are educating international top talent towards successful careers in industry and academia.
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS to work in the following fundamental fields of computer science:
- Computational Logic
proof theory, computational complexity and automated deduction
- Databases / Artificial Intelligence
applications of logic to databases and articial intelligence
computer-aided verification, in particular model checking
In the years 2018-2022, the doctoral college will admit 16 PhD students where 30% of the positions are reserved for female candidates. PhD students will be employed as researchers.
Applicants may state their preference for an advisor or research field in the admission form. Assignment to the PhD advisor and one or more co-advisors should be decided at the point of admission to the program.
- Applications can be submitted at any time.
- The evaluation of applications will start on 1st of March, 2018.
- The positions will be filled on continuous basis till October 2018.
TU Vienna, TU Graz and JKU doctoral students from Austria, EU or EEA countries, and students with a residence permit for researchers are exempt from tuition fees for four years. All doctoral students of the LogiCS program fall into one of these categories. Tuition fees are waived even after four years for students who are citizens of lesser developed countries, refugees, disabled people, or in the case of primary care of children up to the age of seven.
Shortlisted students will be invited for two rounds of interviews by video-conference and face to face.
Who is Eligible?
TU Vienna invites applicants from all countries to apply. Candidates should hold a MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. In exceptional cases outstanding students with excellent marks on their Bachelor’s degree can also be admitted. Previous knowledge in the areas of the doctoral college (computational logic, databases/AI, verification) is desirable but not required.
How to Apply
Please download the application form from website and follow the instructions. All information provided in the application form must be accurate and complete. All correspondence will be made via e-mail using the e-mail address you have specified in the online application form. Please check your e-mails regularly and keep your mailbox ready to receive. Send your application by email.
Attach 2 separate PDF files as follows:
Important: The PDF form has to be filled out electronically and saved in PDF format. To ensure the data is saved properly, TU Vienna recommends that you use Adobe Reader. TU Vienna cannot accept scanned versions – the form will be processed electronically.
All other required documents in the order stated below. Please merge all these documents (except the application form) into a single PDF file named documents.pdf. The file size should not exceed 5 MB.
- 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
At least one of your referees should have a scientific background.
If your referees prefer, letters of recommendation may be sent separately to email@example.com clearly indicating the applicant’s name.
- Certificate of English language proficiency
- Scan of the applicant’s passport
Only the pages containing your personal data and picture.
- Officially certified transcripts of degree certificate(s)
Only for non-EU citizens (excl. Swiss nationals).
- Optional: Research proposal
If the subject and file names were correct, you will receive an automatically generated confirmation email. Please recheck the subject and file names if you do not receive such an email! In case of subsequent corrections of a successful submission please contact us and do not submit the form a second time. If committee receives two or more application forms from the same person, they will not consider any of them.
English Language Proficiency
Non-native English speakers need to ensure that their English proficiency meets the doctoral program’s requirements to fully benefit from their courses. The doctoral program encourages applicants to provide the following tests/scores for English language qualifications:
- TOEFL score of at least 550 paper-based, 217 computer-based or 81 internet-based
- IELTS score 6.0 or higher
- CAE score B or higher
However, command of the English language can be proven in many ways, depending on a student’s prior education. To this end, students should hand in any language certificates, diplomas, etc. as a part of the application documents. Applicants’ adequate command of the English language will also be assessed during the application interviews.
For more information click "LINK TO ORIGINAL" below.