Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Mathematics
- Science
- Social Sciences
- Materials Science
- Chemistry
- Arts and Literature
- Engineering
- Linguistics
- Business
- Education
- Psychology
- Humanities
- Law
- Environment
- Earth Sciences
- Sports and Recreation
- Design
- Electrical Engineering
- Statistics
- 13 more »
- « less
-
UNIVERSITE DE BOURGOGNE (University of Burgundy) | Le Creusot, Bourgogne | France | about 5 hours ago
degrade precision and stability. Existing approaches do not allow robustness and energy efficiency to be guaranteed simultaneously [2]. Safety lock: formally guaranteeing collision avoidance while
-
of relocation to an academic partner for collaboration is a plus. Formal requirements: Applicants should be fluent in both spoken and written English. Applicants should have a PhD degree in relevant topics
-
funding opportunities. Funding Notes Self-Funded Student (the student would need to find their own funding source). First class or upper second 2(i) in a relevant subject. To formally apply for a PhD, you
-
inconsistencies in video as well as audio. Where to apply Website https://www.academictransfer.com/en/jobs/364624/phd-position-on-explainable-dee… Requirements Specific Requirements An MSc degree in electrical
-
well as to develop entirely new methods in study of low-dimensional higher category theory. Responsibilities and (foreseen) tasks: The student’s primary responsibility is research on this PhD project. The student may
-
, 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
-
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
-
mixed-methods studies, and processtracing in Global South contexts. The project will contribute a unified theoretical framework explaining why violence endures despite formal democratic reforms
-
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
-
applications for 1 research grant (Master’s Degree), enrolled in PhD degree or courses that do not confer academic degree, within the framework of project CAMP&VALOR (B2) with the reference COMPETE2030-FEDER