<!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://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$" target="_blank" moz-do-not-send="true">https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE</a></span></p>
      </div>
    </div>
    <pre class="moz-signature" cols="72">-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!WdkwBgR_J17Zy3_CT2N9XXuAYyyEGl4q2Wq5D1W75zR4s9QJqu0ISm6QBvV0lLwO-1knykurGFJPLfvlqmQygc8oA1gYXg$" moz-do-not-send="true">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
  </body>
</html>