Synthetic Minds (YC S18) | Engineer #7: commensurate equity and salary | MS PhD | ONSITE, Full Time | SF or Seattle
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 Program Synthesis (https://synthetic-minds.com/pages/jobs.html#about). We have raised $5.6M from YC, Khosla Ventures, and Pantera Capital.
We are an all engineering team, and are looking for engineer #7, ideally with a masters or PhD (or built a relevant well-known project.) Programming languages, compilers, formal methods, SMT solving (Z3) are relevant topics for us. For the kind of work you'll be doing, see the technical program here: https://synthetic-minds.com/pages/conference/2019/.
Email saurabhs@synthetic-minds.com for more details.
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 Program Synthesis (https://synthetic-minds.com/pages/jobs.html#about). We have raised $5.6M from YC, Khosla Ventures, and Pantera Capital.
We are an all engineering team, and are looking for engineer #7, ideally with a masters or PhD (or built a relevant well-known project.) Programming languages, compilers, formal methods, SMT solving (Z3) are relevant topics for us. For the kind of work you'll be doing, see the technical program here: https://synthetic-minds.com/pages/conference/2019/.
Email saurabhs@synthetic-minds.com for more details.