PayGarden | Full-stack | SF | Full Time | ONSITE (preferred, sponsor visa) + REMOTE (for some positions)
What: With PayGarden merchants can accept big-brand gift cards as payment - imagine Stripe, but instead of credit cards, your customers can pay with Starbucks, Walmart, Amazon (& ~100 more) gift cards.
See our partnership with Watsi [0] - turning major brand cards into life-changing healthcare for people, or Private Internet Access [1] - making VPN payment anonymous.
How: Our systems handle millions of dollars, built primarily with Clojure/Script, ReasonML, & a dash of Rust.
Us: If you've ever done any work with Clojure or Reason, you've likely seen someone from our tiny, incredibly high-leverage team of Xooglers & YC alumni. We've:
- contributed to the cljs compiler [2],
- built cool open-source Clojure/Scripts apps [3],
- given [4] dozens [5] of talks [6] on [7] fun and cutting [8] edge development
- run the #sfcljs & ReasonDojo meetups
You: Love working with others, taking ownership over business concerns while jumping into other parts of the stack to help out. An internal drive to continuously improve, while remaining humble.
jobs@paygarden.com with "HN" in the subject, & link us to your favorite project!
[0] https://www.paygarden.com/watsi/donate-your-gift-card
[1] https://www.privateinternetaccess.com/
[2] https://youtu.be/mty0RwkPmE8?t=23m30s
[3] https://precursorapp.com/blog/clojure-is-a-product-design-to...
[4] https://youtu.be/t6CRZ-iG39g - OneGraph
[5] https://youtu.be/i9eu9e7gN0Q - Unikernels in the real world
[6] https://youtu.be/QWfHrbSqnB0 - Truly full-stack apps in OCaml
[7] https://youtu.be/Yp7MmskzF9Y - Generating & Running 1,000,000 Selenium tests in 60 minutes
[8] https://youtu.be/wjHTsaqwMIE - Polymorphic Codebases
O(1) Labs | Protocol engineers, cryptographers, PL hackers | San Francisco | https://o1labs.org/jobs/engineer.html
O(1) Labs (o1labs.org) is a small startup aiming to develop the first cryptocurrency protocol that can deliver on the promise of supporting real-world applications and widespread use. The key technical differentiator is that the use of SNARKs enables clients to securely sync their balance instantly (rather than having to download a huge blockchain). Our team is based in San Francisco and we are well-funded by top investors in the space.
Cryptocurrency is a domain where correctness really counts. As such, we focus on building reliable software through the use of statically-typed functional programming languages. This is reflected in our OCaml codebase and style of structuring code around DSLs, as well as in the design of the smart-contracts platform we're developing.
There is no need to have prior experience in cryptography, and we're hiring engineers to work on a bunch of exciting projects including:
* Our OCaml DSL for writing zk-SNARKs (a cryptographic primitive for certified computation).
* The design of a virtual machine and higher-level languages for smart contracts (there a lot of interesting challenges here since the VM has to be efficient inside SNARKs).
* Implementing cutting edge cryptography and distributed consensus algorithms
* Working on the core networking and reliability aspects of the protocol.
This is a chance to join a small, collaborative team and have a ton of independence while working on fascinating cross-disciplinary problems in computing. We also offer competitive compensation both in salary and equity as well as top-of-the-market benefits.
Please get in touch by sending an email with your resume and the subject "Engineer applicant" to jobs@o1labs.org (I'm the CTO and will read/respond personally.)