Easy Apply Now

A bit about us:

We use zero-knowledge (ZK) technology in a correct-by-construction and fundamentally unique way, which allows a universal and disarmingly small ZK circuit to provide verifiable-computing correctness guarantees to all languages and virtual machines (VMs) alike, without any translation to a common language, VM, or instruction set architecture (ISA).

Why join us?

  • 180-200k!
  • Remote
  • Annual Bonuses!
  • Flexible Work Schedules!
  • 401K Matching!
  • Accelerated Career Growth!
  • Challenging Problems!

Job Details

We are looking to hire a Senior Software Engineer. The successful hire will have a strong knowledge in Python and Rust.

Job Responsibilities:
  • Developing our internal pipeline for producing mathematical proofs that certify program execution
  • Analysis of our internal pipeline, finding ways to make it faster and more robust with a cleaner architecture
  • Closely collaborating with other teams following agile best practices to properly integrate additional types of testing, code analysis (coverage, static analysis, …), packaging and release cycles, etc.
  • Working out a basic documentation system and documentation guidelines for the Python codebase
  • Helping with designing our internal guidelines, processes, etc.
  • Finding and implementing solutions to improve DX for faster and more reliable development

Is your background a fit? Apply if you meet this criteria:

  • Python and Rust Programming
  • Version control systems (git) and collaboration tools
  • Enterprise software development
  • Agile Environment
  • Strong understanding of algorithms and data structures
  • Basic understanding of mathematical logic
  • Bachelor’s (or master’s) degree in computer science

Jobot is an Equal Opportunity Employer. We provide an inclusive work environment that celebrates diversity and all qualified candidates receive consideration for employment without regard to race, color, sex, sexual orientation, gender identity, religion, national origin, age (40 and over), disability, military status, genetic information or any other basis protected by applicable federal, state, or local laws. Jobot also prohibits harassment of applicants or employees based on any of these protected categories. It is Jobot’s policy to comply with all applicable federal, state and local laws respecting consideration of unemployment status in making hiring decisions.

Sometimes Jobot is required to perform background checks with your authorization. Jobot will consider qualified candidates with criminal histories in a manner consistent with any applicable federal, state, or local law regarding criminal backgrounds, including but not limited to the Los Angeles Fair Chance Initiative for Hiring and the San Francisco Fair Chance Ordinance.

Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal.

By applying for this job, you agree to receive calls, AI-generated calls, text messages, or emails from Jobot, and/or its agents and contracted partners. Frequency varies for text messages. Message and data rates may apply. Carriers are not liable for delayed or undelivered messages. You can reply STOP to cancel and HELP for help. You can access our privacy policy here: jobot.com/privacy-policy
Easy Apply Now