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 <a href="
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 REDACTED_EMAIL
Ask HN: Who is hiring right now?