PhD position on SAT-based machine learning at the University of Helsinki + ELLIS Institute Finland
One 4-year PhD position to work on logical reasoning and symbolic machine learning at the University of Helsinki + ELLIS Institute Finland.
The focus is on using SAT/ASP/SMT/MaxSAT methods for program synthesis / inductive logic programming.
If interested, please email Andrew Cropper for more information at andrew.cropper@helsinki.fi.
