Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …

Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …

Sentry is an open-source application monitoring SaaS. Overall techstack: Python, TypeScript, Rust, Postgres, Kafka, Redis, Clickhouse, and GCP. We're hiring for a few department: Software Engineers, Site Reliability Engineers, Product Managers, and …

Sentry is an open-source application monitoring SaaS. Overall techstack: Python, TypeScript, Rust, Postgres, Kafka, Redis, Clickhouse, and GCP. We're hiring for a few departments: Software Engineering, Site Reliability Engineering, Product Managemen…

We’re a CFTC-regulated derivatives exchange all written in Haskell. Our first products are physically-settled Bitcoin futures and options. We use ansible and terraform for our operations automation. Trading industry experience is a plus. We've also …

We’re a CFTC-regulated derivatives exchange all written in Haskell. Our first products are physically-settled Bitcoin futures and options. We use ansible and terraform for our operations automation. Trading industry experience is a plus. We've also …