3 software-formal-method-phd positions at University of Waterloo

Postdoctoral Fellowship in Quantum Computing

University of Waterloo | Waterloo South, Ontario | Canada | about 2 months ago

, what architectures do they need, how can computing be done on them - Developing software for efficient comparisons and resource estimation - Exploratory research in novel computing methods, code

Postdoctoral Fellow in Agentic AI for Scientific Discovery

University of Waterloo | Waterloo South, Ontario | Canada | about 2 months ago

interact with proprietary scientific software. Crucially, this project places equal emphasis on methodology (building capable agents) and evaluation (defining how we measure agentic success). You will join a

Research Assistant Professor, Physics of Information and AI Lab

University of Waterloo | Waterloo South, Ontario | Canada | 2 months ago

, the opportunity to teach if desired, funding for travel and equipment, and top local pay. The successful candidate must have a PhD in Applied Mathematics, Theoretical Physics, or a related field. Evidence of