https://www.workatastartup.com/jobs/44386

Y Combinator
Work at a StartupStartup JobsInternshipsUpcoming EventsHow it Works
Log In >
[a8bc972f92]
Warpdrive by Synthetic Minds (S18)
From screen recordings to desktop automations using program synthesis

Compilers/Program Synthesis Backend Engineer

$125k - $180k *

Seattle/SF / Remote
Full-time
3+ years
Apply Now
About Warpdrive by Synthetic Minds

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.

About the role

Skills: Python

Role

You will be working with our compiler and program synthesis backend.

Qualifications:

Minimum:

  * Substantial experience with Python 3.
  * Experience working in areas similar to compilers.
  * Desire to learn about compilers, automated theorem provers,
    program analysis, programming by demonstration, and program
    synthesis.
  * BS/MS in Computer Science.
  * 2+ years of software development experience.
  * Strong knowledge of CS fundamentals and the ability to apply that
    knowledge.
  * Embraces with good developer practices (CI/CD, code review,
    unit-testing, etc.).
  * Remote candidates need to be in the US.

Preferred:

  * 4+ years of software development experience.
  * Experience with Z3 a plus.
  * PhD in programming languages, compilers or a related work
    experience.
  * Experience with LLVM or related compiler architectures.

Compensation and Benefits

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:

 1. Benefits. We provide the best medical, dental, and vision
    insurance available.
 2. Compensation package for salary and equity. We will put together
    the right package based on your profile and your needs.
 3. Choose your work style. (a) We have been WFH and work effectively
    remotely. (b) We have an open vacation policy. Take what you need
    to recharge. Everybody is required to take a two week minimum.
    (c) Paid parental leave.
 4. Work setup. We provide an ergonomic work setup for you to be as
    productive as possible.

Technology

We are working on compilers and program synthesis.

You will be working with the following technologies:

  * Compiler for desktop operations.
  * Program synthesis to generate code for automations.
  * Languages and stack: Rust for windows COM interface (windows-rs)
    + Python for backend compiler and synthesis + React + Electron +
    Django + GraphQL + Z3 theorem prover.

Other jobs at Warpdrive by Synthetic Minds

Rust engineer for low-level Windows systems programming
fulltime
Seattle/SF / Remote
Backend
$125k - $180k
3+ years
Learn more
Compilers/Program Synthesis Backend Engineer
fulltime
Seattle/SF / Remote
Backend
$125k - $180k
3+ years
Learn more

Hundreds of YC startups are hiring on Work at a Startup.

Sign up to see more >
Y Combinator

Work at a Startup

JobsInternshipsEventsHow it worksSign in

Y Combinator

About YCPressPrivacy & TermsContact

Jobs by Role

Software Engineer JobsDesign & UI/UX JobsProduct Manager JobsSales
JobsMarketing JobsSupport JobsOperations Jobs

Jobs by Location

Software Engineer Jobs in San FranciscoProduct Manager Jobs in San
FranciscoSoftware Engineer Jobs in New YorkProduct Manager Jobs in
New YorkSoftware Engineer Jobs in Los AngelesProduct Manager Jobs in
Los Angeles

Remote Jobs

Remote Software Engineer JobsRemote Design & UI/UX JobsRemote Product
Manager JobsRemote Sales JobsRemote Marketing JobsRemote Support Jobs
Remote Operations Jobs