Job details

ML Compiler Software Engineer

Symbolica is an AI research lab revolutionizing symbolic reasoning and AI architecture through category theory and formal mathematics. They seek a Founding ML Compiler Engineer to develop their in-house dependently typed compiler stack and GPU kernels that enable AI models correct by construction.

Skills

Proficiency in Rust or other high-performance system programming languages such as C++, Haskell, or Julia.
Deep knowledge of compiler design, intermediate representations, static analyses, and program transformations.
Familiarity with dependent types, symbolic computation, or strongly typed domain-specific languages.
Experience with CUDA, GPU kernel development, and performance tuning at memory/threading levels.
Ability to collaborate across disciplines with mathematicians and AI researchers.

Responsibilities

Translate high-level symbolic architecture specifications into efficient compute graphs and GPU-executable code.
Build and optimize GPU kernels using CUDA or Rust for training and inference of symbolic AI models.
Design and implement compiler infrastructure including custom IRs, graph lowering, scheduling, and memory planning using MLIR, LLVM, or custom abstractions.
Work closely with mathematicians and researchers to ensure semantic correctness from first principles.
Profile and debug the entire stack, from type-level constructs to kernel performance, to balance expressiveness and throughput.

Education

Bachelor's degree in Computer Science, Mathematics, or a related technical field.
Advanced degree (Masters or PhD) preferred, especially with focus on programming languages, compilers, or formal methods.

Benefits

Competitive salary and early-stage equity package.
High-trust, execution-focused culture with minimal bureaucracy.
Direct ownership of impactful projects at the intersection of research and productization.
Opportunity to help redefine the AI paradigm with formal mathematical foundations.

To read the complete job description, please click on the ‘Apply’ button

ML Compiler GPU Kernels Symbolic AI Rust CUDA Compiler Infrastructure Dependent Types Formal Methods LLVM MLIR Category Theory

Average salary estimate

$185000 / YEARLY (est.)

min

max

$150000K

$220000K

If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.