Iron Fish is a new cryptocurrency that takes no shortcuts on privacy and usability. Privacy isn’t just important, it’s essential to crypto’s success. Our vision is for Iron Fish to become a shielded layer for many more assets, even ones on different…

At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally ve…

I'm cofounder and CTO of Bractlet; we’re on a mission to solve climate change by using technology to enable energy efficiency. In a nutshell, we turn the budget and energy consumption of a building (usually office-centric skyscrapers) into an engine…

FullStory is looking for someone with deep systems programing experience. This role is about taking things apart and seeing what makes them tick, not building new apps. iOS-specific experience is a plus, but not a strict requirement. We use Objectiv…

Spruce is hiring programmers to develop world-class open source products and libraries implementing open global standards in identity. At Spruce, we are reimagining trusted interactions by creating the world’s best software for packaging beliefs dig…

Tangram makes it easy for programmers to train, deploy, and monitor machine learning models. With Tangram, programmers can train models and make predictions on the command line or with libraries for languages including Elixir, Go, JS, PHP, Python, R…