Senior Software Engineer – LLVM/Fuzzing/Program Analysis
Quantum Minds
Quantum Minds is hiring a senior engineer to support a modern analysis pipeline involving compiler tooling, program analysis, fuzzing, and automation. The role focuses on LLVM IR and pass development, fuzzing harnesses and campaigns, crash triage and reporting, Python tooling and CI improvements, and preparing the codebase for future open-source release.
What you’ll do
- LLVM IR generation and metadata
- LLVM pass development (IR cleanup, MMIO handling, fuzzability improvements)
- Develop fuzzing harnesses and run campaigns (libFuzzer, AFL++, Honggfuzz)
- Crash triage, deduplication, and automated reporting
- Improve Python tooling and CI
- Prepare codebase for open-source release (licensing, reproducible builds, repo migration)
What they’re looking for
- Strong C/C++ systems engineering
- Hands-on LLVM IR and pass development
- Fuzzing and sanitizers experience
- Crash analysis and software-security fundamentals
- Python and Git workflows
- Microsoft ecosystem experience strongly preferred
- Firmware/embedded (MMIO, HALs, rehosting) (nice to have)
- CodeQL or other static-analysis tooling (nice to have)
- LLM/agent integration experience (nice to have)
- CFG/SSA/dataflow background (nice to have)
- Open-source contribution experience (nice to have)
Skills
- C/C++: C, C++, systems engineering
- LLVM: LLVM IR, LLVM pass development, IR cleanup, metadata
- Fuzzing: libFuzzer, AFL++, Honggfuzz, fuzzing harnesses, fuzzing campaigns, sanitizers
- Crash analysis: crash triage, deduplication, automated reporting, software-security fundamentals
- Python: Python, Python tooling, CI improvements
- Git: Git, Git workflows
- Microsoft ecosystem: Microsoft ecosystem
- Firmware / Embedded: MMIO, HALs, rehosting, firmware, embedded
- Static analysis: CodeQL, static-analysis tooling
- Program analysis theory: CFG, SSA, dataflow
- LLM / agent integration: LLM, agent integration
The post
Quantum Minds | Senior Software Engineer – LLVM/Fuzzing/Program Analysis | Contract | REMOTE (US) | Full-Time
Quantum Minds is hiring a senior engineer to support a modern analysis pipeline involving compiler tooling, program analysis, fuzzing, and automation. The work includes preparing the codebase for future open‑source release.
You’ll work on: • LLVM IR generation + metadata • LLVM pass development (IR cleanup, MMIO handling, fuzzability improvements) • Fuzzing harnesses + campaigns (libFuzzer, AFL++, Honggfuzz) • Crash triage, deduplication, automated reporting • Python tooling + CI improvements • Open‑source readiness (licensing, reproducible builds, repo migration)
Requirements: • Strong C/C++ systems engineering • Hands‑on LLVM IR + pass development • Fuzzing + sanitizers experience • Crash analysis + software‑security fundamentals • Python + Git workflows • Microsoft ecosystem experience strongly preferred
Nice to have: • Firmware/embedded (MMIO, HALs, rehosting) • CodeQL or other static‑analysis tooling • LLM/agent integration experience • CFG/SSA/dataflow background • Open‑source contribution experience
Remote contract role. Work directly with a team preparing a major analysis pipeline for future open‑source release.
Please send your resume + a short cover letter to: jobs@quantumminds.com