Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Aarhus University
- University of Luxembourg
- University of Oslo
- University of Manchester
- University of Texas at Austin
- Universidade de Coimbra
- University of Glasgow
- University of Nevada Las Vegas
- University of Porto
- Cornell University
- University of British Columbia
- University of Kansas Medical Center
- University of South-Eastern Norway
- Universty of Aveiro
- Aalborg University
- CNRS
- Cardinal Stefan Wyszynski University in Warsaw
- Durham University
- Nanyang Technological University
- AGH University of Krakow
- Chalmers University of Technology
- Indiana University
- NTNU - Norwegian University of Science and Technology
- Technical University of Munich
- University of Colorado
- University of Michigan
- University of Texas at El Paso
- University of Warwick
- Aarhus University (AU)
- Delft University of Technology (TU Delft)
- FEUP
- INESC ID
- Imperial College London
- Luxembourg Institute of Science and Technology
- NEW YORK UNIVERSITY ABU DHABI
- NTNU Norwegian University of Science and Technology
- Texas A&M University
- UNIVERSIDADE DE ÉVORA
- University of Aveiro
- University of Bergen
- University of Kansas
- University of Maryland, Baltimore
- University of Nottingham
- University of Twente (UT)
- Argonne
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- California State University, San Bernardino
- Eindhoven University of Technology (TU/e)
- Hungarian Research Network
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Jagiellonian University
- KU LEUVEN
- McGill University
- National University of Singapore
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Stanford University
- Technical University of Denmark (DTU)
- University of Amsterdam (UvA)
- University of Birmingham
- University of California, San Diego
- University of Copenhagen
- University of Münster •
- University of Sheffield
- University of Southern Denmark (SDU)
- University of Utah
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- jobs.ac.uk
- ;
- Adam Mickiewicz University, Poznań
- Birkbeck University of London
- Carnegie Mellon University
- Erasmus University Rotterdam
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Heriot Watt University
- Imperial College London;
- Institute of Public Health University of Porto
- Instituto Politécnico de Bragança
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- King's College London;
- Lublin University of Technology
- Luxembourg Institute of Science and Technology (LIST)
- Monash University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- New York University
- Research Center Borstel - Leibniz Lung Center
- SUNY University at Buffalo
- The Norwegian School of Sport Sciences
- The University of Alabama
- The University of Chicago
- Tilburg University
- UCL;
- Umeå University
- Universidade de Trás-os-Montes e Alto Douro
- Universidade do Minho
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Engineering
- Science
- Mathematics
- Materials Science
- Chemistry
- Social Sciences
- Arts and Literature
- Psychology
- Linguistics
- Business
- Education
- Humanities
- Law
- Electrical Engineering
- Environment
- Sports and Recreation
- Earth Sciences
- Design
- Statistics
- 13 more »
- « less
-
are looking for a motivated and talented PhD candidate to join a unique interdisciplinary project at the intersection of machine learning and formal methods. Information Machine learning models deployed in real
-
for 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic
-
Job related to staff position within a Research Infrastructure? No Offer Description his research focuses on the application of formal methods and automated reasoning to ensure the reliability and
-
English English PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information Apply for this job See advertisement About the position We invite applications for a PhD
-
, numerical systems designs. The project builds on complementary developments from both teams: TRAITOR for experimental fault injection and µArchiFI for formal securi Applicants should hold a PhD in computer
-
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
-
verification and/or formal methods; (c) excellent programming skills in Python and experience with modern AI frameworks (e.g., PyTorch), LLM ecosystems and agent development frameworks; and (d) strong
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
We are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli, in a fully funded postdoctoral research role
-
these people live. Basic Qualifications The postdoctoral fellow position requires a PhD in environmental health, environmental engineering, environmental science, microbiology, or a related scientific field by