[Agda] PhD position in neuro-symbolic AI for Mathematical Discovery

[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://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE 
<https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE>

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
http://www.cse.chalmers.se/~bove
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240418/7f449856/attachment.html>