Synthetic Minds (YC S'18) | mostly ONSITE in SF | First non-founder engineers
We're building program synthesizers, i.e., automation that can write code.
I have an MVP in production that reads/writes smart contracts (i.e., small, permanent, apps) in Ethereum's Solidity language, and use it to ensure our customer's code is secure and correct. Synthesis could eventually enable access to code for non-programmers. For now, goal is simple: My customers give me source code for their contract (= Ethereum apps, which are self-contained). I 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, with a backlog waiting to be on-boarded, and are profitable.
Ideal candidate will have a MS or PhD in program synthesis, formal methods or related fields. But also looking to fill other roles: https://synthetic-minds.com/pages/jobs.html
We're building program synthesizers, i.e., automation that can write code.
I have an MVP in production that reads/writes smart contracts (i.e., small, permanent, apps) in Ethereum's Solidity language, and use it to ensure our customer's code is secure and correct. Synthesis could eventually enable access to code for non-programmers. For now, goal is simple: My customers give me source code for their contract (= Ethereum apps, which are self-contained). I 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, with a backlog waiting to be on-boarded, and are profitable.
Ideal candidate will have a MS or PhD in program synthesis, formal methods or related fields. But also looking to fill other roles: https://synthetic-minds.com/pages/jobs.html