Senior Software Engineer – AI Symbolic Reasoning Systems

Symbolica AI; Greater London; On-site; USD 60,000 - 100,000; Full time

Job summary

Join a pioneering AI research lab as a Senior Software Engineer, where you will design and implement high-performance software solutions for symbolic reasoning systems. This role offers the opportunity to work at the cutting edge of AI, collaborating with world-class researchers and contributing to groundbreaking projects. With a focus on translating theoretical constructs into scalable code, you'll be instrumental in advancing machine reasoning capabilities. If you are passionate about mathematics, logic, and computation, and thrive in a collaborative research environment, this is the perfect opportunity for you to make a significant impact in the field of AI.

Benefits

Attractive equity package

Competitive compensation

Inclusive work environment

Qualifications

• Proficiency in high-performance programming languages like C, C++, Rust, or Haskell.
• Strong understanding of algorithms and data structures.

Responsibilities

• Design and implement high-performance software solutions for symbolic reasoning.
• Collaborate with researchers to translate theoretical constructs into efficient code.

Skills

C

C++

Rust

Haskell

Julia

Python

Algorithms

Data Structures

Numerical Optimization

Parallel Computing

Distributed Systems

GPU Acceleration

Debugging

Performance Optimization

Git

Job description

Senior Software Engineer – AI Symbolic Reasoning Systems

London, UK

About us

Symbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. Our mission is to bridge the gap between theoretical mathematics and cutting-edge AI, creating powerful symbolic reasoning models that think like humans – precise, logical, and interpretable. While others focus on scaling data-hungry neural networks, we’re building AI that understands the structures of thought, not just patterns in data.

We envision a future where AI systems possess the clarity and rigor of mathematical thought, capable of solving the most complex problems in science and engineering.

Founded in 2022, Symbolica has recently raised over $30M from Khosla, General Catalyst, Buckley Ventures, Abstract Ventures, Day One Ventures, and other prominent Silicon Valley venture capital firms, to advance machine reasoning. We’re a well-resourced, nimble team of experts dedicated to solving challenging problems at the intersection of mathematics, logic, and computation, delivering exceptional AI capabilities.

Sounds exciting? – Join us to redefine the very foundations of intelligence.

About the role

As a Senior Software Engineer, you will work at the intersection of cutting-edge research and engineering. You’ll take ownership of complex projects, contribute to the development of scalable, high-performance systems, and collaborate with world-class researchers.

Your focus

1. Designing and implementing large-scale, high-performance software solutions to support symbolic reasoning algorithms and advanced research initiatives.
2. Collaborating with researchers and engineers to translate theoretical constructs into scalable, efficient code.
3. Designing, developing, and refining algorithms to ensure scalability and efficiency in our AI systems.
4. Leading efforts to establish and maintain best practices for software engineering, including Git workflows, testing, and documentation.
5. Developing tools and frameworks for experimentation and analysis in symbolic reasoning research.
6. Contributing to GPU-accelerated applications and other cutting-edge computational challenges.

About you

1. Strong proficiency in at least one high-performance programming language (C, C++, Rust, Haskell, or Julia) and familiarity with Python.
2. Solid understanding of algorithms, data structures, and numerical optimization techniques.
3. Experience with parallel computing, distributed systems, or GPU acceleration.
4. Familiarity with category theory, logic, or symbolic reasoning is a strong plus.
5. Strong debugging skills and experience with performance optimisation in large-scale systems.
6. Excellent Git and software engineering best practices, with a passion for clean, maintainable, and well-documented code.
7. Ability to work effectively in a collaborative, interdisciplinary research environment.

This is an onsite role based in our London office. We offer competitive compensation, including an attractive equity package, with salary and equity levels aligned to your experience and expertise.

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.