About Certora
Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Certora Prover, is a unique SaaS product which automatically locates even the most rare & hard-to-find bugs on your smart contracts or mathematically proves their absence. The Certora Prover plugs into your standard deployment pipeline. It is helpful for smart contract developers and security researchers during auditing and bug bounties. It has already been used by the top DeFi protocols to secure 25 billion dollars. Some of our clients are MakerDAO, AAVE, Morpho, Ethereum Foundation, GMX.
Certora also provides services such as auditing, formal verification projects, and incident response.
About the Role
We are looking for a Senior Python Developer to work on our data backend for an advanced automated formal verification tool.
Key Responsibilities
- Transform high-level ideas into concrete deliverables.
- Debug failures in existing code and deliver new features.
- Develop tests and write public-facing documentation for newly developed features.
- Work independently and deliver clean code on long-term projects.
- Provide meaningful and thorough feedback in code reviews.
Required Skills and Experience
- At least five years of experience in software development with an emphasis on data engineering and analytics.
- Advanced knowledge of Python.
- Experience with ASGI/WSGI frameworks like Litestar, Flask, or FastAPI is nice to have.
- Knowledge of SQL databases.
- Experience with cloud environments (AWS, GCP, Azure).
- Proven ability to work independently and deliver clean code on long-term projects.
- Comfortable with a flexible role: tasks will include debugging failures in existing code, delivering new features, developing tests, writing public-facing documentation for newly developed features, etc.
- Must be comfortable working in a small, globally distributed team.
- Good communication skills and ability to raise flags when progress is halted.
- Experience with code review and distributed version control.
Work Environment
This is a hybrid role, allowing for both on-site and off-site work, providing flexibility and a balanced work-life environment.
Join us at Certora and be part of a team that is at the forefront of Web3 security, working with cutting-edge technology and top-tier clients in the DeFi space.
Similar jobs
Last update: 23 minutes ago
Senior Python Developer with AWS Experience
Join Basetime BV as a Senior Python Developer to develop and maintain AWS cloud solutions. Hybrid work, competitive salary, and growth opportunities.
Software Engineer - Cloud Applications and Python
Join Topicus as a Software Engineer in Arnhem to develop cloud applications using Python, REST APIs, and ETL processes for healthcare data services.
Senior PHP Developer
Join Atolls as a Senior PHP Developer in Berlin. Work on scalable software, collaborate across teams, and drive innovation in a hybrid environment.
Senior Software Engineer - Python, Apache Kafka
Join Aiven as a Senior Software Engineer in Berlin, focusing on Python and Apache Kafka in a hybrid work environment.
Mid/Senior Backend Developer (Python, Golang)
Join Mobik as a Mid/Senior Backend Developer to develop solutions for global telco players using Python and Golang.
Senior Backend Developer
Join Motius as a Senior Backend Developer to work on cutting-edge R&D projects using AWS, Docker, GraphQL, and more in a hybrid work environment.
Senior Backend Engineer (JavaScript & Node.js)
Join Devire as a Senior Backend Engineer specializing in JavaScript & Node.js, working on innovative fintech solutions in a hybrid role in Warsaw.
Senior Python Engineer
Join TRACT as a Senior Python Engineer to develop scalable APIs and backend systems for sustainability insights in the Ag & Food industry.
Senior Fullstack Developer for AI-Driven Mission Technologies
Seeking a Senior Fullstack Developer for AI-driven mission technologies, focusing on Java, JavaScript, Python, and C++. Remote work available.
Senior Developer Cloud Technologies
Join PwC Deutschland as a Senior Developer in Cloud Technologies, focusing on Azure, DevOps, and backend development.
Senior Backend Engineer (Kotlin, Microservices)
Join Pleo as a Senior Backend Engineer, focusing on Kotlin and microservices in Berlin. Drive innovation in a dynamic, collaborative environment.
Senior Java Developer
Join our team as a Senior Java Developer to design and develop high-quality software applications in a dynamic, hybrid work environment.
Senior Backend Engineer - Payments
Join Instapro Group as a Senior Backend Engineer in Berlin, focusing on PHP and payment systems in a hybrid work environment.
Senior Developer with C#, Java, and Python
Join RINIS as a Senior Developer to build secure data exchange solutions using C#, Java, Python, and more in a hybrid work environment.
Senior Software Engineer - Python, Django, Angular
Join Ilkari as a Senior Software Engineer to lead development in Python, Django, and Angular, creating scalable solutions in a hybrid work environment.
JavaScript and TypeScript Developer for IDE
Join Codasip as a JavaScript and TypeScript Developer for IDE in Brno. Work with cutting-edge technologies in a hybrid environment.
Staff Software Engineer
Join Aiven as a Staff Software Engineer to develop cloud operations platforms using open-source technologies. Hybrid work in Berlin.
Quantitative Developer with Python and C++
Join BlockTech as a Quantitative Developer in Amsterdam. Work with Python and C++ in a dynamic trading environment.
Senior Full-Stack Engineer ReactJS/NodeJS
Join Gorgias as a Senior Full-Stack Engineer specializing in ReactJS and NodeJS, enhancing AI-powered ecommerce solutions.
Cloud Data Engineer
Seeking a Cloud Data Engineer with expertise in AWS, Python, and CI/CD for a hybrid role in Hannover. Join our dynamic team!
Full Stack Developer with AI and API Expertise
Join Catalyze Group as a Full Stack Developer to build AI-powered grant-writing tools. Work with React, Django, and more in Amsterdam.
Senior Backend Developer with TypeScript
Join Tibo Energy as a Senior Backend Developer to lead TypeScript-based solutions in energy management.
Senior Backend Engineer - PHP, Symfony, Laravel
Join Instapro Group as a Senior Backend Engineer, working with PHP, Symfony, and Laravel in a hybrid environment.
Senior DevOps Engineer - Price & Deal Management
Join Covestro as a Senior DevOps Engineer to drive digital transformation in pricing and deal management with AWS, Docker, and Java expertise.
