-
programming (C++, MPI, CUDA/HIP/ROCm). Preferred Qualifications: Familiarity with LLVM/MLIR development and multi‑language IR ecosystems. Background in formal methods or automated reasoning. Experience with
-
enrichment devices for processing uranium-bearing and stable isotope compounds. The Mechanical Systems Modeling Group applies first-principles physics and empirically informed methods to advance
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions