Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
. Journal of Open-Source Software. 2025. [4] ArcaneFEM. High-Performance Finite Element Method Solvers with CPU/GPU Parallelism. https://github.com/arcaneframework/ arcanefem Pourquoi Intégrer le CEA
-
computation, communication and storage, optimizing GPU utilization, parallelization, inter-node communication and I/O performance on parallel file systems. You will develop solutions for monitoring
-
experience designing & operating massive-scale GPU and combined CPU/GPU workloads across these services. You will design and debug platforms, and will work closely with researchers as you co-design
-
, Elastic Stack, or similar monitoring platforms. Experience supporting GPU computing environments, including NVIDIA drivers, CUDA , GPU scheduling, monitoring, and performance optimization; familiarity
-
computational experiments. You will experience designing and operating massive-scale GPU and combined CPU/GPU workloads across these services. You will design and debug platforms, and will work closely
-
-energy astro(particle)/physical processes meet. The research group of Prof. Sera Markoff (Plumian Professor) studies these systems across the full black hole mass scale, combining GPU-accelerated
-
) environments, GPU-enabled systems, and cloud-based resources for large-scale data analysis and model development. Using these rich data resources, we develop and apply advanced AI/ML methods to model tumor
-
, transparent, and responsible use of AI in line with best practices and international standards. Leverage VIB Data Core services, including high-performance computing pipelines and large-scale GPU