verifiable Jobs

A technology-driven company in Seattle seeks an experienced forward-deployed engineer to work on EigenCompute. This role focuses on bridging traditional cloud computing and verifiable infrastructure through responsible deployment of blockchain-level trust technology. Candidates should have solid experience in shipping production web applications, c...

Summary Kamu is developing a novel data technology that, similarly to the invention of an SQL database four decades ago, will write a new chapter in humanity’s transition towards data economy . This is your opportunity to join an ambitious early‑stage startup that has already secured funding and reached product commercialization, and work on an i...

A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine-verifiable formalizations, focusing on clarity and rigorous proof construction. Candidates should possess a Master’s degree in Mathematics or a related field and hands-...

Overview At Mobalytics, we're not just another esports platform; we are the personal gaming assistant for millions of gamers. Now, we're embarking on our most ambitious project yet: building a groundbreaking, blockchain-powered esports data analytics system from the ground up. This is not a minor feature—it's a core initiative with significant ba...

Staff Rust Engineer role What is Irys? Irys is the first L1 programmable datachain, designed to optimize data storage and execution. By combining storage and execution, it significantly increases the usefulness of blockspace, enabling a wider range of web services to come onchain that aren’t possible right now. Irys empowers developers to create ...

AI Trainer - Advanced Python Developers - Paris Remote About Prolific Prolific is not just another player in the AI space – we are building the biggest pool of quality human data in the world. Over 35,000 AI developers, researchers, and organizations use Prolific to gather data from paid study participants with a wide variety of experiences, kn...

5 days ago Be among the first 25 applicants Get AI-powered advice on this job and more exclusive features. Project Overview We are developing high-quality training and evaluation datasets to improve how Large Language Models (LLMs) perform on real software engineering problems. The core of this project involves identifying and curating verifiable c...

2 days ago Be among the first 25 applicants We are developing high-quality training and evaluation datasets to improve how Large Language Models (LLMs) perform on real software engineering problems. The core of this project involves identifying and curating verifiable coding tasks from public GitHub repositories, supported by a human-in-the-loop re...

AI Trainer - Advanced Java Developers (US & Canada) Remote About Prolific Prolific is not just another player in the AI space – we are building the biggest pool of quality human data in the world. Over 35,000 AI developers, researchers, and organizations use Prolific to gather data from paid study participants with a wide variety of experiences, kn...

AI Trainer - Advanced Python Developers About Prolific Prolific is not just another player in the AI space – we are building the biggest pool of quality human data in the world. Over 35,000 AI developers, researchers, and organizations use Prolific to gather data from paid study participants with a wide variety of experiences, knowledge, and skil...