Synthetic Minds (YC S'18)

We're building program synthesizers, i.e., automation that can write code. We have an MVP in production that reads/writes smart contracts (small, permanent apps) in Ethereum's Solidity language, used to ensure customers' code is secure and correct. Synthesis could eventually enable access to code for non-programmers. For now the goal is: customers give source code for their contract (Ethereum apps, self-contained); we use synthesis to generate another contract/app that demonstrates any problematic interaction. Backed by Y Combinator, Khosla Ventures and Pantera Capital. We have paying customers, a backlog waiting to be onboarded, and are profitable. Ideal candidate will have an MS or PhD in program synthesis, formal methods or related fields. Also looking to fill other roles.