🕒 13 days ago
Guide Lean and autoformalization across research teams by building shared libraries, review workflows, and tooling that make AI-generated formal proofs reliable, maintainable, and useful at scale.
Resolution jobs
Browse active jobs at Resolution.
5 open roles at Resolution
Sort jobs
📅 Jun 27
Design and implement security for research infrastructure across multiple clouds, hardening CI/CD, automated research agents, compute environments, and data handling while enabling secure collaboration with frontier AI labs.
📅 Jun 27
Build and own the Corporate IT and Security function, implementing identity, access, communications, and compliance controls that protect sensitive research while enabling collaboration with external AI labs.
📍 🇺🇸 Berkeley - Hybrid💰 $346k - $930k / year💼 Full-Time🎙️ Leadership🧑🔧 IT Support Specialist📢 🇬🇧 English Required
📅 Jun 27
Build research automation, ML experimentation, and distributed infrastructure while partnering with researchers to scale experiments and turn theoretical insights into empirical tools.
📅 Jun 27
Conduct empirical or theoretical research on AI alignment, translating alignment problems into concrete investigations, executing experiments or developing theory, and communicating findings through papers, talks, and team collaboration.
Page 1 · 5 results