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
- Delft University of Technology (TU Delft); Delft
- National Renewable Energy Laboratory NREL
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Instituto Politécnico de Bragança
- KU LEUVEN
- Texas A&M AgriLife
- 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
-
enjoy several benefits, such as training and professional development opportunities, holiday leave, accommodation in NUSTPB residences, banking facilities, access to research infrastructure, and software
-
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
-
training and professional development opportunities, holiday leave, accommodation in NUSTPB residences, banking facilities, access to research infrastructure, and software for remote working. Eligibility
-
; - Experience in programming in React Native, Flutter, and/or C#, software engineering, and version management systems; - Proficiency in English (written and oral communication) will also be valued. 3. Work plan
-
this position will be responsible for conducting research in the area of verification, testing and exploration of artificial intelligence models, active participation in lab meetings, scientific seminars and
-
models, real-time telemetry, and AI-enhanced analytics, the research aims to enable continuous simulation and verification across the entire ECU lifecycle—from early model-in-the-loop design to deployment
-
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
-
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
-
from software error discovery to mitigation based on modern active learning. Job Description You will research the state-of-the-art in AI and apply it to real-world software problems at our industrial