Engineering · Full-time · Piedmont, Italy
Security Engineer
Full Time
Remote, Canada, Austria, Germany, Switzerland, UK, USA
About Informal
Informal Systems is committed to making modern financial and Internet infrastructure more decentralized, secure and accessible to everyone. We develop critical blockchain infrastructure ourselves (Informal is a maintainer of Cosmos Hub, Comet and IBC) and we also help other organizations design secure and efficient blockchain systems.
The Security Services team is dedicated to helping organizations design secure and efficient blockchain systems, encompassing a wide array of applications from decentralized exchanges (DEXs), smart contracts, and decentralized finance (DeFi) platforms to interchain connection protocols that enable seamless communication and interoperability between diverse blockchain networks. Informal systems approaches combine manual code inspection with automated software analysis using our in-house formal verification and testing tools.
Informal Systems is a remote-first company with a presence in North America and Europe. We are structured as a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees.
About the Role
We are seeking a skilled and experienced Security Engineer to join our Security team. In this role, you will work at the cutting edge of blockchain security, utilizing advanced techniques like fuzzing and formal verification, while working with the most advanced projects in the ecosystem. As a member of our team, you will engage directly with clients, providing expert advice and guidance on blockchain security best practices.
What your primary responsibilities will be:
Collaborate closely with the security architects and senior engineers to develop and implement a comprehensive threat analysis
Conduct security reviews of blockchain projects in the Cosmos ecosystem
Utilize various security testing methods including fuzzing, testing, and formal verification tools
Perform manual code reviews to identify potential vulnerabilities
Contribute to the preparation of audit reports and client presentations
Participate in client meetings to discuss findings and security recommendations
Assist in the development and improvement of internal security tools
Collaborate with team members on complex security issues and learn from their expertise
Help maintain and expand the company's knowledge base with insights from audits and research
Actively pursue professional development in blockchain security, staying current with new trends and attack vectors
Support senior team members in research activities and tool development projects
Participate in internal training sessions and contribute to the team's collective knowledge
What we look for in a successful Security Engineer:
Previous auditing experience
Experience working with Fuzzing tools in Rust and/or Go
Demonstrated experience with building, testing, and/or auditing complex software
Some of our benefits include:
A unique, caring and friendly culture (learn more about how we work here)
25 days (5 weeks) of paid vacation annually, plus 3 Spiritual Days
Company closure from December 25th to January 1
Annual Lifestyle benefits (reimbursements for gym memberships, fitness equipment, etc)
A remote-first, flexible work environment
A home-office stipend to set you up for success
Annual company retreats
Paid parental leave
….. and many more!
We are an equal-opportunity employer and value diversity in our organization. We are committed to equal employment opportunities and encourage applications from people of all race, religion, colour, national origin, gender identity, sexual orientation, age, marital status, veteran status, or disability status.