At Symbolica, we’re building the next frontier of symbolic reasoning and architecture specification in AI. As our Founding ML Compiler Engineer, you'll lead the development of the compiler stack and GPU kernels behind our in-house, dependently typed language — a new way to specify and run AI architectures that are correct by construction. This role is a chance to help invent the programming language of the next AI paradigm.