Companies

We're trying to apply the insights of category theory, dependent type theory, and functional programming to deep learning. How do we best equip neural nets with strong inductive biases from these fields to help them reason in a structured way?

Syntasso is a startup empowering platform engineering teams to thrive. Their flagship open-source project, Kratix, helps companies build and manage internal platforms without reinventing the wheel.

We're building a generative-AI powered, enterprise-grade video creation platform and we've found strong product market fit. We're at Series C, have a long runway, and are seeing hockey stick growth.

Syself is developing a Kubernetes Management Platform, simplifying Kubernetes operator with automation and full lifecycle management.

We work on small- to medium-sized embedded products, primarily in access control and alarm systems for large sites with high security requirements.

TRM is on a mission to build a safer financial system for billions of people. We deliver a blockchain intelligence data platform to financial institutions, crypto companies, and governments to fight cryptocurrency fraud and financial crime.

Tabby strives to become the AI Intelligence Stack for the entire development lifecycle. We are a fully distributed, all-remote team.

We make a Configure-Price-Quote SaaS for complex product portfolios. For example, one customer is Tetra Pak, that sells machines that build packaging (milk, juice, etc). These machines are like a two-story building with many variations, every aspect has to be well-defined and validated before it's ordered. In our solution products can be modeled in detail with constraints, and during a sale options are chosen and validated, often visualized parametrically, pricing is done, and a quote is prepared. All based on the well-defined model. It's a 30-year old company that started as a research startup, grew organically, and has a stable customer base. After a recent acquisition it's aiming to grow, therefore many positions are open.

TagniFi is building a modern financial data platform for finance and investment professionals. We deliver our data to clients via our API, web console, and Excel plugin.

We're small, independent, and profitable, with a team of just 6 people doing millions in revenue, and growing sustainably every year. You'd work directly with the founders on open-source software used by millions of people.