Formal Methods: Hybrid Event-B and Rodin
Dr R Banach
Applications accepted all year round
These days, the world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg.
Low Frequency Ocean Acoustic Phenomena (LOWFOAP)
Dr P Blondel
25 April 2019
The Centre for Space, Atmosphere and Oceanic Science (CSAOS) at the University of Bath is inviting applications for a fully-funded EPSRC iCASE studentship with the Defence Science and Technology Laboratory (DSTL).