[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hello everyone,
I have a fully-funded PhD position in my group at Leiden University,
Netherlands.
The candidate will broadly work in the area of verification for safety-critical
systems, broadly construed. Depending on the interest of the applicant,
possible research directions include SAT/SMT-based formal verification, runtime
verification, neural control of cyber-physical systems. More information about
my work and research interests can be found here:
https://urldefense.com/v3/__https://emilyyu.nl/__;!!IBzWLUs!SZfnRIjUI4p3l8QarhjeYhJaB3QFFu-DXRh8cq3ikQ3FY4qtqfu7_4wjAz3ZdiVy6uWfNGwL7B-3CmGxaHXGCiuGul1sA8F1H2Lj$
Information about the PhD program and the application process can be found
here:
https://urldefense.com/v3/__https://careers.universiteitleiden.nl/job/PhD-Candidate-on-Formal-Methods-for-Safe-AI/16232-en_US/__;!!IBzWLUs!SZfnRIjUI4p3l8QarhjeYhJaB3QFFu-DXRh8cq3ikQ3FY4qtqfu7_4wjAz3ZdiVy6uWfNGwL7B-3CmGxaHXGCiuGul1sA18nj-j3$
. The starting date is flexible, ideally before Aug/Sept 2026. Interested
applicants can contact me with a CV before submitting a formal application. For
any queries formal or informal, please do not hesitate to get in touch with me:
[email protected] <mailto:[email protected]>.
Best regards,
Emily Yu
