Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Aarhus University
- University of Texas at Dallas
- Cornell University
- University of Aveiro
- University of Luxembourg
- EPFL
- NEW YORK UNIVERSITY ABU DHABI
- Stanford University
- Technical University of Munich
- University of Nevada Las Vegas
- Argonne
- Chalmers University of Technology
- University of Florida
- University of Kansas Medical Center
- University of Oregon
- University of Southern California
- University of Twente (UT)
- Universty of Aveiro
- Aalborg University
- Aix-Marseille Université
- Bournemouth University;
- CNRS
- Delft University of Technology (TU Delft)
- Duke University
- Durham University
- Ecole Polytechnique Federale de Lausanne
- Indiana University
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- Lehigh University
- Ludwig-Maximilians-Universität München
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- National Aeronautics and Space Administration (NASA)
- New York University
- Northeastern University
- Oak Ridge National Laboratory
- Pennsylvania State University
- St Jude Children's Research Hospital
- Texas A&M AgriLife
- Texas A&M University
- Umeå University
- University of Colorado
- University of Groningen
- 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 Oxford;
- University of Strathclyde;
- University of Warsaw, Faculty of Biology
- Universität für Bodenkultur
- Virginia Tech
- Wageningen University & Research
- Warsaw University of Technology
- Yale University
- bicc - Bonn International Centre for Conflict Studies gGmbH
- Łukasiewicz Research Network - Krakow Institute of Technology
- 54 more »
- « less
-
Field
-
developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal
-
. The postdoctoral associate will be expected to work both collaboratively and independently on research projects, advancing computational methods using machine learning, developing automated pipelines for data
-
of distributed-memory systems and many‑core architectures. Preferred Qualifications: Formal Methods: Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness
-
, C++, or equivalent) Experience with 3D modelling, rendering, or fabrication, and haptic feedback Familiarity with computational or optimization methods applied to interaction (e.g., computational UI
-
are looking for applicants with interests in the biogenesis and turnover of nuclear RNA and its relationship to gene expression regulation in mammalian cells. Applied methods range from cell biological over
-
of inorganic and coordination compounds, including discrete complexes and related systems, using methods such as X-ray diffraction (XRD), thermogravimetric analysis (TGA), scanning electron microscopy (SEM) and
-
successfully completed all requirements for the Ph.D. but whose degree has not yet been formally conferred may be eligible to begin employment provided they submit an official letter from the Registrar
-
technologies. The postdoctoral researcher will perform operando and time resolved structural characterization of materials and devices during switching, combining methods such as laser pump and X ray probe
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with
-
stakeholders; coordinating the development and pilot implementation of eight training modules in non-formal and informal settings; collecting and analysing data from pilots; developing assessment tools