PhD student in Neuro-symbolic AI for Mathematical Discovery

4 weeks ago


Gothenburg, Sweden Chalmers tekniska högskola Full time

The goal of this project is to develop new methods for assisting mathematical discovery, by leveraging recent developments in generative AI (large language models) with symbolic systems (here proof-assistants) via a neuro-symbolic architecture. This takes advantage of AI systems with different strengths: generative AI-systems provide creativity, but are potentially unreliable and may hallucinate, while classical symbolic methods are rigid but reliable and can robustly check the correctness of results.

Project description Generative AI, with tools like ChatGPT, driven by Large Language Models (LLMs), have in the past year demonstrated impressive capabilities in generation of not only fluent text but also computer code. They take instructions in natural language and can perform seemingly creative tasks very well. However, LLMs can be unreliable: a well-known issue is hallucinations where seemingly sensible but incorrect answers are produced, and their reasoning capabilities are fragile.

Research mathematicians are increasingly staring to use computers to assist in their research, not least in cases where proofs turn out to be so large that it is impossible to check each step manually (a amous example is Thomas Hales' proof of Kepler's conjecture). Proof-assistants are software designed for exactly this: keeping track of precise definitions and checking each step of the proof. However, using a proof assistant requires both expertise in how to program them, and libraries of foundational mathematics to already be in place.

We believe that LLMs has the potential to speed up this process and even provide creative suggestions to working mathematicians. But not on their own: Proof assistants have the complementary capabilities missing for this to work. The goal of this proposal is therefore to bring LLMs and proof assistants together via a neuro-symbolic architechture.
Information about the division and the department
The PhD student will be supervised by Moa Johansson in the , and co-supervised Thierry Coquand in the Type Theory group in the . Johansson's group focuses on neuro-symbolic AI in domains ranging from natural language to cognitive science and mathematics, while the group of Coquand is famous for work in type theory and the development of the proof assistant Agda.

This project is funded by WASP (), and the student will be part of the WASP graduate school which offers excellent courses, study trips and networking opportunities with researchers working in AI across Sweden and abroad.

Major responsibilities
We are looking for a PhD student with an interest in neuro-symbolic AI (machine learning and symbolic methods) to work as a researcher on this project, which will include both implementation work and experimentation. It is an advantage to have some experience of functional programming, in addition to experience with machine learning.

