Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Ghent University
- George Washington University
- Delft University of Technology (TU Delft)
- Cornell University
- Duke University
- EPFL
- Karolinska Institutet (KI)
- St Jude Children's Research Hospital
- Technical University of Munich
- The Ohio State University
- UNIVERSITY OF VIENNA
- University of Minnesota
- University of Oxford
- Yale University
- AALTO UNIVERSITY
- Argonne
- Baylor College of Medicine
- Blekinge Institute of Technology
- Chalmers University of Technology
- Copenhagen Business School
- European Magnetism Association EMA
- ICN2
- Institute of Philosophy and Sociology Polish Academy of Sciences
- Institute of Physics, Polish Academy of Sciences, Warsaw
- Massachusetts Institute of Technology
- Oak Ridge National Laboratory
- Personalwerk GmbH
- Research Center for Molecular Medicine (CeMM), ÖAW
- Stanford University
- Stony Brook University
- Texas A&m Engineering
- The Hebrew University of Jerusalem
- Umeå University
- University College Cork
- University of Denver
- University of South Carolina
- University of Southern California
- University of Sydney
- University of Warsaw
- Vrije Universiteit Amsterdam (VU)
- 30 more »
- « less
-
Field
-
We are currently inviting applications for a Postdoctoral Research Associate to work with Professor Emmanuel Breuillard, Dr. Martin Bays, and the Mathematical Logic group at the Mathematical
-
that coordinates the stations, and the connection to the campaign logic that plans experiments and consumes their results. The postdoc will work closely with the engineers designing ARM's automated arc melting
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
fundamental algorithms for producing policies for rich goal structures in MDPs (e.g. risk, temporal logic, or probabilistic objectives), and modelling robot decision problems using MDPs (e.g. human-robot
-
and logical elements for application in quantum computing [3, 4]. [1] M. Zgirski, et al., Phys. Rev. Applied 10, 044068 (2018). [2] M. Zgirski, et al., Phys. Rev. Applied 14, 044024 (2020). [3] M
-
development of measurement, evaluation, and analytic strategies to inform policy and systems transformation – 45% Develop conceptual frameworks, logic models, measurement plans, and analytic strategies, drawing
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
. Performs other related duties as assigned. The omission of specific duties does not preclude the supervisor from assigning duties that are logically related to the position. Minimum Qualifications Applicants
-
Institute (USC-ISI) is recruiting to join a beyond-CMOS spintronics program — a 36-month, multi-institution DARPA-funded effort to develop a three-terminal beyond-CMOS digital logic switch based on spintronic
-
more than 80 departments offering state-of-the-art study programmes grounded in research in a wide range of academic fields, Ghent University is a logical choice for its staff and students. YOUR TASKS