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 Backend Developer
Join us as a Senior Python Backend Developer to design and develop scalable microservice solutions using AWS and Python.
Senior Python Developer - Data Engineering
Senior Python Developer needed for a dynamic Data Engineering team at Similarweb in Prague. Expertise in Python, Docker, and data pipelines required.
Senior Python Backend Developer
Join Accolade as a Senior Python Backend Developer in Prague. Develop scalable microservices using AWS and Python.
Python Backend Developer
Join our team as a Python Backend Developer in Prague, working with AWS and microservices to transform healthcare.
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.
Senior Backend Engineer (Python, Go) - Endpoint Protection
Senior Backend Engineer specializing in Python and Go for Endpoint Protection at SentinelOne in Brno, Czechia.
Senior Backend Engineer (Python, FastAPI)
Senior Backend Engineer specializing in Python and FastAPI for cybersecurity automation tools development.
Senior Python Developer (m/w/d)
Senior Python Developer role focusing on Generative AI and cloud solutions in a leading FinTech company.
Senior Python Engineer - SaaS GenAI Services
Join Ataccama as a Senior Python Engineer to drive innovation in SaaS GenAI services. Work with Python, AWS, Azure, and Kubernetes.
Senior Python Engineer, Blockchain & Cryptocurrencies
Senior Python Engineer role focusing on blockchain and cryptocurrencies in Vienna, Austria.
Senior Python Developer with DevOps Experience
Join our team as a Senior Python Developer in Gdańsk, Poland. Work on data pipelines, web interfaces, and DevOps in a hybrid model.
Senior Software Engineer, Python (Blockchain)
Join Bitpanda as a Senior Software Engineer, Python (Blockchain) to integrate crypto nodes and services in Vienna.
Senior Backend Developer with Python and FastAPI
Seeking a Senior Backend Developer with Python and FastAPI expertise for a full-time role in Frankfurt, Germany.
Senior Python Engineer (Cloud Platform)
Join Bonfy.AI as a Senior Python Engineer to build and maintain a cloud-based SaaS platform using Python and AWS.
Senior Python Developer
Senior Python Developer role focusing on backend development for renewable energy projects, requiring strong skills in Python, Scala, and TypeScript.
Senior Python Backend Software Engineer
Join Within3 as a Senior Python Backend Software Engineer, leading data integration projects in a fully remote role.
Python Developer
Join Ericsson Nikola Tesla as a Python Developer in Zagreb. Work on cutting-edge projects with Python, AWS, and Azure.
Senior Backend Engineer (Python, Go) - Endpoint Protection
Senior Backend Engineer specializing in Python and Go for Endpoint Protection at SentinelOne in Prague.
Senior Software Engineer, Python (Blockchain)
Join Bitpanda as a Senior Software Engineer specializing in Python and Blockchain, based in Barcelona.
Senior Backend Engineer - .NET/C#
Senior Backend Engineer specializing in .NET/C# for environmental impact verification platform.
Senior Fullstack Developer with Python, C#, and JavaScript
Join Seargin as a Senior Fullstack Developer. Work with Python, C#, JavaScript in a hybrid role in Gdańsk. Enhance your skills in a dynamic environment.
Senior Backend Developer (Python, Django)
Join Pure App as a Senior Backend Developer to enhance user safety and privacy using Python and Django in a remote role.
Data Engineer with Python and AWS Experience
Join Caterpillar Inc. as a Data Engineer in Košice, Slovakia. Work with Python, AWS, and Agile methodologies.
Senior Python Engineer
Join Topicus as a Senior Python Engineer to innovate in healthcare data solutions. Work with APIs, ETL, and Kubernetes in a hybrid role.
