Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Education
- Science
- Mathematics
- Materials Science
- Social Sciences
- Business
- Arts and Literature
- Law
- Linguistics
- Chemistry
- Psychology
- Humanities
- Environment
- Design
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
Location: South Kensington Campus About the role: We are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli
-
complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods, and experimental mathematics will be given
-
existing methods to explain behaviour in a particular setting. In either case, the aim is to connect formal models with observable behaviour. Our group studies cooperation across multi-agent systems and AI
-
experience in one or more of the following areas: hybrid systems and/or discrete event systems; systems and control; reachability analysis and/or set-based methods; formal methods; optimisation and
-
proofs. Background in formal methods, automated reasoning, programming-language theory, proof engineering, functional programming, or a closely related area. Experience designing and operating agentic
-
, SGLang, PyTorch internals, or similar) Interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar) or other formal methods Experience maintaining development tooling: build systems, continuous
-
, platform audits, computational analyses, online or field experiments, or formal models, as appropriate to the question; Build reproducible data-collection and analysis pipelines and document methods, code
-
schools in the world. For more details, please view https://www.ntu.edu.sg/mae/research . Perform research on Industrial AI, develop novel AI methods, prepare Project and Project requirements. Represent