Do you want to build the next generation internet platform? Blockchains with smart contract support (like Ethereum) allow for arbitrary computations with guaranteed integrity. However, computations are public, which is often a major limitation. Part…

This is a project on commercializing an MIT research project, synthesizing probabilistic programming, databases, and spreadsheets.

Synthetic Minds builds program synthesizers, i.e., automation that can write code. There is two decades of research that forms the backbone of this tech. The founder has a PhD in the domain, and the CTO is an ACM Fellow with 20+ years of work in Pro…

We're looking for a full-time software developer to join our new Portland-based AI and Machine Learning team. We're bringing together a small, focused group of people to create a self-improving platform where anyone can create their own ap…

Sema is looking for a Machine Learning Scientist to improve, transfer, and create innovative techniques for source code and software development analytics, with a focus on automated programming. This scientist will be part of a multidisplinary team …

Stripe has built and rolled out the first version of a static type system for Ruby to improve our ability to maintain and extend Stripe’s large and growing codebase. We need to extend the type checker, incorporate types into more of our code base, a…