The PhD position is funded for five years, of which 80% is research and 20% is teaching.



  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    The research group of Dr. Arion Pons at the Department of Mechanics and Maritime Sciences is delighted to announce a funded PhD student position on the biomathematics/biomechanics of insect flight. This PhD position offers you the opportunity: › to join an inclusive and creative research team; › contribute to an interdisciplinary research programme...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Job description The duties consist of teaching in either mathematics or in mathematical statistics. The teaching will include course responsibility and will primarily be at bachelor level. Course responsibility includes planning and conducting teaching, to do the examination, to be responsible for information and communication in connection with it,...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Are you passionate about pushing the frontiers of machine learning, computer vision, and their applications in medical imaging? Join the Computer Vision Group as a PhD student specializing in geometric deep learning. Project description This PhD position offers an opportunity to delve into the area of geometric deep learning within the broader landscape...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Are you passionate about pushing the frontiers of machine learning, computer vision, and their applications in medical imaging? Join the Computer Vision Group as a PhD student specializing in deep generative modeling for medical image analysis. Project description This PhD position offers an opportunity to delve into the area of deep generative modeling...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    The PhD student will work in the EU project GreenTurn that focuses on sustainable e-commerce and returns. The PhD student will be part of the Urban Freight Platform funded by the Volvo Research and Educational Foundations which offers many collaboration and networking opportunities with top researchers worldwide. Chalmers University of Technology is well...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    The successful candidate will work in a novel and very intensive field of liquid crystal research, and will be challenged to explore the physics and the application potential of a new type of liquid crystal – the ferroelectric nematic. Project description The simplest form of liquid crystal – nematic – is a non-polar orientationally ordered...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Embark on a journey of research and innovation in the dynamic realm of cyber security research, as a PhD student in the prestigious Wallenberg WASP research initiative. Delve into a cutting-edge project focused on secure data sharing and privacy-preserving mechanisms, where you'll have the opportunity to contribute with research in cyber security. You'll...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    This PhD student position offers you the opportunity to work in an interdisciplinary environment, train yourself with different support, to become an expert in materials design and synthesis, and helps you to grow as an independent researcher in battery field. Project description The lithium-ion battery is the dominant rechargeable energy storage devices....


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    We are offering a four-year PhD position to an ambitious candidate who is interested in working on alternative proteins, evaluating and enhancing their functionality and structuring them to a new generation of hybrid products via emerging technologies such as extrusion and 3D printing. Project description A shift toward production and consumption of foods...

  • Postdoc Fellow

    3 weeks ago


    Gothenburg, Sweden AstraZeneca Full time

    Are you interested in an industry postdoc? Do you have a recent PhD in computer science or data science? We have an exciting opportunity for someone passionate about the power of data and Artificial Intelligence (AI) as a catalyst for change. AstraZeneca Oncology R&D , collaborating with Rigshospitalet, Copenhagen University Hospital, Denmark are seeking...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    This position provides the opportunity to deep-dive into research at the crossroad of the vibrant fields of transition studies, industrial dynamics, climate change, sustainable development and physics. The position will give you the opportunity to work with experienced scholars and get access to networks stretching across academia and industry in an area at...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    We have an opening for a permanent position at a vibrant, international, and outward-looking work environment, in the lively city of on the west-coast of Sweden. We offer you rewarding tasks and the freedom for you to develop your research and teaching excellence in your goal towards making a real difference. The Department of Computer Science and...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    The Wittung-Stafshede research group is looking for a PhD student to explore newly-discovered catalytic activity of amyloid fibers. Major focus will be on alpha-synuclein involved in Parkinson's disease. The project will involve purified proteins, cell cultures, metabolomics, spectroscopy, microscopy, various biochemical assays and more. The successful...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    For this Ph.D. position you will gain a broad understanding ranging from propulsion and the use of new fuels to aircraft performance and its operation. You then apply your knowledge to minimize future climate impact from aviation. Information about the division and the department at Chalmers conduct fundamental and applied research in all modes of...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    A PhD student position is available in the research group of Christian Müller at the Department of of Chalmers University of Technology. We are looking for a highly motivated PhD student who will develop new material concepts for organic solar cells. The project is funded by the Swedish Research Council. You will work closely with several PhD students and...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Within the framework of the new national competence center NEXT, we are looking for a PhD student focused on developing methods based on synchrotron and laboratory X-ray diffraction for real-time in situ studies of thin films and coatings. You will be a part of a large cross-organizational environment focused on the use of X-rays and neutrons for the study...


  • Gothenburg, Sweden AstraZeneca Full time

    Are you ready to take the next step in your career and make a real impact in the field of data-driven life science? We are offering an exciting opportunity as an Industrial PhD student to work on a project that applies machine learning to improve diagnostic and reporting workflow processes in clinical kidney pathology. This project is a collaboration...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Background of the research project Join the frontier of innovation in 6G: the future of mobile network technology! A unique Dutch-driven alliance in collaboration with Ericsson and Chalmers, comprising 60 leading ICT businesses, mobile operators, semiconductor manufacturers, and research institutions, have united to spearhead the development of specific...


  • Gothenburg, Sweden AstraZeneca Full time

    AstraZeneca is looking for a dynamic and experienced Medical/Veterinary Pathologist to support our work in the Cardiovascular, Renal and Metabolism (CVRM) disease area. This role is broad in scope and offers significant potential for professional development – and you will be placed either in Gothenburg, Sweden or Gaithersburg, US . CVRM Pathology...


  • Gothenburg, Sweden Chalmers tekniska högskola Full time

    Step into the nexus of bioinformatics and machine learning as a researcher focused on gene expression modelling for applications in generative synthetic biology. This role is not just another position; it's a chance to redefine boundaries in an emerging scientific domain. Working hand-in-hand with experimental scientists, you'll drive innovations and turn...