Current jobs related to Compiler Verification Engineer - San Francisco CA - CentML Inc.

  • Compiler Engineer

    3 days ago


    San Francisco, California, United States Jobot Full time

    Unlock the Power of Zero-Knowledge ApplicationsWe are a leading developer platform for zero-knowledge applications, and we're on the lookout for a skilled Compiler Engineer to join our dynamic technology team. As a key member of our team, you will help build a domain-specific language that abstracts the complexities of zero-knowledge proofs and allows...

  • Compiler Engineer

    24 hours ago


    San Francisco, California, United States Jobot Full time

    Unlock the Power of Zero-Knowledge ApplicationsWe are a leading developer platform for zero-knowledge applications, and we're on the lookout for a passionate and skilled Compiler Engineer with a strong command over Rust to join our dynamic technology team.About the RoleIn this role, you will help build a domain-specific language that abstracts the...

  • Compiler Engineer

    3 days ago


    San Francisco, California, United States Jobot Full time

    Developer Platform for Zero-Knowledge ApplicationsWe are a leading developer platform for zero-knowledge applications, seeking a passionate and skilled Compiler Engineer with a strong command over Rust to join our dynamic technology team.In this role, you will help build a domain-specific language that abstracts the complexities of zero-knowledge proofs and...


  • San Francisco, California, United States Jobot Full time

    Software Compiler EngineerWe are seeking a skilled Compiler Engineer to join our dynamic technology team. As a key member of our engineering organization, you will help build a domain-specific language that abstracts the complexities of zero-knowledge proofs and allows developers to intuitively build applications.About the RoleDesign and develop a...

  • Compiler Engineer

    6 days ago


    San Francisco, United States Jobot Full time

    Job DescriptionJob DescriptionHybrid Remote in SF / Leading Developer Platform for Zero-Knowledge Applications / $200M in FundingThis Jobot Job is hosted by: Caitlyn HardyAre you a fit? Easy Apply now by clicking the "Apply Now" buttonand sending us your resume.Salary: $200,000 - $275,000 per yearA bit about us:We are a leading developer platform for...


  • San Francisco, California, United States Succinct Full time

    About the RoleWe are seeking an exceptional compiler engineer to join our team at Succinct, a leading innovator in zero-knowledge proof technology. As a key member of our team, you will play a crucial role in developing high-performance code for our zkVM, SP1.**Key Responsibilities:**Design and implement optimized compiler backends for our zk-friendly...


  • San Francisco, California, United States Jobot Full time

    Software Compiler EngineerWe are seeking a skilled Compiler Engineer to join our dynamic technology team. As a key member of our engineering organization, you will help build a domain-specific language that abstracts the complexities of zero-knowledge proofs and allows developers to intuitively build applications.About the RoleDesign and develop a...


  • San Francisco, California, United States Jobot Full time

    Software Compiler EngineerWe are seeking a skilled Compiler Engineer to join our dynamic technology team. As a key member of our engineering organization, you will help build a domain-specific language that abstracts the complexities of zero-knowledge proofs and allows developers to intuitively build applications.About the RoleDesign and develop a...


  • San Francisco, California, United States CentML Inc. Full time

    About CentML Inc.CentML Inc. is a pioneering company in the field of artificial intelligence, dedicated to revolutionizing the development and deployment of machine learning models. Our mission is to significantly reduce the costs associated with creating and implementing ML models, thereby enabling widespread access to the transformative power of AI.Our...


  • San Francisco, California, United States Linux Foundation Full time

    RISC-V Formal Verification and Sail Development OpportunityRISC-V International is seeking a skilled Sail Developer to join our team and contribute to the development of the RISC-V Formal Model codebase.About the RoleThis is a full-time contract opportunity that requires a strong background in software or hardware development, with a focus on formal...

  • Compiler Engineer

    2 days ago


    San Jose, California, United States Efficient Computer Full time

    About the RoleWe are seeking a highly skilled Compiler Engineer to contribute to the design and implementation of an embedded machine learning system stack and TinyML applications to run on the world's most energy-efficient programmable processor.Key ResponsibilitiesDevelop new compiler features to improve overall hardware efficiency while maintaining...


  • San Francisco, United States Onyx-Conseil Full time

    My client, a market-leading verification consultancy, is looking for a Design Verification Engineer to join their expert team in the US (remote). This Design Verification Engineer position offers the chance to participate in an exciting range of high-profile projects, covering many different industry sectors, working with the most powerful Verification tools...


  • San Francisco, United States IC Resources Full time

    My client, a market-leading verification consultancy, is looking for a Design Verification Engineer to join their expert team in the US (remote).  This Design Verification Engineer position offers the chance to participate in an exciting range of high-profile projects, covering many different industry sectors, working with the most powerful Verification...

  • Compiler Engineer

    4 days ago


    San Jose, California, United States Efficient Computer Full time

    About the RoleWe are seeking a highly skilled Compiler Engineer to contribute to the design and implementation of an embedded machine learning system stack and TinyML applications to run on the world's most energy-efficient programmable processor.Key ResponsibilitiesDevelop new compiler features to improve overall hardware efficiency while maintaining...


  • San Francisco, United States IC Resources Full time

    My client, a market-leading verification consultancy, is looking for a Design Verification Engineer to join their expert team in the US (remote).  This Design Verification Engineer position offers the chance to participate in an exciting range of high-profile projects, covering many different industry sectors, working with the most powerful Verification...


  • San Francisco, California, United States RISC-V Full time

    Job Title: Formal Verification EngineerWe are seeking a highly skilled Formal Verification Engineer to join our team at RISC-V International. As a key member of our team, you will be responsible for developing and maintaining the RISC-V Formal Model codebase using the Sail programming language.Job DescriptionRISC-V International is a non-profit organization...


  • San Jose, California, United States SilicaRise Full time

    Job DescriptionWe are seeking a highly skilled Senior Compiler Engineer to join our team at SilicaRise.Responsibilities:Design and implement compilers for DSA, ensuring optimal performance and efficiency.Conduct performance analysis and optimization for ML workloads and kernels, driving innovation in compiler technology.Collaborate with cross-functional...


  • San Francisco, United States RISC-V Full time

    Job Description RISC-V International is looking for a Sail Developer to help develop the RISC-V Formal Model codebase. Part of the acceptance criteria for ratification of a RISC-V hardware specification includes the completion of the formal model deliverables for the extension seeking ratification. RISC-V has chosen Sail from the University of Cambridge as...


  • San Francisco, California, United States Jobot Full time

    About the RoleWe are seeking a skilled Compiler Engineer to join our dynamic technology team at Jobot. As a leading developer platform for zero-knowledge applications, we are looking for a passionate and experienced developer to help build a domain-specific language that abstracts the complexities of zero-knowledge proofs.Key ResponsibilitiesDesign and...


  • San Diego, CA, United States Northrop Grumman Full time

    Category: Engineering Clearance Type: SAP Travel Required: Yes, 10% of the Time Relocation Assistance: Relocation assistance may be available At Northrop Grumman, our employees have incredible opportunities to work on revolutionary systems that impact people's lives around the world today, and for generations to come. Our culture thrives on...

