We’re ko-br—a London-based robotics AI startup automating variable warehouse operations (palletizing, kitting) with AI-powered robots that handle real-world chaos (grip slips, conveyor jams, dust storms). Our no-code solution plugs into ABB/KUKA/UR …

We have 6-month internships for DSA Programmers, and Project programmers. This role requires creating code/problems/projects for our students. Domains include full-stack, data-science, cybersecurity and DevOps. Post internship full-time conversion i…

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…