Logic List Mailing Archive

CfA: PhD position "Machine Learning for Automated Reasoning" (fully funded), Amsterdam (The Netherlands), Deadline: 11 March 2024

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.

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php