From screen recordings to desktop automations using program synthesis
You will be working with our compiler and program synthesis backend.
We value our team, and we value diversity. We are well-funded with a good runway. Our compensation plan is designed to reward our employees and support their families as much as possible, for a company at our stage:
What if you could turn your screen recording into an unattended automation, or on-screen guides for your coworkers? That is exactly what we allow you to do. We take the recording, run a compiler to analyze it, synthesize a program from that analysis, and create an automation or guide within seconds.
You'll get to work on a hard technical problem, with an exciting tech stack involving compilers, program synthesis, theorem proving, at the backend; and an electron app on the frontend and Rust for low-level systems programming.
The product is ready to be deployed, and we will be heading into growth mode in the 2nd half of 2021.
This is the founder’s 2nd YC startup and they have a PhD in program synthesis, and have written the most influential paper of the last decade on this topic (SIGPLAN award and retrospective blog post).
We are all engineers, with lots of experience. Henele has 10+ years of experience between Google, and Parse. Noah was the CPO at his last company for 10+ years. Will has done frontend engineering for 15+ years and in his spare time runs a youtube channel teaching the same. Cori, Ellie, and Arthur are qualified software engineers working on the backend.