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.
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.
I see that in your last comment regarding hiring you mentioned an ACM Fellow (Ras) who was working with you guys, but there is no mention of him now. I am curious to know if he's still working with your company; if so I would be extremely interested because I think working with him would be an invaluable experience.
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