AI Researcher

You will prototype and validate new research directions across formal methods, safety, and model interpretability. The role involves publishing, collaborating with engineering teams, and translating ideas into deployable systems.Chicago, IL or Remote (US) Full-time $190,000 - $290,000 USD + equityRole SnapshotTeamResearchLocationChicago, IL or Remote (US)Compensation$190,000 - $290,000 USD + equityAbout The RoleWhat You Will BuildAdvance formal verification, alignment, and trustworthy AI methods.Develop novel approaches to verifiable and controllable AI behavior.Design and run rigorous experiments across safety and quality benchmarks.Publish and present research internally and externally.Collaborate with engineering to bring research to production.Shape long-term technical direction for safe AI at Octave‐X.Required QualificationsPhD or equivalent research track record in ML, formal methods, or adjacent field.Strong publication history or applied research impact.Excellent math and systems thinking.Proficiency building research prototypes in Python and modern ML stacks.Ability to move between theoretical and product constraints.Nice to HaveResearch in type theory, theorem proving, or program synthesis.Experience with alignment, red‐teaming, or adversarial robustness.Track record of shipping research into real products.#J-18808-Ljbffr