Helsinki Innovation Services Ltd is seeking a Doctoral Researcher in Logical Reasoning and Machine Learning. This role focuses on combining automated reasoning techniques with inductive logic programming, where you'll develop algorithms, run experiments, and present your findings at conferences.

The position requires a master's degree in computer science or a related field. Strong English language skills and prior experience in logic are desirable. The application deadline is June 15, 2026. Ideal start date is before September 2026.