Software Engineer (Distributed Systems)

What you'll be doing

• Implementing a distributed control plane in Elixir / Erlang and verifying, formally and through tests, to guarantee correctness and fault tolerance.
• Defining the semantics of the distributed ops language and implementing the distributed runtime.  
• Designing & implementing a distributed event recognition and signalling system.
• Designing & implementing a distributed metrics subsystem and feedback control algorithms for distributed control.  
• Build systems with arbitrary scale in mind e.g. millions of nodes.

You'll use standard software development best practices such as version control and participate in software development processes such as code and design reviews.  

We pay competitively. While this position can be remote, you may be asked from time to time to travel to and work from the main office located in Redwood City, CA.

What you should have

• Experience building high scale distributed systems including implementation, protocol definition, and proving / verifying correctness.
• Knowledge of distributed algorithms such as consensus algorithms, quorum protocols, clocks, and replication.
• Experience designing and implementing stateful distributed systems such as distributed databases.  
• Verbal and written English fluency.
• Competency with version control and writing tests.  

Bonus Points

• Experience with Elixir / Erlang & OTP or another functional programming language.
• Experience working with one or more platforms including AWS, GCP, Azure, VMware, and/or Kubernetes.
• Experience with DevOps including debugging production systems.