Specialism: AI/Crypto

Project: A nonprofit organization working to ensure robust democratic oversight and control of critical infrastructure and AI, in response to the opportunities and serious risks brought about by advancements in AI, which simultaneously enable and necessitate more powerful approaches to high-assurance systems. The organization is building an ecosystem for AI systems with provable properties, which is a massive group effort involving collaboration with the formal methods, AI, cyber, and biosecurity communities across academia, government, and industry. The organization contributes to this endeavor through both technical work (targeted research, product development, technology transfer) and community organizing (education, government outreach, conferences, coordinating funding, incubating startups).

Key Skills: Product Management, Formal Verification, Lean/Coq, SCADA Systems, Usability Tools

Location: Remote

Role Detail: We are seeking a product manager to drive the transition to a new paradigm of software generation, capitalizing on the opportunities created by AI research advances in scaling up formal verification and specification-driven software development. The role involves building relationships with formal verification customers and developing and executing product strategies to implement AI-assisted formalization in real-world applications.

As the Formal Verification (FV) Product Lead, your primary focus will be on owning outreach, prioritization, and coordination of stakeholders and potential adopters for all product development, as well as those of the broader ecosystem. You will identify bottlenecks in adoption and ensure that actions are taken to scale growth. Additionally, you will develop and execute a product strategy that delivers clear customer value through AI-aided verification by mid-2025, which can be used as evidence for fundraising. You will also assist collaborators in tech transfer, converting research ideas into products with daily active users, and help identify and hire an exceptional Research Lead.

Requirements:

• 5+ years of product management experience.
• Expertise in the market for formal verification.
• A practice of reviewing the state-of-the-art after having an idea, coupled with an urge to prototype, test, and iterate.
• A founder mindset, with a high degree of ownership over outcomes and the ability to personally make and externally drive progress with little oversight.
• Experience coordinating and aligning groups to work toward a common goal.
• Ability to think across disciplines and research-development timescales.
• Strong analytical, problem solving, and communication skills.
• Interest in shaping our culture, as we’re still a very small organization.