GPU Software Engineer – High-Performance Kernel &Compiler Development London, UK About us Symbolica is an AIresearch lab pioneering the application of category theory toenable logical reasoning in machines. We’re a well-resourced,nimble team of experts on a mission to bridge the gap betweentheoretical mathematics and cutting-edge technologies, creatingsymbolic reasoning models that think like humans – precise,logical, and interpretable. While others focus on scalingdata-hungry neural networks, we’re building AI that understands thestructures of thought, not just patterns in data. Our approachcombines rigorous research with fast-paced, results-drivenexecution. We’re reimagining the very foundations of intelligencewhile simultaneously developing product-focused machine learningmodels in a tight feedback loop, where research fuels application.Founded in 2022, we’ve raised over $30M from leading Silicon Valleyinvestors, including Khosla Ventures, General Catalyst, AbstractVentures, and Day One Ventures, to push the boundaries of applyingformal mathematics and logic to machine learning. Our vision is tocreate AI systems that transform industries, empowering machines tosolve humanity’s most complex challenges with precision andinsight. Join us to redefine the future of AI by turninggroundbreaking ideas into reality. About the role As a GPU SoftwareEngineer at Symbolica, you will specialize in the design,development, and optimization of GPU kernels and algorithms tosupport the training and inference of symbolic reasoning models.You will leverage frameworks like CUDA and CUTLASS, along withcompiler optimization techniques, to push the boundaries ofperformance for high-dimensional computation. Your focus *Collaborating with mathematicians and researchers to design highlyefficient implementations of complex algorithms. * Analyzing andoptimizing GPU performance, focusing on memory management, threadutilization, compiler-generated optimizations, and computationthroughput. * Building and maintaining scalable, reusableGPU-accelerated libraries tailored for symbolic reasoningworkloads. * Profiling and benchmarking kernel performance,identifying compiler inefficiencies, and implementing solutions formaximum efficiency. About you * Strong proficiency in at least onehigh-performance programming language (C, C++, Rust, Haskell, orJulia) and familiarity with Python. * Proficiency in GPUprogramming with CUDA, including experience with kerneldevelopment, compiler optimizations, and performance tuning.Experience with CUTLASS and familiarity with tensor operations andmatrix multiplications. * In-depth knowledge of GPU architecture,including memory hierarchies, thread blocks, warps, and scheduling.Experience with compiler development, LLVM, or domain-specificlanguage (DSL) optimizations is a strong plus. * Proven experienceoptimizing numerical algorithms for high-performance computingenvironments. * Familiarity with LSP (Language Server Protocol) anda background in linear algebra, symbolic computation, or relatedmathematical fields are strong pluses. Symbolica is an equalopportunities employer. We celebrate diversity and are committed tocreating an inclusive environment for all employees, regardless ofrace, gender, age, religion, disability, or sexual orientation.Apply for this job * indicates a required field First Name * LastName * Email * Phone Resume/CV * Enter manually Accepted filetypes: pdf, doc, docx, txt, rtf Are you available to work onsite atour brand-new London office? * Select...J-18808-Ljbffr