We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for the joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 41 students.
LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering
(i) computational logic,
(ii) databases and artificial intelligence,
(iii) computer-aided verification, and
(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.
Details are provided on: http://logic-cs.at/phd/faculty/
POSITIONS AND FUNDING
4-years fully funded 16 positions, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/). Additional positions will be available through other funding.
HOW TO APPLY
The applicants are expected to have completed an excellent master’s degree in computer science, mathematics, or a related field.
Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically.
Applications will be screened on the following dates:
July 1, 2018
September 1, 2018
September 15, 2018
The positions will be filled on continuous basis till October 2018.
Applications by the candidates need to be submitted electronically.
Detailed information: http://logic-cs.at/phd/admission/
For further information please contact: firstname.lastname@example.org