Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- Oak Ridge National Laboratory
- Texas A&M University
- Rutgers University
- Argonne
- Duke University
- Foundation for Research and Technology-Hellas
- Pennsylvania State University
- The University of Western Australia
- University of Southern California
- EPFL
- UNIVERSITY OF WESTERN AUSTRALIA
- University College Cork
- University of Lund
- University of South Carolina
- University of Washington
- Wageningen University & Research
- Yale University
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Baylor College of Medicine
- CNRS
- FAPESP - São Paulo Research Foundation
- Lunds universitet
- Max Planck Institute for Solar System Research, Göttingen
- Purdue University
- SUNY University at Buffalo
- Stanford University
- Swedish University of Agricultural Sciences
- TTI
- University of Amsterdam (UvA)
- University of Antwerp
- University of California
- University of Florida
- University of Miami
- University of Minnesota
- University of New Hampshire
- University of New Hampshire – Main Campus
- University of Southern California - Center for Craniofacial Molecular Biology
- University of Vienna
- jobs.ac.uk
- 30 more »
- « less
-
Field
-
the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with
-
languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU programming or semantics, compilers, concurrency, or ML systems (e.g
-
, and metabolomics. Design, execute, troubleshoot, optimize, and document experiments with thorough attention to reproducibility and scientific rigor. Compile, interpret, and communicate research findings
-
Delft courses across the campus and study their impact on meaningful student learning. Your initial goal will be to engage with the educational community involved in the project. You will then compile
-
Max Planck Institute for Solar System Research, Göttingen | Gottingen, Niedersachsen | Germany | 10 days ago
the observational foundation - the sample, the activity catalog, and the geometry of the systems - and confirms any transiting planets among the interacting systems. The position Compile the most accurate and
-
to apply Applications shall be written in English and be compiled into a PDF-file containing: résumé/CV, including a list of publications, copy of the doctoral degree certificate, and other certificates
-
for Dutch Universities. An excellent pension scheme via the ABP. The possibility to compile an individual employment package every year. Discount with health insurers on supplemental packages. Flexible
-
computing runtime with application and compilers to efficiently integrate quantum processors with HPC resources. The research will explore different quantum computing modalities, their architectural
-
characterization results to materials processing and performance. Demonstrated experience designing and performing experiments, operating and maintaining research equipment, compiling and evaluating data, and
-
, including data from SPRUCE, AmeriFlux towers, and other observational and experimental Compile, harmonize, and synthesize multi-source observational datasets (e.g., flux, soil biogeochemistry, plant trait