PhD Position on Machine Learning for Automated Reasoning
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 Computa…
