Syllable is a healthcare technology company that uses artificial intelligence to help patients while lowering cost for hospitals and medical groups. The Syllable platform consists of knowledge graphs, custom machined learned models, a proprietary ch…

We are building the most advanced threat intelligence API and platform. We help businesses and public agencies reduce fraud, detect suspicious logins and signups, block spam and bots. Our core technologies are Python, Django, Flask, Celery, PostgreS…

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

We build software that uses machine learning to improve image quality for photographers and videographers. We are the first company to use machine learning to improve image and video quality. Our revenue has doubled every year since incorporating ML…

We're building the US Securities & Exchange Commission’s next generation analytics platforms to keep our markets safe, effective, and trusted. Come build awesome tools to analyze big data. We do a combination of designing quantitative algorithms and…

The SecureDNA project seeks to enable fast, reliable, cheap, automated screening of DNA synthesis orders, to prevent both careless and malicious users from synthesizing potentially-hazardous DNA sequences anywhere in the world. It is an internationa…