PhD position in Formal Verification in Leiden, Netherlands (Emily Yu)
Emily Yu via dmanet <[email protected]>
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <[email protected]> |
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://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: [email protected] <mailto:[email protected]>. Best regards, Emily Yu ********************************************************** * * Contributions to be spread via DMANET are submitted to * * [email protected] * * 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/ * **********************************************************