Verifiable distributed systems and organizations.
formal verification โข distributed systems โข software engineering โข blockchain โข security audits
11 - 50
๐ฐ Convertible Note on 2023-06
7 hours ago
11 - 50
Security Engineer focused on blockchain security at Informal Systems.
๐จ๐ฆ Canada โ Remote
๐ฐ Convertible Note on 2023-06
โฐ Full Time
โช๏ธ Entry-level
๐ข Junior
๐ฎโโ๏ธ Security Engineer
7 hours ago
11 - 50
Lead business development at Cycles, a DeFi payments protocol.
๐บ๐ธ United States โ Remote
๐ฐ Convertible Note on 2023-06
โฐ Full Time
๐ Senior
๐ฐ Business Development (BDR)
Yesterday
11 - 50
Recruiter for web3 talent acquisition at a remote-first firm.
๐บ๐ธ United States โ Remote
๐ฐ Convertible Note on 2023-06
โฐ Full Time
๐ก Mid-level
๐ Senior
๐ฏ Recruitment
Yesterday
11 - 50
Lead product strategy for Cycles, a blockchain clearing protocol and API solution.
Yesterday
11 - 50
Senior Security Engineer for blockchain security at Informal Systems.
๐บ๐ธ United States โ Remote
๐ฐ Convertible Note on 2023-06
โฐ Full Time
๐ Senior
๐ฎโโ๏ธ Security Engineer
Yesterday
11 - 50
Manage a team for Informal Systemsโ security consulting services.
๐บ๐ธ United States โ Remote
๐ฐ Convertible Note on 2023-06
โฐ Full Time
๐ด Lead
๐ Senior
๐ฎโโ๏ธ Engineering Manager
Yesterday
11 - 50
Security Architect for blockchain security at Informal Systems.
๐จ๐ฆ Canada โ Remote
๐ฐ Convertible Note on 2023-06
โฐ Full Time
๐ก Mid-level
๐ Senior
๐ฎโโ๏ธ Security Engineer