[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The Computer science and engineering department at Chalmers has a PhD
position on *neuro-symbolic AI for Mathematical Discovery *with
Assoc.Prof Moa Johansson as main supervisor and Prof. Thierry Coquand as
co-supervisor.
Please forward the information to those you think might be
interested/good candidates. An ideal candidate is someone with interests
and knowledge both in functional programming and machine learning.
*Project description: *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.*
*
*More information and application: *(deadline May 31st)
https://urldefense.com/v3/__https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE__;!!IBzWLUs!WdkwBgR_J17Zy3_CT2N9XXuAYyyEGl4q2Wq5D1W75zR4s9QJqu0ISm6QBvV0lLwO-1knykurGFJPLfvlqmQygc-7_xOhXQ$
<https://urldefense.com/v3/__https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE__;!!IBzWLUs!WdkwBgR_J17Zy3_CT2N9XXuAYyyEGl4q2Wq5D1W75zR4s9QJqu0ISm6QBvV0lLwO-1knykurGFJPLfvlqmQygc-7_xOhXQ$ >
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!WdkwBgR_J17Zy3_CT2N9XXuAYyyEGl4q2Wq5D1W75zR4s9QJqu0ISm6QBvV0lLwO-1knykurGFJPLfvlqmQygc8oA1gYXg$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
