PhD position in Logic/learning/solving at the University of Helsinki

[Andrew Cropper]

I am recruiting a 4-year PhD student to work on logical reasoning and machine learning. The focus is on program synthesis / inductive logic programming, specifically using automated reasoning techniques such as SAT/ASP/SMT solvers. However, there is plenty of scope to push the project in a certain direction, such as focusing on ensemble methods or hypothesis selection methods.

More details here: https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Logical-Reasoning-and-Machine-Learning/1361148757/ and here: https://andrewcropper.com/join

If interested, please email me at andrew....@helsinki.fi