Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Mathematics
- Biology
- Science
- Engineering
- Materials Science
- Chemistry
- Social Sciences
- Linguistics
- Arts and Literature
- Law
- Business
- Education
- Humanities
- Psychology
- Sports and Recreation
- Design
- Earth Sciences
- Electrical Engineering
- Environment
- Statistics
- 13 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
-
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
-
set out in Article 113 of the Law on Higher Education and Science (Journal of Laws 2024, item 1571, as amended). 2. A PhD in Archaeology. The doctoral degree must have been obtained no earlier than
-
complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods, and experimental mathematics will be given
-
: The competition is open from October 5, 2026 to October 19, 2026. 13. Method of submitting applications: Applications can be formalized through the UPB application submission portal (http
-
From electric vehicles to grid-scale energy storage, the future of clean energy relies on breakthroughs in battery technology. This PhD will develop cutting-edge terahertz spectroscopy methods
-
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
-
, organizations, and societies prevent, prepare for, manage, recover from, learn from, and adapt to events that may threaten something of value. We also conduct research aimed at developing methods, processes, and