PhD Position First-class Coinduction in Proof Assistants Jobdescription Essential to writing and reasoning about software that operates continuously...
Location: Delft , South Holland
Language(s): Only English Required
Date Added: 15 Jul 2025
Language(s): Only English Required
Date Added: 15 Jul 2025