Fully funded PhD studentships (4 years) in Vienna, Austria
Vienna University of Technology
Job TitleFully funded PhD studentships (4 years) in Vienna, Austria
Interested in obtaining a PhD in Computer Science, by woking on cutting edge research on hard computational problems?
The planned research involves the translation of hard problems from Artificial Intelligence by means of Python programs so that they can be solved by state-of-the-art symbolic solvers (like SAT-solvers, Max-SAT solvers, and SMT solvers).
Such translations or encodings are key for a successful application of the solvers. When the entire problem cannot be encoded, then new partial encodings need to be developed (see, e.g., the recent papers at AAAI'21 and NeurIPS'21).
For the encoding we can utilise or extend Python libraries like PySAT .
The work will include besides Python development also theoretical work, carrying out computational experiments and benchmarking, and scientific paper writing.
The positions are within the interdisciplinary Marie Skłodowska-Curie COFUND doctoral programme LogiCS@TUWien and is co-funded by the European Commission.
The successful candidates will be full-time employed including all Austrian's social security benefits. For details see the official call.
- No telecommuting
- No Agencies Please
- Applicants are expected to have completed a master’s degree in one of the following subjects: computer science, mathematics, or a related field (i.e., computer engineering, business informatics, etc.), but do not hold yet a doctoral degree
- Applicants must be from outside Austria: not have resided or carried out their main activity (work, studies, etc.) in Austria for more than 12 months between January 1, 2019 and December 30, 2021.
- Besides programming, background in discrete mathematics and algorithms is expected
- a letter of motivation (detailing previous research achievements, research goals, career plans)
- a complete CV, including a list of previous scientific expertise, awards, grants, stays abroad, attended lectures attended summer schools, attended workshops, skills, and publications (if applicable)
- an abstract of master’s thesis (in English)
- a complete list of completed studies and transcripts of all grades and an explanation of the grading system(s) used in these degree certificates.
- contact details of two reference persons (at least one academic) who are willing to provide a letter of recommendation. The letters should be sent to tuwdoc(AT)tuwien.ac.at before the application deadline.
- proof of proficiency in English (usually TOEFL/IELTS/CAE) or confirmation of previous studies (Bachelor, Master) in English at most three research projects (among the proposed ones)
- Applicants are required to commit to H2020 ethical principles and guidelines (Art. 19)
- Make sure to select one or more from the following research topics: (topic 10) Computer Search in Discrete Mathematics; (topic 11) Formal Methods in Computational Social Choice; (topic 12) SAT-Based Methods for Explainable Artificial Intelligence; (topic 13) Speeding up Algorithms with Machine Learning
December 30, 2021, via the online application portal
Informal inquiries are welcome: for general questions about the application procedure and eligibility: <msca AT vcla DOT at> and for scientific questions: <sz AT ac DOT tuwien DOT ac DOT at> (Prof. Stefan Szeider)
About the Company
TU Wien, Austria’s largest and most successful technical university, is located in the heart of Europe, in a vibrant city with one of the highest living standards in the World, the Faculty of Informatics of TU Wien ranks among the Top 20% research and teaching institutions in the field worldwide.
The PhD program provides a training that is designed to encourage interdisciplinarity between the involved fields by joint seminars, scientific workshops, and compulsory courses outside the PhD students’ research fields.
Apart from that, students will be involved in grant applications and conference organization. Each student will be supervised by two experienced and internationally renowned professors with different research fields.
The training will also provide a career development program, advice and support for students with innovative business ideas, and workshops for presentation and soft skills.