Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Aarhus University
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- Duke University
- EPFL
- Stanford University
- Technical University of Munich
- University of Nevada Las Vegas
- University of Twente (UT)
- Aalborg University
- Argonne
- University of Luxembourg
- University of Southern California
- University of Warsaw
- Aix-Marseille Université
- Bournemouth University;
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Durham University
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- National Aeronautics and Space Administration (NASA)
- New York University
- Northeastern University
- UNIVERSITE DE BOURGOGNE (University of Burgundy)
- Umeå University
- University of Jyväskylä
- University of Kansas Medical Center
- University of Manchester
- University of Miami
- University of Michigan
- University of Minnesota
- University of North Texas at Dallas
- University of Oregon
- University of Oxford;
- University of Texas at Austin
- 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
- 34 more »
- « less
-
Field
-
degrade precision and stability. Existing approaches do not allow robustness and energy efficiency to be guaranteed simultaneously [2]. Safety lock: formally guaranteeing collision avoidance while
-
, 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
-
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
-
activities: You will develop computational methods for multibody dynamics. You will perform hybrid testing experiments related to floating wind turbines. You will support teaching activities in structural
-
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
-
thereafter with possibility for extension of the employment. Job description You will be working using several methods to study RNA, protein-interactions and epigenetics, often including high through-put
-
contingent on satisfactory performance and continued funding. Minimum Qualifications Required PhD or foreign equivalent in Physics, Applied Physics, Electrical Engineering, Materials Science, or a closely
-
Geographical Factors in the emergence of Fortified Settlements and its relation to irrigation systems Using Historical, Archaeological, Ethnographical Methods and Artificial Intelligence. Where to apply E-mail
-
set out in Article 113 of the Law on Higher Education and Science (Journal of Laws 2024, item 1571, as amended). 2. A PhD in Archaeology. The doctoral degree must have been obtained no earlier than
-
), the Ministry of Defense, and globally leading industry partners specializing in the chemistry, the methods (design, printing, composites), or key applications (sailing/flying drones). In the final stage