Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Aarhus University
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- University of Luxembourg
- University of Texas at Dallas
- University of Twente (UT)
- Duke University
- EPFL
- Stanford University
- Technical University of Munich
- University of Aveiro
- University of Nevada Las Vegas
- University of Southern California
- Aalborg University
- Argonne
- Chalmers University of Technology
- Northeastern University
- University of Kansas Medical Center
- University of Oregon
- University of Warsaw
- Universty of Aveiro
- Aix-Marseille Université
- Bournemouth University;
- CNRS
- Delft University of Technology (TU Delft)
- Durham University
- Ecole Polytechnique Federale de Lausanne
- Indiana University
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- 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
- Oak Ridge National Laboratory
- Pennsylvania State University
- Umeå University
- University of Arkansas
- University of Colorado
- University of Groningen
- University of Jyväskylä
- University of Kansas
- 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
- 50 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
-
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
-
particular focus on Egypt. 4. Documented experience in archaeological fieldwork. 5. Proficiency in archaeological documentation methods. 6. Experience in working with databases, inventories, and catalogues
-
-domain (FDTD) or finite-element methods Ability to independently plan experiments, analyze data, and communicate results in peer-reviewed publications Preferred Hands-on experience with cleanroom
-
, platform audits, computational analyses, online or field experiments, or formal models, as appropriate to the question; Build reproducible data-collection and analysis pipelines and document methods, code
-
), 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
-
, particularly with fusion bonding process (the preferred joining method). In this process, failure of assembly implies scrapping the entire structure. This project is trying to resolve this problem, by
-
, invites you to apply for a 19-month postdoctoral position. Job description The postdoctoral researcher will be part of the GHG-MONITOR project, which develops a drone-based method for monitoring greenhouse