Symbolica is developing new state-of-the-art foundation models for structured reasoning. We are building deep learning models which manipulate structured data, learn algebraic structure in it, and do so with an interpretable and verifiable logic. We are now hiring exceptional research and engineering talent, helping us make this a reality.