Research Fellow in Verification or Security or Concurrent/DistributedSystems The University of Surrey is a global community of ideas and people, dedicated to life-changing education and research. We are ambitious and have a bold vision of what we want to achieve - shaping ourselves into one … and automated tools, such as theorem provers and model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in a multidisciplinary team under the guidance of Brijesh … a thriving research environment with world-leading researchers. Brijesh Dongol is a Director of the NCSC/UK Research Institute on Verified Trustworthy Software Systems (VeTSS, )hosted jointly at Surrey and Imperial. Our research includes security verification, protocol design and analysis, distributed and network systems, concurrency, data More ❯
and enterprise clients. You'll work across multi-disciplinary teams to shape scalable, secure, and high-performance applications that help decision-makers model complex systems and explore 'what if' scenarios. Key Responsibilities Lead the design and delivery of simulation and modelling systems. Translate customer needs into scalable, secure architectures. … Strong engineering experience in simulation or digital twin environments. Proven ability to lead complex projects and guide technical teams. Familiarity with DevOps, infrastructure, and distributed systems. Excellent communication, stakeholder engagement, and problem-solving skills. Knowledge of security principles and scalable architecture. JBRP1_UKTJ More ❯
and enterprise clients. You'll work across multi-disciplinary teams to shape scalable, secure, and high-performance applications that help decision-makers model complex systems and explore 'what if' scenarios. Key Responsibilities Lead the design and delivery of simulation and modelling systems. Translate customer needs into scalable, secure architectures. … Strong engineering experience in simulation or digital twin environments. Proven ability to lead complex projects and guide technical teams. Familiarity with DevOps, infrastructure, and distributed systems. Excellent communication, stakeholder engagement, and problem-solving skills. Knowledge of security principles and scalable architecture. JBRP1_UKTJ More ❯
