About this role
Member of Technical Staff - US Talent Pool at Reasonable AI. Location: San Francisco, California, United States. Role: develop training, evaluate experiments, analyze models Requirements: Domain expertise in ML or formal methods; fast learning; experience running ML experiments at scale; MLOps familiarity; knowledge of spec-aware programming and proof assistants; experience with AI-assisted programming; willingness to learn more. Category: Research and Development (R&D) Seniority: No Prior Experience Required Tools: MLOps tools, Dafny, Viper, LEAN, Isabel, Cursor Commitment: Full Time Workplace: Hybrid Languages: English