[TYPES/announce] PhD position in Formal Verification in Leiden, Netherlands (Emily Yu)

[Emily Yu]

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: z.yu at liacs.leidenuniv.nl <mailto:z.yu at liacs.leidenuniv.nl>.

Best regards,
Emily Yu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251202/0d66742d/attachment-0001.htm>