Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Tallinn University of Technology
- Delft University of Technology (TU Delft)
- National University of Science and Technology POLITEHNICA Bucharest
- Binghamton University
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- The University of Manchester
- University of Amsterdam (UvA)
- University of Southern Denmark
- Warsaw University of Technology - Centre for Credible AI
- 4 more »
- « less
-
Field
-
? 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
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 6 days ago
developed within the Flowsimulator environment of Airbus in order to be used in the h-adaptive process initiated during the PhD of F.Basile. [M1-M6] CODA software development project immersion at AIRBUS
-
Environments (NavigAIte), project number PN-IV-P7-7.1-PED-2024-1573, contract no. 68PED/2025 Research Field Engineering » Electronic engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
to research infrastructure, and software for remote working Eligibility criteria The candidates must provide a document issued by the doctoral school they have been enrolled to, certifying the PhD candidate
-
the Job related to staff position within a Research Infrastructure? No Offer Description There is a position of Phd Candidate for a young resercher which started her/his PhD stage, with expertise in
-
verification tools. AMS test diagnostics and fail-log analysis. Your Role as a PhD Candidate You will: Analyze and enhance current automotive IC test flows. Develop new or improved fault models using NXP’s in
-
Stage Researcher (R1) Positions PhD Positions Country Portugal Application Deadline 24 Nov 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
Institute and will be working together with researchers from QuSoft . This PhD project aims to push the state-of-the-art in quantum compilation, verification and/or classical simulation. The exact project
-
30 Oct 2025 Job Information Organisation/Company Warsaw University of Technology - Centre for Credible AI Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions PhD