Sort by
Refine Your Search
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- Oak Ridge National Laboratory
- Texas A&M University
- Argonne
- Duke University
- Rutgers University
- Foundation for Research and Technology-Hellas
- Pennsylvania State University
- The University of Western Australia
- University of Lund
- University of Southern California
- EPFL
- UNIVERSITY OF WESTERN AUSTRALIA
- University College Cork
- University of California
- 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
- TTI
- UCL
- University of Amsterdam (UvA)
- University of Antwerp
- University of Florida
- University of Miami
- University of Minnesota
- University of New Hampshire
- University of New Hampshire – Main Campus
- University of North Carolina at Chapel Hill
- University of Southern California - Center for Craniofacial Molecular Biology
- University of Vienna
- jobs.ac.uk
- 31 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
-
documents compiled as a single PDF (submitted as the mandatory CV attachment in the application portal): Cover letter CV Research statement (max 3 pages) List of publications All applications also require 2
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 13 hours ago
. Experience working with compiled programming languages (C, C++, Fortran). Special Physical/Mental Requirements Special Instructions Please submit the following materials: 1. A curriculum vitae 2. A research
-
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
-
Max Planck Institute for Solar System Research, Göttingen | Gottingen, Niedersachsen | Germany | 13 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
-
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
-
working with and manipulating large datasets with scripting languages such as Python, or compiled languages such as C++, and Fortran. Experience implementing workflows with API wrappers and software such as
-
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