Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- University of Luxembourg
- Argonne
- Northeastern University
- Universidade de Aveiro
- University of Oslo
- Aarhus University
- Adam Mickiewicz University, Poznań
- Aveiro University
- CNRS
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Duke University
- Heriot Watt University
- INESC ID
- Leibniz
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- Technical University of Munich
- Télécom Paris
- University of Southern Denmark
- University of Sydney
- University of Virginia
- VIB
- 16 more »
- « less
-
Field
-
. The following will be considered advantages Good understanding of quantitative methods. Familiarity with established softwares for the analysis and processing of MRI images of the brain. Experience with
-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine
-
to 708 000 SEK over two years. The scholarships are tax-free. Application deadline September 18, 2025. Start between January and April 2026 (exact start date according to agreement). Formal
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by