Sort by
Refine Your Search
Location
Within 5 km of phd
-
Category
-
Country
-
Employer
- Technical University of Munich
- European Magnetism Association EMA
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- University of Basel
- Université de Limoges
- ELLIS Institute Finland
- ETH Zürich
- Helmholtz Association of German Research Centres
- IDIVAL
- Lodz University of Technology
- Max Planck Institute for Biological Intelligence (Seewiesen site), Seewiesen
- Max Planck Institute for Chemistry, Mainz
- OCAD University
- Potsdam-Institut für Klimafolgenforschung e.V. (PIK)
- St. Anna Children's Cancer Research Institute (St. Anna CCRI)
- St. Anna Kinderkrebsforschung e.V.
- Stanford University
- University Hospital Essen, Collaborative Research Centre 1752
- University of Vaasa
- University of Würzburg - NUCLEATE Excellence Cluster
- VIB
- 12 more »
- « less
-
Field
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
Description of the offer : We are seeking to recruit a number of PhD and postdocs working on the theory of magnetism, spintronics and their interface with quantum information science. The PhD
-
parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but also on
Searches related to postdoctoral computer vision
Enter an email to receive alerts for postdoctoral-computer-vision positions in phd