Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Mathematics
- Science
- Engineering
- Materials Science
- Social Sciences
- Arts and Literature
- Chemistry
- Linguistics
- Law
- Psychology
- Education
- Humanities
- Business
- Environment
- Electrical Engineering
- Sports and Recreation
- Earth Sciences
- Design
- Statistics
- 13 more »
- « less
-
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
-
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
-
and supervisory teams are in the programme website : https://www.gla.ac.uk/postgraduate/doctoraltraining/mltc-phd/researchprojects/ Main Duties & Responsibilities 1. Undertake PhD training, normally
-
on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
-
, microplastics; by means of numerical and experimental approaches including high-performance computing, data science methods via machine learning/AI and digital twins, enhancement, development and of application
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
Conclusion of a formal PhD agreement within 12 months Participation in and independent delivery of courses to the extent stipulated by the collective agreement Student advising/supervision Assistance with
-
to teaching, supervision and administrative tasks at the Department. The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification
-
complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods, and experimental mathematics will be given
-
Job related to staff position within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems