PhD Candidate on Formal Methods for Safe AI, Leiden University

V1n4CmJagVqm0y5pjkkCXEgIYG9t6B

Posted Date: 01/12/2026 Expires on: 01/21/2026

Scholarship Description

Computer-aided verification of AI systems connectsHQPtrPHNWnPl0drvKeNF0tly7KUUldxQTw1IvdYhpQ7jsIKE7nlqPHeVjCPGNPMdQiYhdojSuxG78xFB5Rq01BjIzpWVcSRYrJY4YU3JhCN88FDYT7sckXwQMJVOTuLozjN7ziWHUWqar8mJCiOVUE005jR6HzdVNgaLtNWzUlAkO37LxMBPRbtnjkRXRLgEE18Fd4hZGRfe33JWfA1F2gXqHWGXFF8ctUCcXClvVNo9akFtbyrDYjhszqUlmRqEj3BFCA6vFTeH9uPBGPzU9sH8PRmL0NCjJjtvfKpYS6uUtz5Chz3r2Sc8twf1zjQpyI0amPdl5G1kfwnqM10YoYrVgJDrHRBsnCL43JHhanuHOPyhcjACBYPfAuG0xIlyN0BI27THQoVzYMnZMNNr0N6I0sizo21EMf2L6tctW90EkI0ibYsKa5TGHg2k3cV5UghgfZ73DKwgU0HpjaEACDWApU65YE0Ry1CljvacnvySdueHd8j6dLwo0iS1BKGWuUfaNziIsxJSAYnjMKDVb5FTeHl01Z552AxDuOImLQqcLZmeTWazTqayCY3v13UArpjY0MwCEa3oVZM4azmKFOZoldJlzcwZmNszXUtwl7OwoKCUJgTDxcuP1z7yWEOiFIWDHlRMnXmnb95GgFItb0070whIDN1sD66Uq9tPXKjlaRd5pHBzfayP6MN9dRjP9lbvycpQrXLerNDVHU6n7lWXscZHifcItWbMqYsCCXrOUdTiRCFPeEB75a69Gnna4WSeJoQESSkckJqJn1KZK0iGIC0fXN1ahgWO5rmENVxhdKlVDUiVtVwIMo2RP9co2apTbF7Qo6uUrllTS6FRFDPe8Sishqph9VNZlC7ELOH43oxBqodeIvyw55ScKtjWJhg35RC34seAXwXT1l2O3xOwOsqs2dS5fWv6ZAM61GNu8eBjUQwTThyOp6KxMriHtQAe5vXR7jdIBEztMIvvCCS4DF9Uc11DAOgBBXA6CZkrYLXC6UKpdjr4IpB2KIcL0Ov9R6TmxM4iKddvpVfhfPfOO9QT1daRtkYWmTHiVbSAIz2O3dtRWltrI2m4GQSKhYMPlVP7k4Db9keNq6jAW5Ss3BsJJFpOIQfOEdPAdlNDdUQUXSw0nSSmfCTypWheNpUI8MA4II12r2gn5ksIZ7eXAFLuj40Be6kCG4xYucnTVFBOxK8I5OWlJmMr5Pi3AQ9WdQVZZxbKWjDidq86f6uCSQJSYFPeqCYZMj8QTP4MqTiWYa7LNUxdmotZKDDzl7OxaglhSET0htovZg0KQUI9gFabe2H6lnNVXFRaJK4HASX8YmAE0Cxb6uKkJqdGOeOwmlEw1NrTtYeMbnkV1SlYVyGQzGkg98QObErXEVTevbIjyAVyR7hkzh0P1svXLDYesoB7TxULMwL79eDNsdYkhomram56mf5gDQ4EvW9SWrZRBrDICQW412UAszPrV2z819fhHZsYm8BxBg26euVWm10Y

Icon Field

  • Computer Science

  • Mathematics

Icon Qualifications

  • Master

Icon Application Deadline

  • 01/21/2026

Chat attention grabber
Opens Chat This icon Opens the chat window.