[TYPES/announce] PhD position in neuro-symbolic AI for Mathematical Discovery at Chalmers

[Ana Bove]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240418/d237595e/attachment-0001.htm>