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.

  • 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

Application documents
  • 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

Application Deadline

December 30, 2021, via the online application portal

Informal inquiries are welcome: for general questions about the application procedure and eligibility: and for scientific questions: (Prof. Stefan Szeider)

Source: Python.org Jobs Feed