<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Dear all,<br>
</p>
<p>The Computer science and engineering department at Chalmers has a
PhD position on <span lang="EN-GB"><b>neuro-symbolic AI for
Mathematical Discovery </b>with Assoc.Prof Moa Johansson as
main supervisor and Prof. Thierry Coquand as co-supervisor.<br>
</span></p>
<div class="moz-text-html" lang="x-western">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-GB">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.</span></p>
<p class="MsoNormal"><b><span lang="EN-GB">Project description: </span></b><span lang="EN-GB">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.<b><br>
</b></span></p>
<p class="MsoNormal"><span lang="EN-GB"><b>More information and
application: </b>(deadline May 31st)<br>
<a href="https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE" target="_blank">https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE</a></span></p>
</div>
</div>
<p></p>
<pre class="moz-signature" cols="72">--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="http://www.cse.chalmers.se/~bove">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>