Job Detail
-
Job ID 6556
-
Industry AI
Job Description
About Symbolica
Symbolica is an AI research lab reimagining machine intelligence through the lens of category theory and symbolic reasoning. Instead of scaling data-hungry neural nets, we’re building interpretable AI that reasons like humans—logical, structured, and precise.
Founded in 2022 and backed by top-tier investors (Khosla Ventures, General Catalyst, and more), we bridge rigorous theory with real-world application—developing symbolic reasoning models that reshape how AI understands and solves problems.
The Role: Founding GPU & Compiler Engineer
We’re looking for a Founding Engineer to drive the development and optimization of GPU kernels and compilers for symbolic reasoning workloads. This is a rare opportunity to work at the frontier of AI infrastructure and formal mathematics.
What You’ll Do
-
Build and optimize GPU kernels (CUDA/CUTLASS) for symbolic and numerical computation.
-
Design compiler optimizations and DSLs to accelerate symbolic reasoning.
-
Collaborate with researchers to implement performant, mathematically grounded algorithms.
-
Analyze GPU performance (memory, thread utilization, scheduling) and tune for throughput.
-
Develop scalable, reusable GPU libraries for reasoning models.
-
Profile, benchmark, and resolve performance bottlenecks.
What You Bring
-
Strong skills in C/C++, Rust, Haskell, or Julia, plus Python familiarity.
-
Deep experience with CUDA and GPU kernel optimization.
-
Solid understanding of GPU architecture and memory/thread models.
-
Experience with LLVM, MLIR, or compiler internals.
-
Bonus: Background in tensor operations, symbolic computation, LSP, or linear algebra.
Perks
-
Competitive salary + significant equity package.
-
High-impact role in a fast-moving, well-funded team.
-
Onsite in London (66 City Rd) – collaborate closely with top-tier researchers and engineers.
Required skills
Other jobs you may like
-
Senior Front-End Engineer
- London GB