Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Manchester
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- BI Norwegian Business School
- University of A Coruña
- University of Groningen
- Delft University of Technology (TU Delft); today published
- Fraunhofer-Gesellschaft
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- RPTU University of Kaiserslautern-Landau •
- UPF
- University of Bergen
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Surrey
- University of Utah
- University of Warwick
- Uppsala universitet
- Warsaw University of Technology - Centre for Credible AI
- 11 more »
- « less
-
Field
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
26 Nov 2025 Job Information Organisation/Company UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias Department Serviços Centrais Research Field Engineering » Computer engineering Researcher
-
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
-
to provide support and guidance. ● Lead training for camps focused on data use and interpretation for program improvement. Project Management and Evaluation Coordination ● Coordinate data collection efforts
-
26 Nov 2025 Job Information Organisation/Company UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias Department Serviços Centrais Research Field Engineering » Computer engineering Researcher
-
26 Nov 2025 Job Information Organisation/Company UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias Department Serviços Centrais Research Field Engineering » Computer engineering 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
-
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
-
3 Oct 2025 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 14 hours ago
lectures which are offered by the Physics Department of RPTU within the Master of Science in Advanced Quantum Physics programme: https://physik.rptu.de/quantum-master/ . The detailed programme of