Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Business
- Education
- Medical Sciences
- Computer Science
- Psychology
- Engineering
- Social Sciences
- Environment
- Law
- Arts and Literature
- Statistics
- Design
- Biology
- Electrical Engineering
- Economics
- Sports and Recreation
- Earth Sciences
- Chemistry
- Mathematics
- Physics
- Humanities
- Science
- Linguistics
- Materials Science
- Philosophy
- 15 more »
- « less
-
und Stellenangebote > Academic staff > PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis Back to News Board Browse in News PhD
-
routing protocols, as a principled basis for the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and
-
, and third-party components. The postdoc will contribute to research on formal modelling and verification, delegated authority, policy constraints, trace-based assurance, and runtime verification of
-
, and third-party components. The postdoc will contribute to research on formal modelling and verification, delegated authority, policy constraints, trace-based assurance, and runtime verification of
-
seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek
-
campus PhD/PostDoc position (TV-L E13) 07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will
-
computer science, mathematics, or a related discipline. You should have a strong research background in at least one of programming language theory, logic, category theory, formal verification, or a
-
Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project
-
Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project
-
, and individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI