Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Aarhus University
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- University of Twente (UT)
- Duke University
- EPFL
- Stanford University
- Technical University of Munich
- University of Aveiro
- University of Luxembourg
- University of Nevada Las Vegas
- University of Southern California
- University of Texas at Dallas
- Aalborg University
- Argonne
- Northeastern University
- Oak Ridge National Laboratory
- University of Arkansas
- University of Oregon
- University of Warsaw
- Universty of Aveiro
- Aix-Marseille Université
- Bournemouth University;
- Chalmers University of Technology
- 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)
- Ludwig-Maximilians-Universität München
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- National Aeronautics and Space Administration (NASA)
- New York University
- Pennsylvania State University
- UNIVERSITE DE BOURGOGNE (University of Burgundy)
- Umeå University
- University of Colorado
- University of Copenhagen
- University of Groningen
- University of Jyväskylä
- University of Kansas Medical Center
- 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
- 49 more »
- « less
-
Field
-
UNIVERSITE DE BOURGOGNE (University of Burgundy) | Le Creusot, Bourgogne | France | about 3 hours ago
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
-
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
-
molecular cloning techniques including Gibson, USER or Golden Gate assembly and targeted strain recombineering and gene integration methods Culture and evaluate constructed yeast strains using small-scale
-
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
-
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
-
, 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
-
-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