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
- Chemistry
- Law
- Psychology
- Linguistics
- Humanities
- Environment
- Design
- Earth Sciences
- Electrical Engineering
- Philosophy
- 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
-
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
-
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
-
Geographical Factors in the emergence of Fortified Settlements and its relation to irrigation systems Using Historical, Archaeological, Ethnographical Methods and Artificial Intelligence. Where to apply E-mail
-
particular focus on Egypt. 4. Documented experience in archaeological fieldwork. 5. Proficiency in archaeological documentation methods. 6. Experience in working with databases, inventories, and catalogues
-
proofs. Background in formal methods, automated reasoning, programming-language theory, proof engineering, functional programming, or a closely related area. Experience designing and operating agentic
-
for the Ph.D. but whose degree has not yet been formally conferred may be eligible to begin employment provided they submit an official letter from the Registrar or Graduate School of the degree-granting