Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
-performance computing and/or large-scale data centers; Advanced experience with large-scale software development and support; Advanced knowledge of Linux kernel internals and systems programming methods
-
on devices like NVIDIA BlueField, AMD Pensando or similar. Driver Development: Develop and optimize Linux kernel modules and userspace drivers (DPDK) to manage flows. Hardware/Software Co-Design
-
include: Developing and analyzing representative dynamic simulation scenarios for electrical power systems Extending kernel-based Gaussian Process methods for the estimation of electrical and control
-
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
-
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
-
computational kernel to effectively generate optimised structure and toolpaths for robot-assisted additive manufacturing with dynamically changed material accumulation directions. The research is funded
-
develop a computational kernel to effectively generate optimised structure and toolpaths for robot-assisted additive manufacturing with dynamically changed material accumulation directions. The
-
. 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
-
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
-
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