PhD Positions in Computer Science, LogiCS Doctoral Program, Austria (2016)

The LogiCS doctoral program is a PhD degree program funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities; Vienna University of Technology, Graz University of Technology and Johannes Kepler University Linz. In the years 2014-2018, the doctoral college will admit 30 PhD students. This program is aimed at highly motivated students who want to work in one of three fundamental fields of computer science:

- Computational Logic: proof theory, computational complexity and automated deduction;
- Databases / Artificial Intelligence: applications of logic to databases and artificial intelligence;
- Verification: computer-aided verification, in particular model checking.

Eligibility
- From countries all around the world;
- Holders of 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;
- 10 of the positions are reserved for female applicants;
- Non-native English speakers need to ensure that their English proficiency meets the doctoral program’s requirements to fully benefit from their courses;
- Applicants’ adequate command of the English language will also be assessed during the application interviews.

Scholarship
- The doctoral students will be employed as a researcher at a yearly salary of EUR 20,047.38 after taxes and social/health insurance deductions (effective April 2014; the average Austrian salary over all age groups is EUR 20,596.00);
- There are additional salary supplements and tax deductions for families with children.

For more information, please visit:
http://www.mladiinfo.eu