Doctoral student in hierarchical reinforcement learning for "AI for Math".

Job description

Are you interested in AI, in particular, reinforcement learing? We are looking for an enthusiastic and motivated student to join us as a Ph.D., student in the Data Science and AI (DSAI) division at Chalmers to explore exciting new directions with hierarchical reinforcement learning! About us The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links and diverse environment create a collaborative setting where ideas grow into real impact. At the https://www.chalmers.se/en/departments/cse/our-research/data-science-and-ai/, we develop data-driven methods and AI solutions that support intelligent decisions across society, advancing machine learning techniques, from foundations to industrial and scientific applications. There has been a long standing and world leading research programme in formalizing mathematics at the department, funder by ERC advanced grants and Wallenberg projects. A new initiative is to bring in AI techniques into automating theorem provers and proof assistants for the exciting new area of "AI for math". A ne...