Senior Software Engineer: Automated Reasoning & Code Safety
Socket.dev
Amazon in Seattle is seeking a skilled Senior Software Engineer to advance automated reasoning for code correctness and agent safety. You will work at the intersection of AI and AWS services, applying formal verification methods and proving code correctness across scalable systems. You will mentor teams, drive architecture decisions, and contribute to the design of new AWS services using SAT/SMT solvers and Lean, while delivering high-impact customer solutions in a fast-paced environment. #J-18808-Ljbffr Socket.dev
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Senior Software Engineer: Automated Reasoning & Code Safety in Seattle, WA vacancy
$168.1k - $227.4k
...Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning... ...seeking a talented and passionate Senior Software Development Engineer (SDE) who wishes to work at the... ...configurations, and AI-generated code at AWS scale.This is a unique opportunity...SeniorInternshipLocal areaFlexible hours$143.7k - $194.4k
...Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning... ...a talented and passionate Software Development Engineer (SDE) who wishes to work... ..., and AI-generated code at AWS scale.This is a unique... ...-class scientists and senior engineers to turn research...SuggestedInternshipFlexible hours$180k - $200k
...Notice from Nexxen: Your Safety Matters At Nexxen,... ...and informed. Senior Software Engineer Nexxen SSP |... ...for the team through code review and mentorship... ...test, monitoring, and automation coverage, including... ...bonus. While this is our reasonable expectation this is...SeniorFull timeWork at officeFlexible hours3 days per weekNexxen
Bellevue, WA15 hours ago$145k - $193.75k
...agents do best, automating manual tasks... ...Corporate Systems Engineering builds and operates the software platforms,... ...automation.As a Senior Software Engineer... ...Bedrock Agents that reason through multi-... ...acts as the safety gate for AI-driven... ...in and lead code reviews and architectural...SeniorFull timeTemporary workWork at officeLocal areaRemote work$116.34k - $142.19k
...communities; and increase safety at home, on the road,... ...an opportunity for a Senior Software Engineer in Test (Sr. SDET) to... ...design and implement automated testing solutions... ...design, development, code review, and... ...candidates. If you need reasonable accommodations to apply...SeniorFull timeTemporary workPart timeImmediate startWork from homeFlexible hoursEarly shift$140k - $193k
.... For the first time ever, safety, operations and finance teams... ...manual workloads by automating and simplifying tasks.Motive... ...learn more.About the Role:As a Senior Software Engineer on the Equipment Monitoring... ...technical debt and improving code quality.Leverage AI tools...SeniorTemporary workWork experience placementWork at office$168.1k - $227.4k
...Service (AWS) Agentic AI / Automated Reasoning (AR) group, by using... ...AWS services such as code correctness and Agent action safety. The position is... ...talented and passionate Software Development Engineer who wishes to work at... ...tools. As a Senior Software Engineer on...SeniorInternshipFlexible hours$141k - $225.6k
...society’s most critical safety and justice issues... ...of devices and cloud software. Like our products, we... ...matter.Your ImpactAs a senior engineer on the team, you will... ...technical bar through code and architecture reviews... ...processes by embedding automation, AI tooling, and intelligent...SeniorWork experience placementWork at officeRemote work$143.7k - $194.4k
...are building their own software services that manage... ...simulation and emulation, and automated testing that models... ..., so they own their safety decisions and still... ...Software Development Engineer who can design systems... ...life cycle, including coding standards, code reviews...InternshipFlexible hours$175k - $200k
...Important Notice from Nexxen: Your Safety Matters At Nexxen, we care... ...is worth sending. Few engineering roles let one person see a problem... ...We care that you learn fast, reason from first principles, and... ...data exploration to model code, is done by steering AI and rigorously...SeniorFull timeFlexible hoursNexxen
Bellevue, WA15 hours ago$141k - $225.6k
...society’s most critical safety and justice issues... ...of devices and cloud software. Like our products, we... ...matter. Your Impact As a senior engineer on the team, you will... ...technical bar through code and architecture reviews... ...by embedding automation, AI tooling, and intelligent...SeniorWork at officeRemote work$185.4k - $232.05k
...visibility and control over safety, compliance, and... ...2024. Product & Software Excellence: We were... ...We are seeking a Senior Software Engineer, Applied AI to own end... ...and the application code around it, from design... ...constraints, with the reasoning made explicit. Technical...SeniorFull timeWork at officeFlexible hoursLVT
Seattle, WA5 days ago$168.1k - $227.4k
...Building Connectivity Service Automation (CSA) provide the services... ...computer networks.As a Senior Software Development Engineer, you will work hand-in-... ...computing solutions to write code and manage services that... ...the highest standards for safety and security while providing...SeniorInternshipWorldwideFlexible hours$184.9k - $250.2k
...Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning... ...a talented and passionate Senior Front End Engineer (SDE) who wishes to work... ...operate Amazon's agent safety platform that enables... ...front end, web or mobile software development using JavaScript...SeniorInternshipFlexible hours$160k - $220k
.... Aircall’s AI Voice Agent automates routine calls, AI Assist streamlines... ...We’re looking for a strong Senior Python Engineer who’s eager to go beyond... ...-powered agents (planning, reasoning, tool usage, memory).... ...autonomous processes. Use AI coding assistants effectively and...SeniorFull timeImmediate startWorldwideAircall
Seattle, WA15 hours ago- ...experiment. Built by engineers from mining,... ...the intersection of software, robotics, and the... ...simple, reliable code - and you're motivated... ...correctness, safety, reliability, and... ...you're the kind of Senior SWE who will thrive... ...software interfaces and reason about real-world...SeniorLocal area
- ...you can manage and automate every part of the... ...prioritize candidate safety. Please be aware... ...IT Product Engineering team is critical to... ...mission is to build software that enables businesses... ...standards, lead code and design reviews... ...committed to providing reasonable accommodations for...SeniorWork at officeRemote work3 days per week
- ...ever, you can manage and automate every part of the... ...prioritize candidate safety. Please be aware that... ...TeamThe Financial Product Engineering team is at the forefront... ...standards, lead code and design reviews, and... ...committed to providing reasonable accommodations for candidates...SeniorWork at office3 days per week
- ..., you can manage and automate every part of the employee... ...prioritize candidate safety. Please be aware that... ...are critical.As a Senior Backend Engineer, you’ll design and... ...through system design, code reviews, design... ...committed to providing reasonable accommodations for candidates...SeniorWork at office3 days per week
- ...you can manage and automate every part of the... ...prioritize candidate safety. Please be aware... ...HR Product Engineering team is the foundational... ...compliance, and enterprise software. Our products... ..., high-quality code.Move quickly and... ...committed to providing reasonable accommodations for...SeniorWork at office3 days per week
- Lead by example, driving engineering excellence across the team while actively mentoring and... ...internal stakeholders including Google's software supply chain integrity program and... ...products secure and their users safe.The Safe Coding team contributes to that mission by...Senior
$112.3k - $168.5k
...and maintain embedded software on ARM 64/32 bit processors... ...reviews, ensuring code quality and software... ...success.Mentor junior engineers and contribute to the... ...with CI/CD pipelines and automated testing... ...disabilities are provided reasonable accommodation to participate...SeniorRemote work$147k - $202k
...GenAI era. We’re looking for a Senior Software Engineer to join the AI Agentic... ...setting strong examples in code quality, testing practices,... ...consistent with applicable laws.If reasonable accommodation is needed to... ...& Employees: Okta may use Automated Employment Decision Tools (...SeniorLocal areaWorldwideFlexible hours- ...LiveRamp is looking for a Senior Software Engineer to help shape the next generation... ...bar through thoughtful code reviews, strong testing... ...including systems that improve automated discovery and access to... ...are committed to providing reasonable accommodations and ensuring...SeniorFull timeWork from homeFlexible hoursNight shift
$147k - $202k
...an Observability Engineer to help ensure that... ...continuing to rapidly ship software that our customers... ...maintain and automate observability... ...these areas.As a Senior Engineer on this team... ...Terraform.Strong coding skills in Node.js... ...applicable laws.If reasonable accommodation is needed...SeniorLocal areaWorldwideFlexible hours$148.7k - $199.4k
Job Posting Title:Senior Software EngineerReq ID:10145075Job... ...organization of engineers, product developers,... ...world. Here are a few reasons why we think you’d love... ...supporting operator tools and automation for a scalable... ...have a passion for coding and debugging hard problems...SeniorFull time- ...Amazon Development Center U.S., Inc. in Seattle is hiring a Senior Software Development Engineer to join the AWS Agentic AI / Automated Reasoning group, focusing on code correctness and agent safety using automated reasoning tools. You will apply formal methods (SAT/SMT...Senior
Amazon Development Center U.S., Inc.
Seattle, WA3 hours ago $110k - $250k
...BRINC:At BRINC, we are redefining public safety with an innovative ecosystem of life-... ...:We are seeking an experienced embedded software engineer. In this role you will design and develop... ...support. Write high-quality flight ready code (primarily in C/C++).Establish top-level...SeniorWork at officeRemote workFlexible hours$159.2k - $301.6k
...per day, hundreds of engineers as customers — running... ...to incorporate automation that reduces toil, accelerates... ...are looking for a senior Software Developer to own and... ...across the teamLead code and design reviews, providing... ...advance as part of a reasonable accommodation. If...SeniorFull timeTemporary workLocal areaWorldwide$145k - $200k
...the world’s leading software for data-driven decisions... ...or large. As a Senior Software Engineer on Substrate, you will... ...and investments in automation and self-healing... ...operators, and competent coding in Go, Java, or... ...and will provide a reasonable accommodation for those...SeniorFull timeWork experience placementWork at officeRemote workWork from homeRelocation package
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior Software Engineer: Automated Reasoning & Code Safety. Be the first to apply!
Related searches
- software engineer internship Seattle, WA
- software development engineer aws Seattle, WA
- software developer internship no experience Seattle, WA
- real time software engineer Seattle, WA
- financial software developer Seattle, WA
- part time software developer Seattle, WA
- graduate software developer Seattle, WA
- software engineer travel Seattle, WA
- experienced software developer Seattle, WA
- remote entry level software developer Seattle, WA