Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- University of Luxembourg
- University of Glasgow
- California State University, San Bernardino
- KINGS COLLEGE LONDON
- NTNU Norwegian University of Science and Technology
- University of Sheffield
- University of Texas at Austin
- Université catholique de Louvain
- Aveiro University
- Cornell University
- Duke University
- NTNU - Norwegian University of Science and Technology
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Stanford University
- Umeå University
- University of Bergen
- ;
- Adam Mickiewicz University, Poznań
- CNRS
- Delft University of Technology (TU Delft)
- IRIT, Université de Toulouse
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Peace Research Institute, Oslo (PRIO)
- Politécnico de Leiria
- State University of New York University at Albany
- Technical University of Munich
- UiT The Arctic University of Norway
- Umeå universitet
- Universidad de Alicante
- Universidade de Aveiro
- Universidade de Coimbra
- University of Maryland
- University of Southern Denmark
- Aarhus University
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- CNR
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Centro de Computação Grafica
- Chalmers University of Technology
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Ciências e Tecnologia
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Faculty of forestry and wood technology
- Gulbenkian Institute for Molecular Medicine
- Heriot Watt University
- INESC ID
- Imperial College London
- Institute of Public Health University of Porto
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Agronomia
- Instituto Superior de Engenharia do Porto
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- King's College London
- Leibniz
- Linköpings universitet
- Medical Research Council
- NORCE
- Nanyang Technological University
- North Carolina State University
- Texas A&M TVMDL
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Chicago
- Télécom Paris
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa - Porto
- University of Birmingham
- University of British Columbia
- University of California, Berkeley
- University of Cambridge
- University of Colorado
- University of Iceland
- University of Illinois at Urbana Champaign
- University of Kansas Medical Center
- University of Minnesota
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Newcastle
- University of Porto
- University of Salford;
- University of Sydney
- University of Texas at El Paso
- Università degli Studi di Trieste
- Université de Toulouse
- 90 more »
- « less
-
Field
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current
-
strong expertise in the application of artificial intelligence for cybersecurity (prof. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos
-
models in the form of prototypical software. About the position The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving
-
. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos and dr. Tim Steenvoorden). The PhD project will be carried out in close cooperation
-
to have knowledge of discrete-event systems, and knowledge of or interest in learning about formal methods, in particular, the theory of Supervisory Controller Synthesis. PhD 4: AI-driven legacy system
-
nuclear forces, determining the limits of nuclear stability, and identifying signatures of new physics beyond the Standard Model. Major Duties/Responsibilities: Develop formalism, methods, and algorithms
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
models in the form of prototypical software. About the position The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving
-
Professors in Computer Science, with emphasis on Sustainable and AI-driven Software Engineering. The targeted starting period is autumn 2026, with room for flexibility. Hired candidates will join the
-
of the research are: AI-assisted Bond Issuance, Causal Methods for Enhanced Market Intelligence, Automated Market Research Summaries via RAG-enabled AI. Successful PhD candidates will extensively explore and