The Lean Focused Research Organization (FRO) is committed to revolutionizing how Lean, a proof assistant and programming language, is utilized across various sectors. We aim to make Lean a cornerstone in formal mathematics, software and hardware verification, software development, AI in mathematics and code synthesis, and new educational methodologies in math and computer science. Our goal is to cultivate a dynamic, decentralized ecosystem that thrives on diversity and collaboration, engages with a global community, and fosters open-source contributions.
We are looking for an Ops superstar who will work remotely and can take ownership and support our long-term sustainability and success. This isn’t a role for the light-hearted. While we are non-profit, we have the mentality of a high-growth start-up and are laser-focused on hitting our milestones. And we’re looking for someone who can keep up, or better yet, help set the pace. You will have the opportunity to support groundbreaking research, create innovative solutions, and shape the future of formal verification. If you’re ready to dive in and aren’t afraid to get your hands dirty, please apply below.