Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Biology
- Education
- Mathematics
- Materials Science
- Social Sciences
- Business
- Law
- Arts and Literature
- Linguistics
- Psychology
- Chemistry
- Environment
- Humanities
- Electrical Engineering
- Philosophy
- Earth Sciences
- Sports and Recreation
- Design
- Statistics
- 14 more »
- « less
-
, 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
-
proofs. Background in formal methods, automated reasoning, programming-language theory, proof engineering, functional programming, or a closely related area. Experience designing and operating agentic
-
of the Human Resources Unit – Scholarship Holder Center of the University of Madeira, http://urh.uma.pt/ , and the candidate will be notified by email. XII. Application deadline and method of submission: a
-
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
-
management. Knowledge of the principles and practices of mathematics and statistics, research and analysis techniques and methods, work-related subject area, and computers and software applications. Knowledge
-
on the website of the Human Resources Unit – Scholarship Holder Center of the University of Madeira, http://urh.uma.pt/ , with the candidate being notified by email. XII. Application deadline and method
-
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
-
until a suitable candidate is found. The earliest anticipated start date is October 19, 2026. Dr. Drew Capone’s research group (https://caponelab.publichealth.indiana.edu ) has broad interests in
-
– Scholarship Holder's Office of the University of Madeira, http://urh.uma.pt/ , with the candidate being notified by email. XII. Application deadline and submission method: a) Applications may be submitted