Sort by
Refine Your Search
-
Computing (HPC) system architecture and intelligent storage design. The candidate will contribute to research and development efforts in scalable storage and memory architectures, telemetry-driven system
-
. This position is in the Technology Integration group within NCCS. Specific areas of research interest include: Integration of memory encryption, confidential computing, and trusted execution environments on both
-
to convey their requirements for I/O performance and data atomicity, consistency, durability, and retention. Intelligent and automated selection and composition of data and storage service capabilities and
-
of distributed-memory systems and many‑core architectures. Preferred Qualifications: Formal Methods: Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness
-
to convey their requirements for I/O performance and data atomicity, consistency, durability, and retention. Intelligent and automated selection and composition of data and storage service capabilities and