Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Tallinn University of Technology
- National University of Science and Technology POLITEHNICA Bucharest
- University of Bergen
- AALTO UNIVERSITY
- Binghamton University
- Delft University of Technology (TU Delft)
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Karolinska Institutet, doctoral positions
- The University of Manchester
- University of Amsterdam (UvA)
- Uppsala universitet
- 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
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
de neuromelanina y factores de susceptibilidad a la enfermedad de parkinson: rol en el inicio y progresión de la enfermedad” Where to apply Website https://jobs.vhir.org/jobs/6941521-phd-researcher
-
The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en/offerta-formativa/dottorato/2025/computer-science About the
-
will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 26 days ago
-physical interactions between aerodynamics, propulsion, structures and materials. The systematic verification and validation of these models allows to integrate CFD in the certification process, reducing our
-
balance, and outgassing testing, essential for qualifying hardware for launch and orbital operation. The Space Lab also offers access to a wide suite of engineering and simulation software for electronics
-
English B/English 6 at Swedish upper secondary school. Follow the instructions on the web page English language requirements for doctoral education. Verification of your documents Karolinska Institutet
-
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