Are you interested to work, in an interdisciplinary research setting, on topics at the intersection of logic, machine learning and automated reasoning? The Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam is looking for a talented PhD candidate. Your research will concern the use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).

See https://vacatures.uva.nl/UvA/job/PhD-Position-on-Machine-Learning-for-Automa... for more information.

The deadline for applications is March 11, 2024.