Synthetic Minds careers

Synthetic Minds is building techniques that auto-generate software, for specific verticals, using very little input. The tech is called program synthesis. We are currently in stealth-mode applying program synthesis to an enterprise use case.

In Oct 2018, we raised a $5.6M seed round from Y Combinator, Khosla Ventures and Pantera Capital. (Note that we are not working on smart contracts anymore.) This is the founder's’s 2nd YC startup and they have a PhD in the domain, and have written the most influential paper of the last decade on this topic. Other team members include an ex-Googler with 10 yrs experience (also the first hire at Parse, YC S11), an exceptional Tufts CS major, a UCB PhD, and a UW PhD.

Technology
We are working on program synthesis. Our tech stack involves work with automated theorem proving (using the Z3 solver) and cutting-edge programming languages/compilers technology. The front-end does a good job of hiding the details of the hard-tech to make it accessible to enterprise customers.

Most of the backend is in Python. The frontend is built in React, GraphQL, Django and related technologies.