ZK and ML Compiler EngineerSan Francisco Bay AreaWe are at the forefront of Zero-Knowledge Machine Learning technology, developing breakthrough solutions that combine data-protective computation with advanced machine learning capabilities. Our compiler team plays a crucial role in making zkML practical and efficient.We're seeking an exceptional Compiler Engineer with expertise in Zero-Knowledge proofs and cryptography to develop specialized compilers for ZK Machine Learning applications. This role sits at the intersection of cryptographic protocols, machine learning, and compiler optimization.AI Tool Proficiency RequirementsExpert-level proficiency with advanced coding assistants (GitHub Copilot, Amazon CodeWhisperer, etc.)Demonstrated ability to effectively prompt and interact with AI systems for maximum productivityStrong experience using AI tools for debugging and optimization tasksExperience integrating AI-assisted workflows into development processesAbility to critically evaluate and validate AI-generated code and solutionsWhat You Will DoDesign and implement advanced compiler optimizations specifically for zkML circuitsDevelop efficient arithmetic circuit representations for ML operationsCreate and optimize intermediate representations for ZK proof systemsImplement novel proof-generation optimization techniquesOptimize constraint system generation and polynomial commitment schemesCollaborate with cryptography and ML teams to implement efficient proving systemsResearch and implement new optimization techniques for ZK-ML compilationContribute to the design of new ZK-friendly ML algorithms and architecturesRequired QualificationsPh.D.
or M.S. in Computer Science with focus on cryptography, compilers, or related field from a top-tier universityStrong background in Zero-Knowledge proofs and cryptographic protocolsSolid understanding of machine learning algorithms and their implementationExpert-level proficiency in C++, Rust, or similar systems programming languagesExperience with ZK proof systemsStrong mathematical foundation in cryptography and abstract algebraPreferred QualificationsExperience with ML compiler optimization and frameworksContributions to ZK proof systems or compiler projectsExperience with proof system implementationPublication record in relevant conferences (CCS, CRYPTO, PLDI, etc.)Open-source contributions to ZK or compiler projectsACM-ICPC Regional or World Finals medalistUSACO (USA Computing Olympiad) Gold/Platinum awardTop-tier algorithmic competition achievementsTechnical SkillsAdvanced knowledge of compiler design and implementationExpertise in cryptographic primitives and protocolsProficiency in optimization techniques for arithmetic circuitsStrong background in algorithm design and complexity theoryExperience with performance profiling and optimizationFamiliarity with hardware architecture and constraintsWhat We OfferOpportunity to work on cutting-edge zkML technologyCompetitive compensation packageProfessional development opportunitiesCollaboration with leading researchers in ZK and MLImpact on the future of data-protective computation