Synthetic Minds is building program synthesizers, i.e., automation that can write code. Think of what we are building as a compiler that takes code and translates it to theorem proving, so that we can build automation that can understand code almost as close to a human. If it can understand code, with sufficient compute it can even synthesize it.
For the kinds of technical problems we handle, look at https://synthetic-minds.com/pages/conference/2019/#program
We are an all engineering team (including PhDs and ex-Googlers) backed by Y Combinator, Khosla Ventures and Pantera Capital. We are currently in Seattle and SF and are looking for people with significant engineering experience.
Contact me at saurabhs@synthetic-minds.com