I am hiring a PhD student to work on fundamental Inductive Logic Programming (ILP) research. The topic is flexible, such as using SAT/ASP/MaxSAT solvers or exploring Bayesian methods for noisy data. If interested, please email andrew.cropper@helsinki.fi with your CV.
Our research is driven by testable hypotheses. To make a scientific contribution, we must understand why something works. Experiments should try to show that a claim is wrong by isolating the key variable. Often, the most important baseline is a version of an algorithm with and without the new idea. Hypotheses should be theoretically characterised, and results must be supported by statistical analysis. Simply beating the state-of-the-art is not science.
Nature. The department is next to a forest and the sea is 5 minutes away by bike. You can go to the beach in summer or go skiing and ice skating in winter, all within 15 minutes of the department.
Infrastructure. Everything works well. Public transport is cheap, clean, and runs on time.