Senior Software Engineer at Jobot
Champaign, IL 61822
About the Job
This Jobot Job is hosted by: Andrew Nguyen
Are you a fit? Easy Apply now by clicking the "Quick Apply" button
and sending us your resume.
Salary: $180,000 - $200,000 per year
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?
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:
Is your background a fit? Apply if you meet this criteria:
Interested in hearing more? Easy Apply now by clicking the "Quick Apply" button.
Are you a fit? Easy Apply now by clicking the "Quick Apply" button
and sending us your resume.
Salary: $180,000 - $200,000 per year
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
Interested in hearing more? Easy Apply now by clicking the "Quick Apply" button.
Salary
180,000 - 200,000 /year