Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- Rutgers University
- EPFL
- Foundation for Research and Technology-Hellas
- Pennsylvania State University
- University of North Carolina at Chapel Hill
- University of South Carolina
- University of Southern California
- University of Washington
- Aarhus University
- CNRS
- Duke University
- FAPESP - São Paulo Research Foundation
- Lunds universitet
- SUNY University at Buffalo
- Stanford University
- TTI
- UNIVERSITY OF WESTERN AUSTRALIA
- University College Cork
- University of Amsterdam (UvA)
- University of California
- University of Lund
- University of Southern California - Center for Craniofacial Molecular Biology
- Yale University
- jobs.ac.uk
- 15 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
-
, including (field-based) psycholinguistic experiments; Co-authoring at least three papers and compiling a typological database; Co-organizing and contributing to a summer school and a workshop. This is what we
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | 7 days ago
Simulation Laboratory (https://griffith.web.unc.edu). This position would support projects on (1) cardiac digital twins for heart failure and/or (2) cardiac fluid dynamics simulation software development in
-
. Identify, review, compile, and evaluate relevant scientific literature, data sources, research methods, and technologies. Contribute to and/or lead writing of manuscripts, abstracts, presentations, technical
-
Applications shall be written in English and compiled into a single PDF file containing: • A cover letter describing the applicant’s motivation and suitability for the position, • a curriculum vitae, including a
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | 22 days ago
Simulation Laboratory (https://griffith.web.unc.edu). This position would support projects on (1) cardiac digital twins for heart failure and/or (2) cardiac fluid dynamics simulation software development in
-
with opportunities as well as new engineering challenges. In the Dutch-funded project HybridLabs (https://hybridlabs.tudelft.nl), we accelerate the development of innovations in offshore and floating
-
via the ABP. The possibility to compile an individual employment package every year. Discount with health insurers on supplemental packages. Flexible working week. Every year, 232 leave hours (at 38
-
the Collective Labour Agreement for Dutch Universities. An excellent pension scheme via the ABP. The possibility to compile an individual employment package every year. Discount with health insurers
-
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