Compiler Verification Engineer

4 months ago


San Francisco CA, United States CentML Inc. Full time

About Us

We believe AI will fundamentally transform how people live and work. CentML's mission is to massively reduce the cost of developing and deploying ML models so we can enable anyone to harness the power of AI and everyone to benefit from its potential.

Our founding team is made up of experts in AI, compilers, and ML hardware and has led efforts at companies like Amazon, Google, Microsoft Research, Nvidia, Intel, Qualcomm, and IBM. Our co-founder and CEO, Gennady Pekhimenko, is a world-renowned expert in ML systems who holds multiple academic and industry research awards from Google, Amazon, Facebook, and VMware.

About the Position

Are you passionate about compilers and eager to tackle complex performance challenges? Join our innovative team and play a critical role in enhancing our compiler technology We’re looking for a talented individual to analyze and resolve performance issues, automate testing processes, and collaborate with top-tier engineers. If you thrive in a dynamic environment and possess strong problem-solving skills, this is the perfect opportunity for you. With your expertise in C/C++/CUDA and scripting languages, you’ll drive significant improvements in our testing frameworks and processes. Be a key player in shaping the future of compiler development and enjoy a rewarding career with ample opportunities for growth and learning. Apply now and take the next step in your professional journey

What you’ll do
  • Analysis: Analyze performance degradation or functional defect of compilers, identify regression root cause, suggest corrective action, and perform reviews to continuously improve testing.
  • Test Automation: Automate compiler testing using test frameworks and by programming. Includes test execution, test reporting, and results analysis and automation of build and test environments. Work with compiler developers and assist in providing automated solutions for unit testing.
  • Test Operations: Utilize test suites to find, report and track compiler performance changes. Work with the engineering team to drive regressions to resolution. Generate statistics based on performance data, identify and investigate outliers and monitor performance trends. Maintain historical data and baselines for comparison.
  • Compiler Test Development: Develop and review test plans, implement test cases, automate tests, integrate tests, port 3rd party testing, and author test reports. May include integrating already existing tests into the compiler test automation.
  • Process Improvement: Utilize current iterative planning and test development processes. As part of team, identify potential or observed weaknesses in the current process, offer ideas for actions that can improve quality, and participate in quality initiatives.
What you’ll need to be successful
  • Bachelor’s or Master’s Degree or equivalent experience.
  • 3+ years’ work experience in a software development or test organization. Talented and motivated new college graduates will be welcome too.
  • Compiler Domain Expertise: You should understand how compilers work and how compilers are implemented. Proven strength in problem-solving and implementing solutions.
  • Ability to work with various teams to generate a solution for performance regression be productive under tight schedules, and have strong analytical skills with attention to detail.
  • Be able to apply existing skills to new situations. Break large problems into smaller problems and further triage difficult performance regressions.
  • You have experience writing test plans, test development, test automation, test execution, and reporting in a production environment.
  • Programming Languages: Have experience programming and/or testing in C/C++/CUDA as well as scripting languages (Python, Perl, Shell)
  • Excellent communication skills, self-motivated and well-organized.
Bonus points if you have
  • Extensive experience testing production software. Preferably compiler or other system software.
  • Previous compiler development and/or compiler verification/test or performance analysis experience.
  • Experience with Docker containers, Kubernetes, or similar systems.
  • Experience with NVIDIA CUDA Toolkit, especially solving issues and debugging in Linux environment.
  • Knowledge of deep learning frameworks such as Caffe, TensorFlow, Pytorch, as well as many other deep learning applications, will be a plus.

Benefits & Perks

- An open and inclusive culture and work environment

- Fully stocked kitchen at the office

- Full health and dental benefits

- Parental Leave top-up for 6 months

- Continuous education budget

- Generous vacation - we're not saying unlimited, but if you need extra time to recharge, just ask

At CentML, we celebrate our differences and value cultivating an inclusive environment for all. We welcome applications of all kinds and are committed to providing an equal opportunity process.

#J-18808-Ljbffr