ZK and ML Compiler Engineer

4 weeks ago

San Francisco, United States Polyhedra Network Full time

About Polyhedra NetworkWe are at the forefront of Zero-Knowledge Machine Learning technology, developing breakthrough solutions that combine privacy-preserving computation with advanced machine learning capabilities. Our compiler team plays a crucial role in making zkML practical and efficient.About The RoleWe'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 privacy-preserving computation #J-18808-Ljbffr

  • ML Compiler Software Engineer

    3 days ago

    San Francisco, United States Symbolica AI Full time

    Join to apply for the ML Compiler Software Engineer role at Symbolica AIJoin to apply for the ML Compiler Software Engineer role at Symbolica AISymbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. We’re a well-resourced, nimble team of experts on a mission to bridge the gap between...

  • Sr ML Compiler Engineer

    3 weeks ago

    San Francisco, United States Amazon Full time

    Product AWS Machine Learning accelerators are at the forefront of AWS innovation and one of several AWS tools used for building Generative AI on AWS. The Inferentia chip delivers best‑in‑class ML inference performance at the lowest cost in cloud. Trainium will deliver the best‑in‑class ML training performance with the most teraflops (TFLOPS) of...

  • ML Compiler Engineer for AI Acceleration

    3 weeks ago

    San Francisco, United States Amazon Full time

    A leading technology company is seeking an ML Compiler Engineer to optimize deep learning compilers for AWS's state-of-the-art applications. You will work on compiler technology and collaborate with cross-functional teams to ensure high performance of machine learning models. The ideal candidate has strong programming skills, prior experience in compiler...

  • Senior Compiler Engineer — ML Backend

    3 days ago

    San Francisco, United States PageBolt WordPress Full time

    A technology firm is seeking Senior Compiler Engineers to develop the ML backend for next-generation systems. The role involves project ownership, architecting the compiler and runtime, and optimising performance for AI models. Applicants should have over 5 years in software engineering with a strong focus on C/C++, as well as expertise in ML frameworks like...

  • ML Compiler Engineer for AI Acceleration

    2 weeks ago

    San Francisco, CA, United States Amazon Full time

    A leading technology company is seeking an ML Compiler Engineer to optimize deep learning compilers for AWS's state-of-the-art applications. For a complete understanding of this opportunity, and what will be required to be a successful applicant, read on. You will work on compiler technology and collaborate with cross-functional teams to ensure high...

  • ML Compiler Engineer for AI Acceleration

    3 weeks ago

    San Francisco, CA, United States Amazon Full time

    A leading technology company is seeking an ML Compiler Engineer to optimize deep learning compilers for AWS's state-of-the-art applications. Find out exactly what skills, experience, and qualifications you will need to succeed in this role before applying below. You will work on compiler technology and collaborate with cross-functional teams to ensure high...

  • Senior ML Compiler Engineer: Optimizer for AI Frameworks

    3 days ago

    San Francisco, United States Flux Computing Full time

    A leading AI company in San Francisco is seeking a Senior Compiler Engineer to build the ML backend for AI models. You will design compilers and optimizers for frameworks like TensorFlow and PyTorch, ensuring top performance. Ideal candidates have 5+ years in software engineering, deep expertise in compilers and AI frameworks, and a Bachelor's degree. This...

  • Sr. ML Compiler Engineer, Annapurna Labs

    3 weeks ago

    San Francisco, United States Amazon Full time

    "Annapurna Labs builds custom Machine Learning accelerators that are at the forefront of AWS innovation and one of several AWS tools used for building Generative AI on AWS. The Neuron Compiler Engineering team is searching for a Senior Software Development Engineer to support the development infrastructure of a compiler to enable the world's largest ML...

  • Compiler Engineer

    4 weeks ago

    San Francisco, United States Acceler8 Talent Full time

    This range is provided by Acceler8 Talent. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.Base pay range$200,000.00/yr - $400,000.00/yrWant to build the future compute platform for AGI?Want to build hardware and software to train and run the largest ML workloads for AGI?We are currently looking for...

  • ML Compiler Software Engineer

    6 days ago

    San Francisco, United States Symbolica AI Full time

    Job Description Job Description About Us Symbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. We're a well-resourced, nimble team of experts on a mission to bridge the gap between theoretical mathematics and cutting-edge technologies, creating symbolic reasoning models that think like humans...