16 New PhD Positions on Logical Methods in Computer Science in Austria

Deadline: ongoing
Open to: applicants who have completed an excellent master’s degree in computer science, mathematics, or a related field
Benefit: doctoral students will be employed as a researcher at a yearly salary of EUR 21,284.48 after taxes and social/health insurance deductions (effective January 2017; the average Austrian salary over all age groups is EUR 20,543.00). There are additional salary supplements and tax deductions for families with children.

The 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. This program 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.

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,

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 invite 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.

The LogiCS program is funded by the Austrian Science Fund (Fonds zur Förderung der wissenschaftlichen Forschung, FWF). In accordance with FWF regulations and the collective bargaining agreement of the Austrian universities, the doctoral students will be employed as a researcher at a yearly salary of EUR 21,284.48 after taxes and social/health insurance deductions (effective January 2017; the average Austrian salary over all age groups is EUR 20,543.00). There are additional salary supplements and tax deductions for families with children.

Austria has a compulsory social security system, which provides accident and health insurance as well as retirement and social benefits. All LogiCS students are insured with the Versicherung öffentlicher Bediensteter, which provides accident and health insurance. Pension contributions/retirement benefits are regulated by the social security act (ASVG).

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.

Please download the application form and follow the instructions below. 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.

Email your filled out application form, together with all required application documents to dk-apply@logic-cs.at. The subject must be DKLOGICS.

Attach 2 separate PDF files as follows:

Application form
Important: The PDF form has to be filled out electronically and saved in PDF format. To ensure the data is saved properly, we recommend that you use Adobe Reader. We 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 info@logic-cs.at clearly indicating the applicant’s name.
Certificate of English language proficiency (see below)
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 we receive two or more application forms from the same person, we will not consider any of them.

The official web-page.

(Visited 35 times, 1 visits today)
This website stores some user agent data. These data are used to provide a more personalized experience and to track your whereabouts around our website in compliance with the European General Data Protection Regulation. If you decide to opt-out of any future tracking, a cookie will be set up in your browser to remember this choice for one year. I Agree, Deny