Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU Norwegian University of Science and Technology
- University of Bergen
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Medicina da Universidade do Porto
- Institute of Public Health University of Porto
- KU LEUVEN
- NTNU - Norwegian University of Science and Technology
- Nature Careers
- University of Southern Denmark
- CNR
- Computer Vision Center (CVC)
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Imperial College London;
- Instituto Superior de Agronomia
- KINGS COLLEGE LONDON
- Linköping University
- Linköpings universitet
- Luxembourg Institute of Science and Technology
- Technical University of Munich
- The CoReACTER (@ University College Dublin)
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Manchester
- UNIVERSIDADE DE ÉVORA
- Umeå University
- Umeå universitet
- Universidade de Coimbra
- Universitat Autonoma de Barcelona
- University of Iceland
- University of Luxembourg
- University of Newcastle
- University of Oslo
- University of Porto
- University of Salford;
- University of Sussex
- University of Sussex;
- Università degli Studi di Trieste
- Warsaw University of Technology - Centre for Credible AI
- 31 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
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
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
-
the PromPrint research team, which also includes PI Dr Field, postdoctoral researcher Dr Milan Terlunen, and Research Software Engineer Dr Nicolas Seymour-Smith. PhD Project The PhD project will focus
-
Development of a numerical tool for assessing radon prevention and mitigation methods in energy-efficient new buildings and existing buildings A PhD position is available in the Department of Physics
-
inverse problems. The team aims at developing Bayesian computational methods for such (ill-posed) inverse problems and aims both at increasing their validity and at reducing their computational cost. In
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Campus Odense, invites applications for one PhD candidate position in Computer Science, fully
-
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
-
, current methods are either static, rely on heavy offline training, or fail to adapt to changing environments. This PhD project will develop intelligent software agents capable of autonomously optimizing
-
are utilised in the computation. You will be part of the Nektar++ group and will be contributing towards the development of this advanced C++ software framework. The PhD will provide you with training and