23 software-formal-method-phd PhD positions at University of Cambridge in United Kingdom
Sort by
Refine Your Search
-
and Technology (CST) at the University of Cambridge. The goal of this PhD programme is to launch one "deceptive by design" project that combines the perspectives of human-computer interaction (HCI) and
-
laboratory mice throughout the PhD is an essential requirement. Funding This four-year studentship includes full funding for University fees and an index-linked stipend starting at £22,500 for four years
-
Supervisors: Professor Sir Steve Jackson and Dr Mark O'Connor (AZ Partner) Course start date: 1st October 2026 Project details Targeted Alpha Therapy (TAT) selectively delivers high Linear Energy Transfer (LET) alpha-particles to cancer cells, maximising efficacy while minimising toxicity. ...
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions