Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- University of Aveiro
- Technical University of Denmark
- 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 Southern Denmark
- 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
- Universidade de Aveiro
- University of Bergen
- Adam Mickiewicz University, Poznań
- CNRS
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); yesterday published
- IRIT, Université de Toulouse
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Peace Research Institute, Oslo (PRIO)
- Politécnico de Leiria
- Technical University of Munich
- UiT The Arctic University of Norway
- Umeå universitet
- Universidad de Alicante
- Universidade de Coimbra
- University of Maryland
- University of Minnesota
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aarhus University
- Argonne
- 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)
- 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
- Nanyang Technological University
- North Carolina State University
- State University of New York University at Albany
- 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 Colorado
- University of Iceland
- University of Illinois at Urbana Champaign
- University of Kansas Medical Center
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- 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
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
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