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
- Birkbeck University of London
- 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ń
- 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
-
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
-
, probability, logic, formal methods, and experimental mathematics will be given preference. We encourage applications from scholars who apply interdisciplinary perspectives across a variety of these domains
-
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
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
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
-
, 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
-
Research in the Division of Population Health, Health Services Research and Primary Care, supporting delivery of a NIHR SPCR mixed-methods research project examining how continuity of care in general
-
in their development Contribution to publications /research articles/presentations/teacher professional development activities Conclusion of a formal PhD agreement within 12 months Participation in
-
29th September 2026 Languages English English Norsk Nynorsk English PhD position on AI Ethics in Human-AI Constellations at AI LEARN Apply for this job See advertisement UiB - Knowledge that shapes