[DL] PhD position "Machine Learning for Automated Reasoning" (fully funded) @ University of Amsterdam

[Balder ten Cate]

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-Automated-Reasoning/787287002/
for more information.

The deadline for applications is March 11, 2024.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240202/159bedb6/attachment.htm>