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
- 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 A Coruña
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- 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 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
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                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