Synthetic Minds (YC S18) | REMOTE will be considered | $120k+ | All engineering team Synthetic Minds is building program synthesizers, i.e., automation that ca

Synthetic Minds (YC S18) | REMOTE will be considered | $120k+ | All engineering team 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 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