Sort by
Refine Your Search
-
Country
-
Employer
- Aarhus University
- University of Luxembourg
- Cornell University
- EPFL
- NEW YORK UNIVERSITY ABU DHABI
- Stanford University
- University of Kansas Medical Center
- University of Nevada Las Vegas
- Argonne
- Chalmers University of Technology
- University of Twente (UT)
- Aalborg University
- Aarhus University (AU)
- Aix-Marseille Université
- Bournemouth University;
- CNRS
- Delft University of Technology (TU Delft)
- Duke University
- Durham University
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- National Aeronautics and Space Administration (NASA)
- New York University
- Texas A&M University
- Umeå University
- University of Colorado
- University of Florida
- University of Jyväskylä
- University of Kansas
- University of London
- University of Manchester
- University of Michigan
- University of Minnesota
- University of North Texas at Dallas
- University of Oregon
- University of Oxford;
- University of Southern California
- University of Southern Denmark (SDU)
- University of Texas at Dallas
- University of Warsaw, Faculty of Biology
- Universität für Bodenkultur
- Virginia Tech
- Warsaw University of Technology
- bicc - Bonn International Centre for Conflict Studies gGmbH
- Łukasiewicz Research Network - Krakow Institute of Technology
- 39 more »
- « less
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
for finite element methods, or the AI-assisted discovery of new discretization paradigms for classes of PDEs where standard methods struggle, with their properties then verified formally. You will publish and
-
wall. The senior postdoctoral assistant will also assist another postdoctoral researcher in the day-to-day supervisorial activities for Eichhorn’s wider group of diverse PhD and MSc students, including
-
. The department has overall responsibility for the Master's degree programs in medicine and in molecular medicine. At the department we are approx. 670 academic employees, 500 PhD students and 160 technical
-
of further research funding. If appropriate, the role may involve acting as a formal co-supervisor for research students. The post holders will hold a relevant PhD/DPhil, or be near completion, in Statistics
-
-supervision of PhD students. The researcher can take part in undergraduate teaching in their expert area. The position will be filled for a 3-year term from 1 January 2027 onwards (or as agreed). The position
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
project, you will develop and validate experimental methods to study wafer bonding in a quantitative and physics-based way. You will work on wafer bonding measurements and combine these with advanced
-
the nation. This will be achieved by a balance of formal course work, practical laboratory training, and research projects that encompass both the basic science and the applied aspects of mechanical