Senior Software Engineer – AI Symbolic Reasoning Systems – ON-SITE

Job Overview

logoAbout usSymbolica 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 roleAs 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 focusDesigning and implementing large-scale, high-performance software solutions to support symbolic reasoning algorithms and advanced research initiatives.Collaborating with researchers and engineers to translate theoretical constructs into scalable, efficient code.Designing, developing, and refining algorithms to ensure scalability and efficiency in our AI systems.Leading efforts to establish and maintain best practices for software engineering, including Git workflows, testing, and documentation.Developing tools and frameworks for experimentation and analysis in symbolic reasoning research.Contributing to GPU-accelerated applications and other cutting-edge computational challenges.
About youStrong proficiency in at least one high-performance programming language (C, C++, Rust, Haskell, or Julia) and familiarity with Python.Solid understanding of algorithms, data structures, and numerical optimization techniques.Experience with parallel computing, distributed systems, or GPU acceleration.Familiarity with category theory, logic, or symbolic reasoning is a strong plus.Strong debugging skills and experience with performance optimisation in large-scale systems.Excellent Git and software engineering best practices, with a passion for clean, maintainable, and well-documented code.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.

Job Detail
Shortlist Never pay anyone for job application test or interview.

Related Jobs (1904)

Safety Information

  • Safety Tips For Candidate

    DYOR.

  • Safety Tips For Candidate

    Always check the employer\'s offer.

Please disable your adblocker. Website use advertising ads.