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.