23 software-formal-method-phd PhD positions at University of Cambridge in United Kingdom
Sort by
Refine Your Search
-
The PhD studentship will be based at the University of Cambridge in the Department of Materials Science and Metallurgy as part of the Structural Materials Group. The Structural Materials Group is a
-
This is a four-year (1+3 MRes/PhD) studentship funded through the Cambridge EPSRC Centre for Doctoral Training in Future Infrastructure and Built Environment: Unlocking Net Zero (FIBE3 CDT). Further
-
Unit at the University of Cambridge provides an ideal place to commence a career in Biostatistics. Our thriving PhD programme is hugely successful and competition for places is high. The BSU's relaxed
-
Location: West Cambridge Funder: Tata Steel and the University of Cambridge Duration: 4 years from 1 October 2026 Supervisors: Prof Howard Stone and Dr David Collins Location: The PhD studentship
-
Location: West Cambridge The world-renowned Cavendish Laboratory is seeking an enthusiastic, self-motivated student who enjoys working as part of a team to undertake a PhD in the NanoPhotonics Group
-
The Centre for Doctoral Training in Nanoscience and Nanotechnology (NanoDTC) at the University of Cambridge invites applications for its 3.5-year interdisciplinary PhD programme. The programme
-
We invite applications from creative and motivated individuals to join Professor Sir Shankar Balasubramanian's group for a 4-year PhD studentship, working on a multidisciplinary project exploiting
-
PhD studentship: Defining the role of the pioneer factor FOXA1 in hormone-dependent cancer Supervisor: Professor Jason Carroll Course start date: 1st October 2026 Project details For further
-
situ, with direct structure determination, and (ii) investigating and optimizing methods for chirality determination using electron crystallography. Candidate We are looking for a highly motivated and
-
Ascl1 are important. We have undertaken a comprehensive discovery experiment to identify all the proteins that can physically interact with Ascl1, using a method we developed called RIME (Rapid