{"id":3467597,"url":"https://alion.io/job/certora-senior-software-engineer","title":"Senior Software Engineer","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":"full_time","work_mode":"remote","remote_scope":"stated_countries","remote_scope_basis":"board_field","remote_working_hours":null,"hiring_geo_confidence":"inferred","locations":["United States"],"countries":["US"],"hiring_countries":["US"],"hiring_countries_total":1,"salary":null,"salary_estimate":{"min_usd":139000,"max_usd":240000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":1195},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Certora","optional":false},{"name":"Claude","optional":false},{"name":"LLM","optional":false},{"name":"OpenAI Codex","optional":false},{"name":"Solidity","optional":true}],"status":"live","first_seen_at":"2026-10-29T02:04:26Z","employer_posted_date":null,"last_verified_at":"2026-10-29T02:04:26Z","board_verified":false,"closed_at":null,"days_open":2,"trust":{"level":"not_scored","repost_count":null,"flags":[],"days_open":2},"description":"Certora is looking for a Senior Software Engineer to build and deliver scalable backend and infrastructure solutions, solve architectural challenges, and maintain high engineering standards.\n\nYou will write clean, performant, well-tested backend code and scripts, rapidly moving projects from concept to production. You will own technical designs for complex backend and infrastructure challenges, integrate into existing codebases, develop LLM-assisted production deliverables, review coding-agent contributions, and evolve engineering practices for secure, maintainable systems.\n\nResponsibilitiesWrite clean, performant, well-tested code and scripts.\nOwn technical design and architectural solutions for backend and infrastructure challenges.\nRapidly integrate into existing codebases and ongoing initiatives.\nDeliver features and maintain infrastructure.\nDevelop production-grade deliverables using LLM-assisted coding.\nReview contributions by coding agents.\nResearch, evaluate, and implement modern software engineering practices.\n\nRequirements5+ years of professional software development experience.\nStrong background in backend engineering and technical design.\n1+ year of experience using coding agents such as Claude and Codex while maintaining code quality, robust design, cleanliness, and testing.\nAbility to adapt quickly, learn new systems, and maintain high delivery velocity without sacrificing quality.\nExcellent written and verbal communication skills.\n\nBenefitsFlexible remote or hybrid work.\nCompetitive benefits.\nEquity.","description_format":"text","description_chars":1540,"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","Hybrid work"],"hiring_locations":[{"name":"United States","iso":"US","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":["Blockchain & Crypto","Smart Contracts & Security","EDA Software"],"lifecycle":[{"event":"open","at":"2026-10-29T15:48:00Z"}],"visa":[{"country":"US","licensed_sponsor":true,"evidence":"H-1B filings in 12 months: 1","filings_12m":1,"filings_prev_12m":0,"green_card_filings_12m":0,"median_offered_wage_usd":167500,"route":null,"cap_exempt":false,"checked_at":"2026-10-29T16:27:21+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)"],"filings_for_role_12m":0}],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":1,"expected_fill_days":35,"reasons":["seen:1","win:early"],"computed_at":"2026-10-30T05:48:23Z"},"pay":null,"html_url":"https://alion.io/job/certora-senior-software-engineer","json_url":"https://alion.io/job/certora-senior-software-engineer.json","meta":{"generated_at":"2026-10-31T04:37:58Z","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":6346,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-01T00: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"},{"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"},{"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"},{"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\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fcertora-senior-software-engineer"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":3467597}},{"tool":"search_jobs","arguments":{"company":"certora.com","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":3467597},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}