[PlanetKR] PhD positions available on Formal Methods and Neurosymbolic AI at City, University of London

[Antonio Di Stasio]

Dear all,

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.

The application can be found here
<https://www.jobs.ac.uk/job/DLP879/phd-opportunities-in-ai-computational-neuroscience-engineering-mathematics-and-in-quantum-computing>
.

Deadline: March 7th, 2025.

If you are interested email me at antonio.di-stasio at city.ac.uk

Kind regards,
Antonio.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20250224/4cd75b2d/attachment.htm>