Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Oslo
- NEW YORK UNIVERSITY ABU DHABI
- Duke University
- Lodz University of Technology
- Oak Ridge National Laboratory
- University of Antwerp
- University of Aveiro
- University of Warsaw
- Aarhus University
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Argonne
- CNRS
- Durham University
- IMT Mines Ales
- Idiap Research Institute
- Imperial College London
- Instituto de Engenharia Mecânica
- Lunds universitet
- Technical University of Munich
- Universidade de Aveiro
- University of Lund
- University of Luxembourg
- University of Minnesota
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- VIB
- 21 more »
- « less
-
Field
-
. 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
-
Responsibilities will include developing next-generation genome engineering technologies for gene and cell therapy applications as well as functional genomics. In particular, you will focus on delivery methods
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions