Hiring one PhD student – University of Waterloo

October 15, 2025

Job Overview

Job Description

I (Kimon Fountoulakis) am hiring one PhD student. Subject: Reasoning and AI, with a focus on computational learning for long reasoning processes such as automated theorem proving and the learnability of algorithmic tasks.

Preferred background: A mathematics student interested in transitioning to computer science and machine learning.

However, I will also consider engineering and computer science students with a strong mathematical background.