We're a small team making AI compliance mathematically provable — translating the clause-dense language of financial regulation into formal logic a theorem prover can reason over. If that intersection of law, logic, and machine learning is yours, we'd like to hear from you.
Every role here is live. Don't see a fit? There's an open application at the bottom — we read every one.
Pick a role — or apply openly. Your application goes straight to our hiring team. We aim to reply within two weeks.