<div dir="ltr"><div><span><span dir="ltr">Dear all,</span></span></div><div><span><span dir="ltr"><br></span></span></div><span><span dir="ltr">I
 am seeking PhD students to join the project “SAFE AI: Building 
Trustworthy Artificial Intelligent Systems Integrating Neuro-Symbolic 
Techniques with Formal Methods”. The research will focus on the shifting
 towards AI-oriented Formal Methods, with a particular emphasis on 
integrating these approaches into Neurosymbolic systems.<span> </span><span><br></span><span><br></span></span></span><span><span></span>The application can be found <a href="https://www.jobs.ac.uk/job/DLP879/phd-opportunities-in-ai-computational-neuroscience-engineering-mathematics-and-in-quantum-computing" target="_blank">here</a>.<span><br></span><span><br></span>Deadline: March 7th, 2025.<span><br></span><span><br></span></span><div><span>If you are interested email me at<span> </span><a href="mailto:antonio.di-stasio@city.ac.uk" target="_blank">antonio.di-stasio@city.ac.uk</a><br></span></div><div><br></div><div>Kind regards,</div><div>Antonio.</div><br></div>