Open PhD Position on Machine Learning for Automated Reasoning

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

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.

 

Read everything here.