Software Engineer

Design, develop, and optimize high-performance confidential computing solutions using CUDA. Identify and resolve performance bottlenecks through advanced CUDA programming and profiling tools. Write clean, tested, documented code and collaborate with developer services and infrastructure teams to integrate GPU-accelerated algorithms into existing systems. The role also involves building cryptographic and distributed systems supporting privacy-preserving zero-knowledge products. The summary above was generated by AI About Provable

At Provable, our mission is to redefine trust and privacy in the digital world.

By creating tools that simplify the complexities of zero-knowledge technology, we empower developers to build applications that prioritize security, user control and scalability. We envision a future where privacy is not an afterthought but a fundamental standard, enabling a more secure and equitable Web3.

Our commitment extends beyond technology to fostering a vibrant, collaborative community of innovators. Through accessible resources, thoughtful design, and a focus on developer success, we aim to bridge the gap between cutting-edge blockchain technology and real-world applications. Together we’re not just building tools-we’re shaping the foundation for a private decentralized future., Provable is searching for exceptional senior CUDA engineers to help build privacy preserving zero knowledge protocols and products., * Designing, developing, and optimizing high-performance confidential computing solutions using CUDA for our core services and products.

• Identifying and resolving performance bottlenecks in complex computational workflows, leveraging advanced CUDA programming techniques and profiling tools.
• Writing clean, efficient, well-documented, and thoroughly tested CUDA code that sets a high standard for quality within the engineering team.
• Collaborating closely with developer services and infrastructure teams to integrate GPU-accelerated algorithms into our existing systems and ensure seamless functionality., Design and implement idiomatic, safe Rust libraries and APIs for CUDA GPU computing; build Rust abstractions over native C/C++ interfaces; develop and maintain supporting C/C++ components; ensure FFI and Python interoperability; optimize cross-language and GPU performance; own features end-to-end including testing, profiling, benchmarking, documentation, packaging, and maintenance; collaborate with compiler, runtime, and Python teams; investigate and resolve safety, correctness, compatibility, and performance issues. Top Skills: Build SystemsC++CiCudaFfiGpu ProgrammingPythonRustToolchains

What you need to know about the Colorado Tech Scene

With a business-friendly climate and research universities like CU Boulder and Colorado State, Colorado has made a name for itself as a startup ecosystem. The state boasts a skilled workforce and high quality of life thanks to its affordable housing, vibrant cultural scene and unparalleled opportunities for outdoor recreation. Colorado is also home to the National Renewable Energy Laboratory, helping cement its status as a hub for renewable energy innovation.

Key Facts About Colorado Tech

• Number of Tech Workers: 260,000; 8.5% of overall workforce (2024 CompTIA survey)
• Major Tech Employers: Lockheed Martin, Century Link, Comcast, BAE Systems, Level 3
• Key Industries: Software, artificial intelligence, aerospace, e-commerce, fintech, healthtech
• Funding Landscape: $4.9 billion in VC funding in 2024 (Pitchbook)
• Notable Investors: Access Venture Partners, Ridgeline Ventures, Techstars, Blackhorn Ventures
• Research Centers and Universities: Colorado School of Mines, University of Colorado Boulder, University of Denver, Colorado State University, Mesa Laboratory, Space Science Institute, National Center for Atmospheric Research, National Renewable Energy Laboratory, Gottlieb Institute

As a Provable senior engineer you will use your engineering talent to design, implement and maintain both cryptographic and distributed systems and help build privacy preserving products on top of those systems. Collaboration will be key. You should be able to work well with engineers, designers, and leadership to turn our products and technical vision into deliverables each quarter. You should be able to clearly and thoroughly communicate your ideas., * 5+ years of software engineering experience

• 2-3+ years of professional CUDA experience
• A strong foundation in blockchain concepts and ideally, experience contributing to a blockchain project
• Low-level system programming and/or distributed systems design experience

Provable is committed to diversity in its workforce and is proud to be an equal-opportunity employer and to review all of our job postings to minimize biased language. Provable does not make hiring or employment decisions on the basis of race, color, religion, creed, gender, national origin, age, disability, veteran status, marital status, pregnancy, sex, gender expression or identity, sexual orientation, citizenship, or any other basis protected by applicable local, state, or federal law. Provable will also consider for employment qualified applicants with arrest and conviction records in a manner consistent with San Francisco’s Fair Chance Ordinance and similar local laws.

In-Office or Remote 4 Locations 184K-357K Annually Senior level 184K-357K Annually Senior level Artificial Intelligence * Computer Vision * Hardware * Robotics * Metaverse Design and optimize high-performance C++/CUDA libraries for GPU-based data processing. Improve multi-node GPU communication (UcxExchange), optimize Presto GPU query performance, and lead enhancements across Presto, Velox, and cuDF projects for efficient DataFrame and database acceleration. Top Skills: C++CudaCudfGpuLibcudfMulti-Node GpuNcclPrestoRapidsUcxVelox NVIDIA, 184K-357K Annually Senior level 184K-357K Annually Senior level Artificial Intelligence * Computer Vision * Hardware * Robotics * Metaverse Design and optimize CUDA kernels and cluster-scale distributed systems for deep learning. Prototype system and compiler optimizations, profile hardware-software interactions, collaborate with researchers and architects, and deliver high-performance runtime tools and maintainable code for training and inference at scale. Top Skills: C++CudaCuda DriverFp8Int8JaxMegatronMpiMxfp4NcclNemoNvfp4PythonPyTorchSglangTensorrtTorch.CompileTritonUcxVllmXla NVIDIA