Member of Technical Staff

Lucid Computing; San Francisco (CA); On-site; USD 150,000 - 210,000; Full time

Benefits offered by this job

Formal verification tooling

Open-source contributions

Experience at early-stage tech company

Interest in AI safety/governance

Job summary

Lucid Computing builds verifiable compute infrastructure: systems that produce cryptographic evidence about what AI hardware is doing, where it’s doing it, and whether the computation matched what was claimed.

We’re hiring for applied cryptography, hardware security, ML systems, distributed infrastructure, and security engineering. You’ll work with Rust/C/C++/Go, design threat models, and ship secure, scalable systems in a fast-growing setting.

Qualifications

• Real depth in your area with years of experience or unusual velocity that substitutes for years.
• Strong systems programming in Rust, C, C++, or Go with the correctness bar that comes with security-critical infrastructure.
• Ownership: take a problem from ambiguous question to shipped system without a spec or a manager checking in.

Skills

Systems programming

Rust

C

C++

Go

Ownership

Job description

The Role

Lucid builds verifiable compute infrastructure: systems that produce cryptographic evidence about what AI hardware is doing, where it’s doing it, and whether the computation matched what was claimed.

Where We’re Hiring

Applied cryptography. Attestation protocols, proof systems, and the evidence formats that make a claim about compute independently checkable. You’ve built cryptographic systems that shipped, and you can reason about threat models as fluently as about primitives.

Hardware and silicon security. Roots of trust, TEEs and secure enclaves, and attestation on modern accelerators, including direct technical work with silicon vendors. You know GPU architecture and how logical tensors map to physical hardware.

GPU, compilers, and ML systems. Static analysis of kernels to extract memory access patterns and computational structure, and deriving what a workload should do from its definition. CUDA, Triton, CUTLASS, PTX/SASS, MLIR/LLVM.

Distributed systems and infrastructure. The platform that collects, stores, and serves verification evidence at cluster scale, plus the control plane around it. You’ve built distributed systems where correctness and availability both actually mattered.

Networking and measurement. Network taps, timing and latency measurement, and the inference problems underneath geolocating compute. You’re comfortable with noisy physical-world signals and adversaries who know you’re measuring.

Trusted environments and security engineering. Building and defending hardened compute environments, including physical and supply-chain security. Prior work in classified, regulated, or high-assurance settings is directly relevant.

If your specialty is adjacent to these but not on the list, apply anyway and tell us where you’d fit.

What Every Track Requires

• Real depth in your area. Years of it, or unusual velocity that substitutes for years. We’d rather have the person who’s the local expert on one thing than four people who’ve touched everything.

• Strong systems programming. Rust, C, C++, or Go, with the correctness bar that comes with security-critical infrastructure.

• Ownership. You can take a problem from ambiguous question to shipped system without a spec or a manager checking in. At our size, the person who built it is also the person who explains it to customers, vendors, and regulators.

Bonus

• Formal methods or verification tooling
• Open-source contributions to infrastructure or security projects
• Experience at a company at a similar stage (sub-50 people, pre-Series A or Series A)
• Genuine interest in AI safety, governance, or responsible deployment

Note on level and scope

We’re open to both early-career and experienced candidates. For the latter, we’re open to higher compensation and more senior titles. We’ll also consider exceptional candidates on a part-time basis.