Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- EPFL
- University of Manchester
- Blekinge Institute of Technology
- Forschungszentrum Jülich
- Inria, the French national research institute for the digital sciences
- New England HERC
- Northeastern University
- The University of Manchester
- University of Kentucky
- University of Lund
- Università degli Studi di Napoli Federico II
- 1 more »
- « less
-
Field
-
focuses on three main points: 1. Global analysis of the pre-symplectic algorithm for the Palatini formulation of Einstein's equations; 2. Geometric characterization of gauge symmetries as the kernel of the
-
develop a computational kernel to effectively generate optimised structure and toolpaths for robot-assisted additive manufacturing with dynamically changed material accumulation directions. The
-
as quantile g-computation, Bayesian kernel machine regression, weighted quantile sum regression, or related approaches. 4. Experience with time-to-event analyses of health outcomes. 5. Knowledge of
-
computational kernel to effectively generate optimised structure and toolpaths for robot-assisted additive manufacturing with dynamically changed material accumulation directions. The research is funded
-
Inria, the French national research institute for the digital sciences | Villeneuve, Queensland | Australia | 15 days ago
. Analyzing the history of source code is becoming essential to keep pace with increasingly large and complex software systems — some projects, like Chromium or the Linux kernel, span tens of millions of
-
with unverified systems in terms of development effort, features, and performance. Its missions include the design and implementation of verified inference components, the formalization of GPU kernel
-
outstanding 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
-
employment and promotion of teachers and appointment to docent" which is available at https://www.bth.se/english/about-bth/work-at-bth/vacancies . Meriting competencies and experience In addition to
-
. Doctoral studies end with a thesis and a doctoral degree. More about being a doctoral student at LTH on lth.se. https://www.lth.se/english/study-at-lth/phd-studies/ AEGIS — Adaptive Grid-Interactive
-
. The effects of kernel manufacture route on cer-met material properties. Smart fuel certification for cer-met fuel materials. Fuel performance modelling of cer-met and cer-cer fuel systems