Senior Software Engineer

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).

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