Researcher

Informal Systems is a full-suite Research & Development institution. We work on bold research problems at the intersection of formal verification and distributed systems and develop high-value distributed systems infrastructure in Rust.

As a Researcher at Informal, you will have the opportunity to design, formally specify and verify distributed protocols that serve as critical infrastructure in the blockchain ecosystem. You will also be involved in development of verification and testing tools and infrastructure that supports development of reliable and correct distributed systems.

What your primary responsibilities will be:

  • Design, formally specify and verify distributed protocols used by critical blockchain infrastructure.
  • Research and develop strategies to formally verify distributed protocols and systems.
  • Develop verification tools and verification and testing infrastructure.
  • Collaborate with distributed systems engineers on techniques for verifying and testing distributed systems.
  • Support the growth and health of the team.
  • Nurture a safe and enjoyable open source experience for contributors.
  • Participate in evolving and sustaining our cooperatively owned and governed organization.

What we look for in a successful Senior Rust Engineer:

  • Graduate work and/or academic quality publications in distributed systems or formal verification areas.
  • A track record of translating academic papers into performant software.
  • Experience with formal verification tools for software or distributed systems ( e.g., TLA+, Dafny, Ivy, CBMC, Spin, Coq, Isabelle, SAT/SMT solvers, etc.).
  • A deep understanding of computer science and formal logic fundamentals (first-order logic, Satisfiability Modulo Theory, etc.).
  • Knowledge of fault tolerant consensus protocols like Tendermint, PBFT, Raft, etc.
  • The ability to take ownership and see initiatives through.
  • Significant experience with technical writing in English (eg. specifications, design documents, documentation, etc.).
  • Excellent interpersonal skills, experience working with distributed teams, and enjoys working with and mentoring others.
  • Experience developing, releasing, and maintaining production software is plus.

About Informal:

Informal is a remote-first company with offices in Toronto, Lausanne, Vienna and Berlin. We are structured like a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees. We provide 5-weeks of paid vacation, lifestyle benefits, and annual retreats with the whole team. We envision a sustainable future of cooperatively owned and governed, open-source, distributed organizations running on reliable distributed systems and are excited to grow the team with amazing individuals who believe in making this future a reality.

Details:

  • Location: Berlin, Toronto, Vienna, Lausanne, Remote
  • Job Type: Full-time

To Apply:

Please apply via this this Google form where you’ll be prompted to upload a cover letter, CV, and other information that will help the review process go smoothly.

We are an equal opportunity employer and value diversity in our organization. We are committed to equal employment opportunities and encourage applications from people of all race, religion, colour, national origin, gender identity, sexual orientation, age, marital status, veteran status, or disability status.