<div><font face="Times New Roman" size="4">Dear KR Community,</font></div><div><font face="Times New Roman" size="4">    I am writing to advertise that we are recruiting a post-doc to work on a KR project. Roughly, the project <span style="background-color: rgb(254, 254, 254);">focuses on utilizing </span><b style="">logical and formal methods</b><span style="background-color: rgb(254, 254, 254);"> (potentially integrated with machine learning) to achieve reliable and trustworthy decision-making AI systems. It is a 3 years positions at </span>at Nanjing University,  China, and it is to be filled as soon as possible.</font></div><div><font face="Times New Roman" size="4">    You could find more information about the project, job obligations, and requirements in this link: <a href="https://dxliunju.github.io/jobs.html">https://dxliunju.github.io/jobs.html</a></font></div><div><font face="Times New Roman" size="4">    To apply, please send emails to me directly via: daxin.liu@nju.edu.cn</font></div><div><font face="Times New Roman" size="4"><br></font></div><div><font face="Times New Roman" size="4">Best,</font></div><div><font face="Times New Roman" size="4">Daxin</font></div><div><br></div><div><sign signid="0"><div><div style="color:#909090;font-family:Arial Narrow;font-size:12px"></div></div><div style="font-size:14px;font-family:Verdana;color:#000;" class="signRealArea">

<div>Dr. Daxin Liu</div><div>School of Artificial Intelligence</div><div>Nanjing University</div>


</div></sign></div><div><qzone></qzone></div>