PhD opportunities in formal verification for neuro-symbolic cyber-physical systems. Develop compositional proofs for neural and symbolic models using interactive provers and domain-specific languages; ideal for 2:1 graduates in math, engineering or computer science with logic and verification int...