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 (<a href="). 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: <a href=".
Email REDACTED_EMAIL for more details.
Ask HN: Who is hiring? (October 2019)