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
- ; The University of Edinburgh
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of Cambridge;
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- DAAD
- 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 Politécnico de Bragança
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- Leibniz
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National University of Science and Technology POLITEHNICA Bucharest
- Norwegian University of Life Sciences (NMBU)
- Texas A&M AgriLife
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Southern Denmark
- University of Warwick
- University of Warwick;
- 32 more »
- « less
-
Field
-
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
-
25 Sep 2025 Job Information Organisation/Company National University of Science and Technology POLITEHNICA Bucharest Research Field Engineering » Communication engineering Engineering » Computer
-
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
-
Intelligence with the topic of formal verification of distributed systems. The candidate would become a member of the Fundamental Computing Group of the Computer Science Department and would work under the
-
17 Oct 2025 Job Information Organisation/Company NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT Research Field Computer science Researcher Profile First Stage Researcher (R1
-
of Edinburgh and will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Ivan Rungger, National
-
25 Oct 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
through simulation Utilize advanced CMOS technology nodes (28nm, 22nm, and below) Automate the design and layouts using Skill programming Develop behavioural models for circuit verification Contribute
-
The PhD studentship will be based at the University of Cambridge in the Department of Materials Science and Metallurgy as part of the Structural Materials Group. The Structural Materials Group is a
-
and 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