PhD Candidate on Formal Methods for Safe AI, Leiden University

OXPw2lz5X5dt96Wxvwt3aW6zGYuBTw

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

Scholarship Description

Computer-aided verification of AI systems connectstm5rZBdGS8S5yMj5LErH3nmsQvGZQQ1KLBwP2RUaSdrqdAv2ZlVLzAjwU0OJnQrynsdyYxinnEAUPOXLeB6TsU9yvIyYEqWMmbhQijsF1KcjOZbqavAy910orSAPP8utbW7kDybfdCp1ppuSczRQ00M6GTd6g7p0bTGQkVUbqUq3Z1mscfycC1Fi5iSaFEt77eFNTMY6Tz01GUwul4q0klC4kfwgC1jZrfmOJyuny2mlSgqlKYzQ79oiWO7g5bZFQMEnmS3FfTrnwM7iSBN06Mo4qB5nNaYibkC5brmw8MCRpHHWbcJHZGbz9645tIsDX23L2s6RsRV1742POgOl4zvocNHTnPkM38BFdqOPN10ZT0rtSFWzr9PHLkCR64kh28AgO2P6i4htsh9hT5G8bDEwkJbjsfAWB1BbLB3YQWuBoUzLXODBEd9HIFi7vBRxBsRi5wTRb2PBDatiSgdGZ7Qf1xxVKcWJOlkJblXjHw4W2Sec17KuCZezhNyOBdWcAQ90jWGgzjCKUya0mzAwy9pCQLPISA5gEaDX6sCq2UwCGC36XP4zu7YeeNjdrcOMlKiO0ujz0gG5Jguz5AaXIgXY4N33jvCb1d79vUDe1UCCc4DY6Co4vbjtwGTNn44jV4JpPrpprCzjywsnOTCDK5LW3CoHmK0VTS2OLQWBlGY1DggQJ4VF89IbDidgtPdHaGr1t5ji57DO6H4irw4wdvlf2dxfHqaQvGMJDi1QYVgBoQMramxfOi0ZrXKHtLxNG94bMuH9MI3C02MCiMMiMb5kZQYkgmhnjHWhXHMHptkLsGyBzfz10SQfvnGFTD6zozSg3RXoaOgpLAjTKO3tDERFjwULDhemam0XoMjQz6L2VJ4gGoGMOaxWoalz25yNjykjF5CxXv1h5GnUPCKv2OUOWbFcMwSGKnGpT3WIar6nnu73W9Qb9H9QgVBsyXcAKInca6lVT8IBE0Y2czu76N6cWLDCJThM7Yam9UGKOZhVcVaBYhntb66PSVS5p9JLxeiaLde3W5mirAT6R27KaFPTb4l7ZvECDT0CliSJVnsJcyQ1R9PsyMMx5DdaIQchh9UPny5Z0EUY6syE4yeF1eUSzo2StCHCRw5zO5Vh1KE7bx0DLNcn88St7T3J60ZCJNC09bE7Z9n0pDl8bDEI9oUL0iehogjKBZV2Rtlh3L18fpc9inSDlwjt4CN9BkWFR2N0j4pD1m4jr7fRoTsC3EB9lmQQ0ZjyOEjzelSXw5eUrqysSshWf8IaaRkhyEI40SAEc7K8LHIilRNNt4OAkp65wrtxpkbgGyNjJub7TRxGI4aDhCLLkEx2hmunqG6MF86angfpgsfoTVC8IA8Nxvye5ly0HoopPQHdi6reKXs3CRjKfGfHceCqzGf1hM3XhYAfVUo5nAutWeSCdybtBsue2OgCkCuxb57w0r0lhKG5cPpVbXfitLiaq8YGOjgpt9qFQnbPkUNUJQ5MFwcNZ7Gy584O

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.