Careers at Keel Formal
Join the team securing the systems that will move money, information, and assets around the world.
View open roles01 / Keel Formal Vision
Big players such as J.P. Morgan, VISA, and Fidelity have been exploring blockchain solutions for years, and now they’re actively pursuing Institutional DeFi.
Regardless of the exact form, it is inevitable that one day trillions of dollars of assets will be governed by code, it is Keel Formal’s mission to secure it.
02 / Our Mission
03 / Core Values
Threats lie in the unknown and unexplored. We venture into the depths of esoterica to vanquish even the most concealed threats.
Concentrated knowledge yields asymmetric opportunity for exploitation. We disseminate Keel Formal knowledge for the greater good of the community and our team.
No single person can secure the world’s most targeted financial applications. We are remarkably collaborative, valuing teammate’s wins as our own and understanding that no one member is more important than the team as a whole.
If you aren’t growing, you’re dying. We radically commit to measuring, soliciting feedback and implementing ideas at a regular cadence.
Whether it be servicing a client to the best of our abilities or adhering to a long-term plan, we are remarkably patient, championing long-term outcomes over short term gains.
It’s a marathon, not a sprint. The Keel Formal Vision won’t be achieved in any number of days, months, or years. Therefore we place emphasis on valuing our accomplishments while making lifelong connections, working the way we want to, and contributing towards a new era of technology and finance.
04 / Keel Formal Open Roles
The GSR role is tailored to provide direct impact for the projects and institutions that Keel Formal serves. As a full-time security researcher, you will focus on what we do best, auditing.
A GSR-1 Security Researcher is mostly autonomous when it comes to conducting manual analysis while benefiting from senior teammates for guidance.
See role →The GSR role is tailored to provide direct impact for the projects and institutions that Keel Formal serves. As a full-time security researcher, you will focus on what we do best, auditing.
A GSR-2 level Security Researcher is fully autonomous when it comes to conducting manual analysis, testing, and client communication for team engagements.
See role →The GSR-3 role is tailored to provide direct impact for the Keel Formal team and the projects and institutions that Keel Formal serves. As a GSR-3, you will focus on mentoring other Keel Formals, and leading high impact reviews.
Playing a central role in Keel Formal’s Solidity reviews, a level 3 Security Researcher not only ensures top-tier security reviews but also enables other security researchers to learn and grow.
See role →The GSR-4 Keel Formal Lead role is vital in bringing the Keel Formal security standard to more of the most targeted Smart Contract systems in the world.
As a full-time lead security researcher, you will focus on mentoring other Keel Formals, leading high impact reviews, and communicating and collaborating with clients.
See role →The Keel Formal Fuzzing Engineer role is tailored to provide direct impact for the projects and institutions that Keel Formal serves.
As a full-time fuzzing engineer, you will be responsible for constructing comprehensive fuzzing suites and collaborating with senior auditors to work through counter examples and create Proof-of-Concepts.
See role →The Keel Formal Web2 Security Engineer role exists to close the critical gap between Web2 and Web3 security.
Many of the biggest exploits in Web3 stem from overlooked Web2 vulnerabilities - misconfigured APIs, insecure cloud infra, or flawed offchain logic. As a full-time Web2 security engineer at Keel Formal, you’ll help secure the backend systems that power today’s leading protocols.
See role →The Account Executive role contributes directly to Keel Formal’s growth through deep and lasting partnerships with DeFi and financial services clients.
The Account Executive role at Keel Formal is responsible for the full-lifecycle of outreach, and relationship building to create strong partnerships around technical engagements.
See role →The VP of Operations owns the end-to-end client experience across Keel Formal’s security engagements.
You’ll keep every active engagement organized, transparent, and responsive from pre-kickoff through final report delivery.
See role →