{"id":2497838,"url":"https://alion.io/job/certora-senior-software-engineer-cloud-and-data","title":"Senior Software Engineer - Cloud and Data","company":{"id":175538,"name":"Certora","domain":"certora.com","url":"https://alion.io/company/certora","size_band":"51-200","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":null,"truth_index":null},"role":"Backend","role_family":"Backend","seniority":"senior","employment_type":null,"work_mode":"hybrid","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":132000,"max_usd":243000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":3030},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Aave","optional":false},{"name":"AWS","optional":false},{"name":"Certora","optional":false},{"name":"Claude","optional":false},{"name":"Compound","optional":false},{"name":"DeFi","optional":false},{"name":"GCP","optional":false},{"name":"Lido","optional":false},{"name":"LLM","optional":false},{"name":"OpenAI Codex","optional":false},{"name":"Python","optional":false},{"name":"SQL","optional":false},{"name":"Uniswap","optional":false},{"name":"Solidity","optional":true}],"status":"live","first_seen_at":"2026-10-14T05:00:12Z","employer_posted_date":null,"last_verified_at":"2026-10-14T05:00:12Z","board_verified":false,"closed_at":null,"days_open":0,"trust":{"level":"not_scored","repost_count":null,"flags":[],"days_open":0},"description":"About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence.\n\nBut we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one.\n\nWith Certora, you get:\n - Proven, scalable tooling for checking real deployed code\n - A deep partnership model with on-demand support\n - Fast, responsive execution that helps you go-to-market faster\n For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you.\n About the roleWe are looking for a highly execution-driven Senior Software and Data Engineer who thrives on writing code and pushing projects to production rapidly. In this role, you will quickly integrate into our ongoing projects, absorb existing codebases, and deliver immediate technical value.\nYour impact will be felt through solving complex architectural problems, designing scalable systems, and continuously researching industry standards to ensure best practices are deeply integrated into our code. This is a role for a builder who wants to spend the vast majority of their time writing high-quality backend code, navigating AWS environments, and solving difficult engineering challenges at a fast pace.\nKey Responsibilities High-Volume Development: Write clean, performant, and well-tested Python code daily, moving projects from concept to production rapidly.\n\n Mass Data Architecture: Design, implement, and optimize data architectures capable of ingestion, processing, and storing massive volumes of data efficiently, ensuring low latency and high throughput.\n\n Complex Problem Solving: Own the technical design and architectural solutions for complex backend and infrastructure challenges.\n\n Rapid Project Integration: Quickly ramp up on existing codebases and ongoing initiatives, contributing to feature delivery and infrastructure maintenance with minimal friction.\n\n AWS & Infrastructure Development: Actively develop, optimize, and maintain scalable cloud services natively within AWS infrastructure.\n\n Develop production-grade deliverables using LLM-assisted coding and review contributions by coding agents.\n\n Best Practice Evolution: Research, evaluate, and implement modern software engineering practices, ensuring our tech stack and architectures remain efficient, secure, and maintainable.\n\n Database Optimization: Design, query, and fine-tune both SQL and NoSQL database structures to handle data-intensive operations efficiently.\n\n Technical Skills & Requirements 7+ years of professional software development experience with a strong background in backend engineering and technical design.\n\n Expertise in Python: Advanced programming skills with a track record of building robust, high-performance backend systems.\n\n Proven AWS Experience: Deep hands-on experience building, deploying, and managing applications directly within the AWS ecosystem.\n\n 1+ year experience with using coding agents such as Claude, Codex without compromising on code quality, design robustness, cleanliness, testing.\n\n Advanced Database Knowledge: Solid experience designing and optimizing relational (SQL) and non-relational (NoSQL) databases.\n\n Fast-Paced Execution: Proven ability to adapt quickly, learn new systems on the fly, and maintain a high velocity of delivery without sacrificing code quality.\n\n Excellent written and verbal communication skills, essential for clarifying technical requirements and documenting architectural decisions.\n\nAdvantages\n\n Security Expertise: Strong understanding of security best practices.\n\n Full-Stack Capability: Experience working across the full software stack, including frontend frameworks or interfaces.\n\n Versatility: Experience with ecosystems outside AWS: Railway, Google Cloud.\n\n System Modernization: Experience optimizing and maintaining legacy infrastructure while actively transitioning to newer architectures.\n\n Certora PeopleWe are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner.\nWe Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable.\nWe win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals.\nWe have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery.\nWe are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more.\n\nWhy join Certora?Certora provides you a wonderful opportunity to:\n Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies\n\n Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications\n\n Experience a friendly creative start-up environment with top talent in the domain\n\n Work in a fast-paced and supportive culture: we move fast and break nothing!\n\n Enjoy flexible work (remote / hybrid)\n\n Get competitive compensation & benefits (including equity)","description_format":"text","description_chars":6141,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":["Equity","Flexible schedule"],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Blockchain & Crypto","Smart Contracts & Security","Cryptocurrencies","Web3 & dApps"],"lifecycle":[{"event":"open","at":"2026-10-14T05:00:12Z"}],"visa":[],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":0,"expected_fill_days":38,"reasons":["seen:0","win:early"],"computed_at":"2026-10-14T06:34:16Z"},"pay":null,"html_url":"https://alion.io/job/certora-senior-software-engineer-cloud-and-data","json_url":"https://alion.io/job/certora-senior-software-engineer-cloud-and-data.json","meta":{"generated_at":"2026-10-14T18:45:23Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":24334,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-15T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":175538},"rest":"https://alion.io/mcp/rest/get_company?id=175538"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fcertora-senior-software-engineer-cloud-and-data"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fcertora-senior-software-engineer-cloud-and-data"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fcertora-senior-software-engineer-cloud-and-data"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/certora-senior-software-engineer-cloud-and-data\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fcertora-senior-software-engineer-cloud-and-data"}]}