Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Education
- Engineering
- Science
- Mathematics
- Social Sciences
- Materials Science
- Psychology
- Business
- Arts and Literature
- Chemistry
- Law
- Linguistics
- Humanities
- Environment
- Design
- Earth Sciences
- Philosophy
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
a formal application for DPhil in Chemistry via the Oxford online application system via the above 'Apply' button. https://www.ox.ac.uk/admissions/graduate/application-guide https://www.ox.ac.uk
-
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
-
and provide a stipend of no less than the standard UK Research Council rate (currently set at £21,805 p.a.) for 3.5 years. Please see: https://www.ox.ac.uk/students/fees-funding/fees/status for more
-
computer science. Topics may include loose universal properties, two-dimensional sketches, double-categorical enrichment, and formal category theory. The project will address the following key areas: Double
-
trustworthiness of news in the media and forensic processes in criminal investigations. Therefore, development of reliable methods to detect manipulations and distinguish bonafide from synthesised data is of utmost
-
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
-
proofs. Background in formal methods, automated reasoning, programming-language theory, proof engineering, functional programming, or a closely related area. Experience designing and operating agentic