Symbolica AI is a research-focused company at the forefront of applying category theory to create machines capable of logical reasoning. We're building AI that understands the structure of thought, offering a unique approach compared to those solely focused on scaling data-hungry neural networks. Our product, Structured Cognition, enables more reliable inference and new scaling curves, while our Symbolic Reasoning models are designed for complex formal language tasks like automated theorem proving and code synthesis. Our tech stack includes expertise in GPU programming with CUDA and compiler development for domain-specific language (DSL) optimizations. Our engineering team values rigorous research combined with fast-paced execution, fostering a tight feedback loop between research and application. We're a small but well-funded team (Series A funding of $33M) with a global presence, and strong presence in London. We are constantly pushing the boundaries of applying formal mathematics and logic to machine learning. Our mission is to create AI systems that transform industries, empowering machines to solve humanity’s most complex challenges with precision and insight. We're currently seeking a Founding Software Engineer – GPU & Compilers to join our team in London. This role involves developing and optimizing GPU kernels and algorithms. This role requires relocation to London, offering a competitive compensation package, including an attractive equity package, with salary and equity levels aligned to your experience and expertise. We celebrate diversity and are committed to creating an inclusive environment for all employees.