Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Delft University of Technology (TU Delft)
- Forschungszentrum Jülich
- Karolinska Institutet, doctoral positions
- National Research Council Canada
- National University of Science and Technology POLITEHNICA Bucharest
- 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 Beira Interior
- University of Groningen
- CNRS
- Colorado State University
- 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 Politécnico de Coimbra
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Massachusetts Institute of Technology (MIT)
- 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 Cambridge
- University of Cambridge;
- University of Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Southern Denmark
- University of Surrey
- University of Warwick
- University of Warwick;
- Warsaw University of Technology - Centre for Credible AI
- 37 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
-
decision processes. Use the CARLA simulation platform to generate DCD-style data in high-risk or ambiguous driving scenarios. Build a proof-of-concept verification pipeline that maps DCD outputs
-
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
-
Research Framework Programme? Not funded by a EU programme Reference Number PRBI/33/2025 Is the Job related to staff position within a Research Infrastructure? No Offer Description Research Scholarship (BI
-
25 Sep 2025 Job Information Organisation/Company National University of Science and Technology POLITEHNICA Bucharest Research Field Engineering » Communication engineering Engineering » Computer
-
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
-
Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 10 days ago
possess one or more of the following: Bachelor?s degree in Computer Science, Statistics, Mathematics, or Economics (with a strong quantitative orientation). Master?s Degree preferred but not required
-
12 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Engineering » Computer engineering Engineering » Electrical engineering Researcher Profile
-
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