• About
  • Blog
  • Communities
  • For companies
POSTED 167 DAYS AGO

Vienna University of Technology

Fully 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.

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.


  • No telecommuting
  • No Agencies Please

Requirements

Eligibility

  • 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: <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.

Skills + Tech

CDMAKEARTIFICIAL INTELLIGENCEALGORITHMS

Fully funded PhD studentships (4 years) in Vienna, Austria

Seniority level

Not mentioned

Contract type

Negotiable

Salary range

Not Informed
POSTED 167 DAYS AGO

Seniority level

Not mentioned

Contract type

Negotiable

Salary range

Not Informed