ParaFi Tech runs some of the highest-performing validator infrastructure on Ethereum and other blockchains. We run a hybrid infrastructure between on-prem and cloud. We solve interesting challenges in crypto, cybersecurity, and more. Looking for som…

In-Q-Tel (IQT) is a not-for-profit that serves and powers the national security interests of the U.S. and its allies, providing the most sophisticated source of strategic technical knowledge, insights, and capabilities. We bridge the gap between the…

Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.

Beyond Identity is the most secure authentication platform in the market. An innovator in passwordless, Beyond Identity’s Passwordless Identity Platform uses real-time access controls to verify identities with devices, and checks granular risk signa…

ChainSecurity is a young and innovative cybersecurity company that operates in the blockchain and cryptocurrency space. Our mission is to make the blockchain space secure and trustworthy for people, companies, and governments alike. ChainSecurity is…

As a key member of the leadership team, the VP of Engineering is responsible for the technical delivery of our solution to sophisticated enterprise cybersecurity customers.