Generative AI is rewriting how organizations use data, and breaking traditional security models in the process. We’re a team of cybersecurity, AI, and systems experts building the foundation for secure, trustworthy AI in the enterprise. We're lookin…

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.