> Markdown version of [/jobs/ext/1990038-staff-software-development-engineer-rust-compilers-and-gpu-systems](https://www.wearedevelopers.com/jobs/ext/1990038-staff-software-development-engineer-rust-compilers-and-gpu-systems). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Staff Software Development Engineer - Rust, Compilers, and GPU Systems - **Company:** Advanced Micro Devices, Inc. - **Location:** San Jose, CA, United States - **Contract:** Permanent contract - **Skills:** Abstraction Layers, Artificial Intelligence, Aliasing, C++ (Programming Language), Compilers, Code Generation, Encodings, Software Design Documents, Firmware, Formal Verification, Fuzz Testing, GNU Linker, Link Analysis, Program Analysis, Cloud Services, Software Engineering, System Programming, Toolchain, Graphics Processing Unit (GPU), High Performance Computing, Macros, Concurrency, Hardware Testing, Backend, Isabelle, Coq, Formal Methods - **Published:** August 8, 2026 - **Apply:** https://us.experteer.com/career/view-jobs/staff-software-development-engineer-rust-compilers-and-gpu-systems-san-jose-ca-usa-58853913 ## About the Role Rust performance, or velocity Tasks * Strong production Rust experience (ownership/borrowing, lifetimes, traits/generics, concurrency, FFI, safe abstractions over unsafe) * Experience with no_std, embedded systems, firmware, or architecture-specific Rust targets * Strong C/C++ systems programming skills and cross-language collaboration * Experience with rustc internals, MIR, custom codegen backends, macros, or toolchain infrastructure * Experience with LLVM, MLIR, GCC or another production compiler framework * Experience designing IRs, dialects, analyses, optimizations, target-specific code generation * Understanding of compiler correctness issues (UB, aliasing, memory models, calling conventions) * Ability to read/reason about low-level assembly, ISA encodings, compiler output * Experience with linkers/loaders/ELF/code-object metadata, DWARF, post-link analysis or binary rewriting * Understanding GPU execution models (waves/warps, SIMD/SIMT, memory spaces, synchronization) * Experience a and AMDGPU, GCN, RDNA, CDNA, ROCm, HIP, HSA, or AMDGPU LLVM backend * Experience with GPU runtimes, drivers, firmware, device init, command processing, queues * Experience with program analysis or formal verification tools (Verus, Lean, Coq, Isabelle, Dafny, TLA+) * Experience writing executable specifications and proving state-machine invariants * Strong validation instincts (adversarial testing, differential testing, fuzzing) * Hardware-software co-design experience for ISA features or compute pipelines * Technical leadership: setting direction, cross-layer problem solving, mentoring, tradeoff communication Key requirements * ## Description Experteer Overview In this role you will help build next-generation systems software for AMD GPUs with Rust as a core direction. You'll influence production Rust usage across the GPU stack, from compilers and runtimes to tooling and validation. You'll work across abstraction layers, contributing to both near-term implementations and long-term architecture. This is a hands-on, cross-functional role that blends Rust systems programming with compiler infrastructure, GPU architecture, and firmware. You will join a mission-driven team delivering high-performance, safe, and scalable GPU software that enables AI, HPC, and cloud workloads. Compensation / Benefits * Lead design and implementation of production-quality Rust components for low-level, performance-sensitive GPU systems * Drive Rust as a first-class language across the GPU software stack (toolchain, libraries, diagnostics, testing, deployment) * Design and implement compiler pipelines (rustc, MIR, IRs, MLIR dialects, LLVM IR, AMDGPU codegen) * Develop analyses, transformations, legalization passes, and target-specific lowering for GPU execution models * Define typed, auditable interfaces across compiler, host runtime, device code, firmware, and hardware boundaries * Work on ABI definitions, argument layout, calling conventions, linker/loader behavior, ELF and code-object metadata * Develop or improve bare-metal/no_std Rust components for explicit, bounded, fail-closed behavior * Apply testing, fuzzing, differential execution, and hardware validation to prevent regressions * Use program analysis or formal methods to provide meaningful assurance and document trusted boundaries * Collaborate with compiler, runtime, firmware, architecture, validation, security, and performance teams to solve cross-boundary problems * Write design documents, lead technical reviews, mentor engineers, and clearly communicate complex concepts * Evaluate emerging compiler and verification technologies and integrate them when they improve safety, performance, or velocity Tasks * Strong production Rust experience (ownership/borrowing, lifetimes, traits/generics, concurrency, FFI, safe abstractions over unsafe) * Experience with no_std, embedded systems, firmware, or architecture-specific Rust targets * Strong C/C++ systems programming skills and cross-language collaboration * Experience with rustc internals, MIR, custom codegen backends, macros, or toolchain infrastructure * Experience with LLVM, MLIR, GCC or another production compiler framework * Experience designing IRs, dialects, analyses, optimizations, target-specific code generation * Understanding of compiler correctness issues (UB, aliasing, memory models, calling conventions) * Ability to read/reason about low-level assembly, ISA encodings, compiler output * Experience with linkers/loaders/ELF/code-object metadata, DWARF, post-link analysis or binary rewriting * Understanding GPU execution models (waves/warps, SIMD/SIMT, memory spaces, synchronization) * Experience with AMDGPU, GCN, RDNA, CDNA, ROCm, HIP, HSA, or AMDGPU LLVM backend * Experience with GPU runtimes, drivers, firmware, device init, command processing, queues * Experience with program analysis or formal verification tools (Verus, Lean, Coq, Isabelle, Dafny, TLA+) * Experience writing executable specifications and proving state-machine invariants * Strong validation instincts (adversarial testing, differential testing, fuzzing) * Hardware-software co-design experience for ISA features or compute pipelines * Technical leadership: setting direction, cross-layer problem solving, mentoring, tradeoff communication Key requirements * ## Related Videos - [Crafting Custom Frameworks with Rust: A Deep Dive into Procedural Macros](https://www.wearedevelopers.com/videos/849-crafting-custom-frameworks-with-rust-a-deep-dive-into-procedural-macros) - [Rust Beyond Systems: Revolutionizing Web Development](https://www.wearedevelopers.com/videos/1111-rust-beyond-systems-revolutionizing-web-development) - [Developing the Backend with Stefan Lingler, CTO at Shpock](https://www.wearedevelopers.com/videos/100360-developing-the-backend-with-stefan-lingler-cto-at-shpock) - [A Love Letter to Rust](https://www.wearedevelopers.com/videos/177-a-love-letter-to-rust) - [Rust in the Real World: Adoption, Migration, and Tradeoffs](https://www.wearedevelopers.com/videos/100147-rust-in-the-real-world-adoption-migration-and-tradeoffs) - [Modularity: Let's dig deeper](https://www.wearedevelopers.com/videos/1200-modularity-let-s-dig-deeper) ## Related Articles - [4 reasons why you should learn Rust in 2021 – and maybe even have fun doing it](https://www.wearedevelopers.com/magazine/35-4-reasons-why-you-should-learn-rust-in-2021-and-maybe-even-have-fun-doing-it) - [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers) - [Building AI Solutions with Rust and Docker](https://www.wearedevelopers.com/magazine/494-building-ai-solutions-with-rust-and-docker) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline) - [Top in-demand programming languages to learn in 2021](https://www.wearedevelopers.com/magazine/30-top-in-demand-programming-languages-to-learn-in-2021) - [Dev Digest 129 - Now that's what I call private data!](https://www.wearedevelopers.com/magazine/468-dev-digest-129-now-that-s-what-i-call-private-data)