Doctoral College on Logical Methods in Computer Science, Vienna

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering

• computational logic, and applications of logic to
• databases and artificial intelligence as well as to
• computer-aided verification.

In the years 2014-2018, the doctoral college will admit 30 PhD students. 10 positions are reserved for female applicants. The positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund. The funding can be extended for one additional year contingent on a placement at one of our international partner institutions.

For more information, see http://logic-cs.at/phd/