About this role
Member of Technical Staff at Reasonable AI. Location: Budapest or Hungary. Role: designing experiments, scaling models, building proofs Requirements: Domain expertise in ML or formal methods; fast learning; experience with ML experiments at scale; post-training LLMs; software engineering practices; MLOps; specification-aware programming and proof assistants; AI-assisted programming; willingness to learn and grow. Category: Research and Development (R&D) Seniority: Mid Level Tools: Dafny, Viper, Lean, Isabel, Cursor, MLOps, Docker, Git, Testing, Containerization Commitment: Full Time Workplace: Onsite Languages: English