Tech Job Alerts Logo
Jobs Companies Technologies Job titles
Blog
Log in →
Tech Job Alerts Tech Job Alerts Logo
Jobs Companies Technologies Titles
Log in

Create Custom Alert

Please login to create custom alerts.

Location
Reset
  • Synthetic Minds

    Posted 6 years, 3 months ago

    The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a system in production that reads/writes smart…

    Roles

    Software engineer: Smart contracts Software engineer: Systems/infrastructure Software engineer: Compilers/verification/synthesis

    Tech Stack

    Solidity Z3 theorem prover AWS

    Locations

    SF, Seattle

  • Synthetic Minds

    Posted 6 years, 4 months ago

    The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems; but never gets to use it in their day job. Synthetic Minds will allow you to leverage your technical chops. Synthetic Minds is building progra…

    Roles

    Software engineer: Smart contracts Software engineer: Systems/infrastructure Software engineer: Compilers/verification/synthesis

    Tech Stack

    Solidity Z3 theorem prover AWS

    Locations

    SF, Seattle

Showing page 1 of 1

© 2025 LVTD, LLC. All rights reserved.

Sitemap | Status | Privacy Policy | Terms of Service <- Google made me add those for the Social Login.