Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- BI Norwegian Business School
- Graz University of Technology
- Hanken School of Economics
- Tilburg University
- Aalborg University
- Aarhus University
- Constructor Knowledge Labs gGmbH
- Eindhoven University of Technology (TU/e)
- Fondazione Bruno Kessler
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Telecomunicações
- NTNU - Norwegian University of Science and Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- Silesian University of Technology
- University of Bergen
- 7 more »
- « less
-
Field
-
23 Sep 2026 Job Information Organisation/Company Constructor Knowledge Labs gGmbH Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application
-
, if requesting approval of these courses for the BI PhD programme at BI Norwegian Business School. A complete list of publications and other documented relevant activities, where applicable. Signed verification
-
-management and open-science materials. Complete a doctoral thesis and related research outputs under the host doctoral programme and EMANAIRE plan. Take part in local and network-wide training, cohort
-
Job related to staff position within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems
-
degree (Bachelor’s) in Biomedical Sciences, Biology, Biochemistry, Biotechnology or a related field in the life or health sciences. Official university Master’s degree providing access to a PhD programme
-
Regional Programme (Norte 2030) of Portugal 2030”, under the following conditions: 1. Scientific Area: Engineering 2. Admission Requirements: i) Student enrolled in a Doctoral Program in Intelligent Systems
-
-agent systems formal verification modal logic computational logic temporal logic dynamic epistemic logic knowledge representation and reasoning automata theory computational complexity proof theory formal
-
enrolment in, the doctoral programme leading to the degree specified in this notice. The appointment is conditional on documentary verification of these conditions and fulfilment of the host institution's
-
prepare ethics, data-management and open-science materials. Complete a doctoral thesis and related research outputs under the host doctoral programme and EMANAIRE plan. Take part in local and network-wide
-
18 Sep 2026 Job Information Organisation/Company Silesian University of Technology Research Field Technology » Other Computer science » Other Mathematics Engineering Researcher Profile First Stage