Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2-year postdoctoral position in Neurosymbolic ...

view this post on Zulip Email Gateway (Jan 08 2023 at 15:50):

From: Jacques Fleuriot <Jacques.Fleuriot@ed.ac.uk>
Hi All,

We are recruiting a postdoctoral Research Associate for a 2-year post in the School of Informatics at the University of Edinburgh. The researcher will work on the integration of interactive theorem proving in Isabelle/HOL and neural learning for safe human-robot interaction. The start date is flexible but, ideally, would be in early 2023.

More details at:

https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/5623/?utm_medium=jobshare

Regards,
Jacques
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

Last updated: Jan 04 2025 at 20:18 UTC