About the Company
Symbolica is an AI research lab dedicated to advancing machine reasoning using category theory. Founded in 2022, the company blends rigorous theoretical approaches with high-performance engineering to develop next-generation symbolic AI systems. Backed by over $30 million in funding from top Silicon Valley investors, Symbolica is at the forefront of computational reasoning research.
About the Role
Symbolica is seeking a Founding GPU & Compiler Software Engineer to design, implement, and optimize GPU algorithms powering its symbolic reasoning models. This is a rare opportunity to join early and work at the intersection of AI, compilers, and high-performance systems.
Responsibilities
- Develop and fine-tune high-performance GPU kernels for training and inference
- Apply advanced compiler optimization techniques to improve execution speed
- Integrate theoretical research into practical, production-grade code
- Collaborate closely with researchers and engineers in a fast-moving environment
Required Skills
- Strong proficiency in high-performance languages (e.g., C, C++, Rust, Haskell, Julia)
- Solid experience with CUDA kernel development and GPU performance tuning
- Deep understanding of GPU architecture: memory hierarchies, threading, scheduling
- Background in compiler design or domain-specific language optimization (e.g., LLVM, MLIR)
- Familiarity with tensor math and numerical computing
Preffered Skills
- Exposure to symbolic computation, linear algebra, or lattice-based algorithms
- Experience with LSPs or type theory
Benefits
- Competitive salary
- Significant equity ownership