Symbolica is looking to bridge the gap between theoretical mathematics and cutting-edge technologies by creating symbolic reasoning models that think like humans, focusing on the structures of thought rather than just patterns in data. The company aims to transform industries by empowering machines to solve complex challenges with precision and insight.
Requirements
- Strong experience with Rust or other performant system languages (e.g. C++, Haskell, Julia)
- Expertise in compilers, intermediate representations, and building static analyses or program transformations
- Familiarity with dependent types, symbolic computation, or strongly typed DSLs
- Experience with CUDA, GPU kernels, and performance tuning at the memory/threading level
- Background in functional programming, category theory, or type theory
Responsibilities
- Translate high-level symbolic architecture specs (written in our custom dependently typed DSL) into efficient compute graphs and GPU-executable code.
- Build and optimize GPU kernels using CUDA or Rust, targeting training and inference of symbolic AI models.
- Design and implement compiler infrastructure (e.g. custom IRs, graph lowering, scheduling, memory planning) using MLIR, LLVM, or your own abstractions.
- Collaborate with mathematicians and researchers to co-design the system from first principles, ensuring semantic correctness throughout.
- Profile and debug across the stack — from type-level constructs to kernel performance — ensuring mathematical expressiveness meets real-world throughput.
Other
- This is an onsite role based in our SF office.
- Competitive salary and early-stage equity package.
- A high-trust, execution-first culture with minimal bureaucracy.
- Direct ownership of meaningful projects with real business impact.
- A rare opportunity to sit at the interface between deep research and real-world productisation.
- Symbolica is an equal opportunities employer. We celebrate diversity and are committed to creating an inclusive environment for all employees, regardless of race, gender, age, religion, disability, or sexual orientation.
