Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- 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
- Instituto de Engenharia Mecânica
- Karolinska Institutet, doctoral positions
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Manchester
- University of Amsterdam (UvA)
- Uppsala universitet
- Warsaw University of Technology - Centre for Credible AI
- 5 more »
- « less
-
Field
-
on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will developed at IDMEC - Institute of Mechanical Engineering, being both the Host and Contracting Entity, and
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
8 Jan 2026 Job Information Organisation/Company REQUIMTE - Rede de Quimica e Tecnologia Research Field Chemistry » Computational chemistry Researcher Profile First Stage Researcher (R1) Positions
-
, 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
-
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
-
23 Dec 2025 Job Information Organisation/Company Fundació Hospital Universitari Vall d'Hebron- Institut de recerca Department Research Department Research Field Biological sciences » Biology
-
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
-
of extensive datasets. You will be supervised researchers who collectively offer expertise in computational biology, genetics, epidemiology, and machine learning. The research will be closely linked
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | about 1 month ago
2 Dec 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Mathematics Researcher Profile First Stage
-
, please see the student information and admission criteria at https://www.aalto.fi/en/study-options/aalto-doctoral-programme-in-electrical-engineering . How to apply? Please submit your application through