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://emilyyu.nl/
Information about the PhD program and the application process can be found here: https://careers.universiteitleiden.nl/job/PhD-Candidate-on-Formal-Methods-for-Safe-AI/16232-en_US/. 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@liacs.leidenuniv.nl <mailto:z.yu@liacs.leidenuniv.nl>.
Best regards,
Emily Yu
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
