University of Helsinki
The University of Helsinki is recruiting a PhD student to conduct fundamental research in inductive logic programming and machine learning. The role involves developing new algorithms using automated reasoning techniques like SAT/ASP/SMT solvers, running experiments, and publishing conference papers under the supervision of Andrew Cropper.
The University of Helsinki is the oldest and largest institution of academic education and research in Finland. It is a scientific community of 40,000 students and researchers
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for University of Helsinki.
70% below the average for this role
Applied Scientist - Automated Reasoning
Markon
Principal Engineer, Compilers & Formal Methods
NVIDIA
Senior Agentic Reasoning Researcher
Huawei Technologies
Postdoc Cyclic Programming and Reasoning
Delft University of Technology
Research Scientist New College Grad 2027 Armenia Yerevan
NVIDIA
Postdoctoral Researcher
McGill University