We’re building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. Our approach differs from LLMs in that we compose algorithms symbolically to represent complex knowledge, and p…

Socket is a developer-first, security company focused on protecting the open-source supply chain. With over 90% of modern code coming from open source, Socket is tackling one of the most urgent and complex problems in security by building something …

Mesa is building GitHub for AI Agents, creating infrastructure and human interfaces for AI-driven software development. Small engineering team (7 engineers) seeking additional highly autonomous senior software engineers. On-site role in San Francisc…

Three full-time roles (Engineer, SRE, Analytics Engineer) at HomeVision. Engineer is hybrid in San Francisco reporting to CTO; work involves processing millions of pages of documents monthly for the mortgage industry and applying LLMs and multi-moda…

Konvu is a security-focused startup on a mission to make security invisible by automatically detecting, prioritizing, and remediating vulnerabilities without burdening engineers. Founders have deep roots in the security industry (part of the foundin…

Sphere Semi is applying AI techniques to automate the design of analog and mixed signal chips. Our techniques have been able to achieve state of the art PPA (power performance area) with relatively modest compute. We’re scaling up and that means we …