Tessl is a fast-growing Series A startup based in London, founded by Guy Podjarny. We’ve raised over $100M from world-class investors including Index Ventures, Accel, GV, and Boldstart, and in 2025 we were ranked #2 in
Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services and customer applications. Our tools are called billions
At Allstate, great things happen when our people work together to protect families and their belongings from life’s uncertainties. And for more than 90 years, our innovative drive has kept us a step ahead of our
Summary QuEra Computing, Inc. seeks a creative and collaborative Scientific Software Engineer to help solve the unique software challenges of developing state-of-the-art simulation tools and compilers for QuEra’s neutral-atom quantum computers. You will have the opportunity
We are looking to hire an ASIC Physical Design Engineer to help us design, test and deploy advanced hardware. As part of our Ultra Low Latency team, youll have the opportunity to collaborate with people in
Senior Software Engineer in Test - IOE: Cardano Posted 4 days ago. Be among the first 25 applicants. About IOG IOG is a technology company focused on blockchain research and development. We are renowned for our
Senior Software Engineer - AI Fintech Product Company - FULLY REMOTE IN UK - £110k - TypeScript/ Python/ React/ AWS/ GenAI We are supporting a FinTech AI Product Company seeking an experienced Senior Software Engineer to
Overview IOG is a technology company focused on blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects
At Allstate, great things happen when our people work together to protect families and their belongings from lifes uncertainties. And for more than 90 years, our innovative drive has kept us a step ahead of our
Description Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services and customer applications. Our tools are called
Digital Asset is seeking a Senior CX Software Engineer to advance the Canton Network. You will work on distributed, privacy-focused financial infrastructure and lead client-facing delivery as a seasoned contributor. Role requires expertise in functional languages
About Digital Asset & the Canton Network Digital Asset builds the technologies that are reshaping the foundations of financial markets. Our mission is to create the world’s most trusted, privacy-enabled, and interoperable digital infrastructure for global