Your research will be part of the Theoretical Computer Science unit of the ILLC, and will concern use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).

What are you going to do?

You will be expected to: complete and defend a PhD thesis within the official appointment duration of four years; present research results regularly at international workshops and conferences, and to publish them in conference proceedings and journals; participate in and to contribute to the organisation of research activities and events at the Institute, such as workshops and colloquia; make a small contribution to the FNWI’s educational mission, by working as a teaching assistant for courses in your area of expertise and by assisting with the supervision of students’ research projects; Contribute to UvA’s research programme on artificial intelligence.