查尔摩斯工学院PhD position in hierarchical reinforcement learning for "AI for Math".申请条件要求-申请方
主办方
查尔摩斯工学院
PhD直招介绍
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 Department of Computer Science and Engineering( 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 division of Data Science and AI( 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 new research group has crystallized that brings together expertise from several areas besides AI, including formal methods, theorem proving, NLP and cognitive science. The group has a network of very strong international collaborators that the student will become a part of - we will be organizing a seminar on the theme at a Mittag -Leffler conference on "Ai for Math"( https://www.mittag-leffler.se/activities/ai-for-mathematics/ ).
About the research project
The project is about build on recent advances in heierarchical reinforcement learning (HRL) and to explore its use in AI for Math. Can HRL techniques be used to automate proofs and generate interesting conjectures and lemmas in an interactive theorem prover? Human mathematicians typically decompose a big proof into smaller lemmas. HRL is a natural technique to create an automated system to decompose proofs into smaller components. For exciting developments in the area of "AI for Math", see the blog posts of Terry Tao( https://terrytao.wordpress.com/2026/03/29/mathematical-methods-and-human-thought-in-the-age-of-ai/ ), one of the world's top mathematicians.
The project is funded by WASP( https://wasp-sweden.org/ ), Sweden's national AI initiative and will be carried out in a strong research environment in this area, in collaboration with ERC advanced grant projects (of faculty in the division).
What you will do
Conduct research and aim for publications in top venues in modern AI (such as NeurIPS, ICML, AAAI etc).Take courses at an advanced level within the WASP Graduate school.( https://wasp-sweden.org/graduate-school/ )
Develop your own scientific concepts and communicate the results of your research verbally and in writing
The position generally also includes teaching on Chalmers' undergraduate level or performing other duties corresponding to 20 percent of working hours
We look forward to your application!
*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. ***
Chalmers University of Technology in Gothenburg conducts research and education in technology and natural sciences at a high international level. The university has 3100 employees and 10,000 students, and offers education in engineering, science, shipping and architecture. With scientific excellence as a basis, Chalmers promotes knowledge and technical solutions for a sustainable world. Through global commitment and entrepreneurship, we foster an innovative spirit, in close collaboration with wider society.
Chalmers was founded in 1829 and has the same motto today as it did then: Avancez – forward.
Chalmers University of Technology conducts research and education in engineering sciences, architecture, mathematical sciences, natural and nautical sciences, working in close collaboration with industry and society. The strategy for scientific excellence focuses on our eight Areas of Advance; Built Environment, Energy, Information & Communication Technology, Life Science, Materials Science, Nanoscience & Nanotechnology, Production and Transport. The aim is to make an active contribution to a sustainable future using the basic sciences as a foundation and innovation and entrepreneurship as the central driving forces. Chalmers has around 11,000 students and 3,000 employees. New knowledge and improved technology have characterised Chalmers since its foundation in 1829, completely in accordance with the will of William Chalmers and his motto: Avancez!
查尔摩斯工学院 PhD position in hierarchical reinforcement learning for "AI for Math".项目有没有奖学金，是不是全奖Phd招生，下面我们一起看一下【大学名称】Phd的奖学金资助情况
项目资助情况
Contract terms
The Doctoral student positions are fully funded from start.
The position is a fixed-term appointment of four years, with the possibility to teach up to 20%, which extends the position up to five years.
A starting salary of 35,725 SEK per month (valid from May 1, 2026).
Doctoral studies require physical presence throughout the entire study period. A valid residence permit must be presented by the study start date; otherwise the admission may be withdrawn.
What we offer
As a Doctoral student at Chalmers, you are an employee and enjoy all employee benefits. Read more about working at Chalmers( https://www.chalmers.se/en/about-chalmers/work-with-us/ ) and our benefits( https://www.chalmers.se/en/about-chalmers/work-with-us/chalmers-as-an-employer/benefits-and-conditions/ ) for employees.
A dynamic and inspiring working environment in the coastal city of Gothenburg( https://www.goteborg.com/en ).
Read more about Sweden’s generous parental leave, subsidized day care, free schools, healthcare etc at Move To Gothenburg( https://www.movetogothenburg.com/ ).
Chalmers is dedicated to improving gender balance and actively works with equality projects, such as the GENIE Initiative for gender equality and excellence( https://www.chalmers.se/en/about-chalmers/organisation-and-governance/equality-at-chalmers/genie-gender-initiative-for-excellence/ ). We celebrate diversity and consider equality and inclusion as fundamental aspects of all our activities.
If Swedish is not your native language, Chalmers offers Swedish courses to help you settle in.
Find more general information about doctoral studies at Chalmers here( https://www.chalmers.se/en/research/we-train-new-researchers/about-doctoral-studies/ ).
查尔摩斯工学院Phd申请条件和要求都有哪些？PhD position in hierarchical reinforcement learning for "AI for Math".项目是不是全奖？有没有奖学金？下面我们一起看一下查尔摩斯工学院申请Phd直招需要具备哪些条件和要求，以及托福、雅思语言成绩要到多少才能申请。
申请要求
Who we are looking for
The following requirements are mandatory:
To qualify as a Doctoral student, you must have a Master's degree in Computer Science, Mathematics or related fields. For students with an education earned outside of Sweden, a 4-year Bachelor’s degree is acceptable.
Strong written and verbal communication skills in English
You should have strong background in theoretical computer science, foundational AI/machine learning or mathematics and have strong coding skills in python (or C, C++, Java etc).
You should have a strong background in modern machine learning - you should have taken good courses in basic ML and in particular have the rudiments of reinforcement learning.
The following experience will strengthen your application:
Experience with logic, a theorem prover or interactive proof assistant is a bonus
报名方式
申请链接
招生人信息
Devdatt Dubhashi
邮箱：dubhashi@chalmers.se
相关资源
扫描二维码
下载申请方APP
下载申请方APP
扫描二维码
下载申请方APP