Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU Norwegian University of Science and Technology
- Nature Careers
- University of Bergen
- Aalborg Universitet
- Aalborg University
- Faculdade de Medicina da Universidade do Porto
- Instituto de Engenharia Mecânica
- KU LEUVEN
- Linköping University
- Newcastle University
- University of Oslo
- University of Southern Denmark
- Computer Vision Center (CVC)
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Imperial College London;
- Institute of Public Health University of Porto
- Instituto Superior de Agronomia
- Luxembourg Institute of Science and Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Technical University of Munich
- The CoReACTER (@ University College Dublin)
- The University of Manchester
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Umeå universitet
- Universidade de Coimbra
- Universitat Autonoma de Barcelona
- University of Newcastle
- University of Sussex
- University of Sussex;
- University of Texas at El Paso
- Warsaw University of Technology - Centre for Credible AI
- 25 more »
- « less
-
Field
-
. This PhD project explores how formal requirements and automated testing can produce clear, traceable, regulator-ready evidence for medical device software certification. Part of the international PlaTFoRm
-
PhD studentship in School of Computing: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered
-
ICT Services & Applications. Your role We offer a fully funded PhD student position within the TruX Research Group headed by Prof. Dr. Tegawendé F. Bissyandé. The position is supported by Google.org and
-
, the PhD candidate shall be responsible for selecting the most appropriate tools and methods for conducting the research, defining and refining the research questions, and detailing the overall research
-
5 Jan 2026 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
? 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
-
disse informasjonskapslene. Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal fungere riktig. Personvernregler for databehandling: HAProxy software - Personvernregler
-
settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness. The positions are embedded in an active and rapidly growing research environment, including ongoing
-
PhD Positions Country Portugal Application Deadline 22 Jan 2026 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
–based methods and software to assist physicians with: Disease classification Treatment decision support What-if analyses. Although the developed methods and software will be general-purpose, a special