Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- National Research Council Canada
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Forschungszentrum Jülich
- National University of Science and Technology POLITEHNICA Bucharest
- ; The University of Edinburgh
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of A Coruña
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Nature Careers
- Texas A&M AgriLife
- The University of Manchester
- UPF
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Cambridge
- University of Cambridge;
- University of Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Southern Denmark
- University of Warwick
- University of Warwick;
- Warsaw University of Technology - Centre for Credible AI
- 35 more »
- « less
-
Field
-
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
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
status. The candidates have to prove the graduation of bachelor in Computer Science and master degree in Electronics and Telecommunications domain. Selection process 10.11.2025-12.11.2025- submission
-
6 Nov 2025 Job Information Organisation/Company National University of Science and Technology POLITEHNICA Bucharest Department AIoT On-Board Localization System for UAVs in GPS-Denied or Unreliable
-
10 Nov 2025 Job Information Organisation/Company Instituto Politécnico de Bragança Department Gabinete de Apoio a Projetos Research Field Computer science » Programming Researcher Profile First
-
25 Sep 2025 Job Information Organisation/Company National University of Science and Technology POLITEHNICA Bucharest Research Field Engineering » Communication engineering Engineering » Computer
-
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
-
A PhD position is available at the Theory and Foundations group in the Department of Computer Science, University of Warwick, UK. The group works on various aspects of theoretical computer science
-
criteria in order to be given further consideration as candidates: Education As part of the RA Program you must have received your PhD or Masters in Physical, Chemical or Materials Sciences or other
-
of affiliation The beneficiaries will be affiliated with the Department of Medicine and Life Sciences of the UPF. Requirements to be met by candidates a) To be admitted to the Biomedicine doctoral program at