Software Engineer II
$103K - $141K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
$103K - $141K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
$103K - $141K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
$139K - $183K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... automated reasoning, decisioning, and predictive modeling for global-scale system reliability.
$139K - $183K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... automated reasoning, decisioning, and predictive modeling for global-scale system reliability.
$134K - $176K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... automated reasoning, decisioning, and predictive modeling for global-scale system reliability.
$134K - $176K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... automated reasoning, decisioning, and predictive modeling for global-scale system reliability.
$129K - $171K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... automated reasoning, decisioning, and predictive modeling for global-scale system reliability.
$129K - $171K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... automated reasoning, decisioning, and predictive modeling for global-scale system reliability.
$111K - $151K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
$111K - $151K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
$106K - $146K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
$106K - $146K/yr
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable ... Claude Opus/Sonnet, GPT-4) enabling automated reasoning and decisioning, as well as predictive ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... automated reasoning. Collaboration & Leadership * Partner with business leaders, product owners ... Advantages of working at Lear in the IDEA by Lear group: This is a high-impact leadership role at ...
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Florham Park, NJ · On-site
$113K - $237K/yr
... automated reasoning and manual deep-dives to uncover escapes and logic flaws in Kubernetes ... As a valued team member, you'll be part of a high-performing group dedicated to our customer ...
Florham Park, NJ · On-site
$113K - $237K/yr
... automated reasoning and manual deep-dives to uncover escapes and logic flaws in Kubernetes ... As a valued team member, you'll be part of a high-performing group dedicated to our customer ...
Florham Park, NJ · On-site
$113K - $237K/yr
... automated reasoning and manual deep-dives to uncover escapes and logic flaws in Kubernetes ... As a valued team member, you'll be part of a high-performing group dedicated to our customer ...
Florham Park, NJ · On-site
$113K - $237K/yr
... automated reasoning and manual deep-dives to uncover escapes and logic flaws in Kubernetes ... As a valued team member, you'll be part of a high-performing group dedicated to our customer ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... You will present demonstrations in one-on-one and group settings, adapting your approach based on ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... You will present demonstrations in one-on-one and group settings, adapting your approach based on ...
$37.5K - $40.5K
13% of jobs
$41K is the 25th percentile. Wages below this are outliers.
$40.5K - $43.6K
77% of jobs
$43.6K - $46.6K
1% of jobs
$46.6K - $49.7K
2% of jobs
$49.7K - $52.7K
1% of jobs
$52.7K - $55.8K
1% of jobs
$55.8K - $58.8K
1% of jobs
$58.8K - $61.9K
1% of jobs
$61.9K - $64.9K
1% of jobs
$64.9K - $68K
1% of jobs
$68K - $71K
1% of jobs
$37.5K
$45.6K
$71K
| Aspect | Automated Reasoning Group | Formal Methods Engineer |
|---|---|---|
| Required Credentials | Computer Science degree, knowledge of logic, algorithms | Computer Science or Software Engineering degree, expertise in formal verification |
| Work Environment | Research labs, academia, industry R&D teams | Software development teams, safety-critical systems, industry |
| Employer & Industry Usage | Tech companies, research institutions, government agencies | Automotive, aerospace, hardware design, safety-critical industries |
| Common Search & Comparison Intent | Understanding roles in AI and logic research | Applying formal verification in engineering projects |
Both roles focus on logic and verification but differ in scope. The Automated Reasoning Group typically conducts research on algorithms and logic systems, while Formal Methods Engineers apply formal verification techniques directly to software and hardware development to ensure safety and correctness.

7.7
Based on 126 frontline employees who took The Breakroom Quiz
5th of 48 rated entertainment
Job Posting Title:
Software Engineer IIReq ID:
10148553Job Description:
Disney Entertainment and ESPN Product & Technology
Technology is at the heart of Disney's past, present, and future. Disney Entertainment and ESPN Product & Technology is a global organization of engineers, product developers, designers, technologists, data scientists, and more - all working to build and advance the technological backbone for Disney's media business globally.
The team marries technology with creativity to build world-class products, enhance storytelling, and drive velocity, innovation, and scalability for our businesses.We are Storytellers and Innovators. Creators and Builders. Entertainers and Engineers. We work with every part of The Walt Disney Company's media portfolio to advance the technological foundation and consumer media touch points serving millions of people around the world.
Here are a few reasons why we think you'd love working here:
Product Engineering is a unified team responsible for the engineering of Disney Entertainment & ESPN digital and streaming products and platforms. This includes product engineering, media engineering, quality assurance, engineering behind personalization, commerce, lifecycle, and identity.
The Observability & Insights group ensures that Disney Streaming's distributed systems are reliable, performant, and transparent. We build the telemetry, dashboards, alerting, insights pipelines, and developer experience tooling that enable engineers across the organization to understand system health and take action quickly.
Job Summary:
As a Software Engineer II, you will design and build intelligent, AI driven systems that enhance the reliability and performance of Disney's large scale streaming ecosystem. You will develop agentic systems, machine learning models, and real-time pipelines that transform telemetry, logs, and user signals into automated detection, root cause analysis, and proactive insights.
In this role, you will contribute to the development of autonomous agents capable of reasoning over complex system behavior, identifying issues in real time, and driving faster detection and resolution across Disney+, Hulu, and ESPN. You will partner closely with engineering, product, and platform teams to embed intelligence directly into operational workflows, improving system resilience and customer experience at scale.
You will deliver high quality features end-to-end and contribute to system design and code reviews and begin owning components of production systems within a fast paced, AI native engineering environment.
Responsibilities:
Basic Qualifications
Preferred Qualifications
#DISNEYTECH
The hiring range for this position in Glendale, CA is $117,500 to $157,500 per year and in New York, NY and Seattle, WA is $123,000 to $165,000 per year. The base pay actually offered will take into account internal equity and also may vary depending on the candidate's geographic region, job-related knowledge, skills, and experience among other factors. A bonus and/or long-term incentive units may be provided as part of the compensation package, in addition to the full range of medical, financial, and/or other benefits, dependent on the level and position offered.Job Posting Segment:
PE - Sports, News & Entertainment, Tech EnablementJob Posting Primary Business:
PE - Sports, News & Entertainment, Enablement - News & Entertainment EngineeringPrimary Job Posting Category:
Software EngineerEmployment Type:
Full timePrimary City, State, Region, Postal Code:
Glendale, CA, USAAlternate City, State, Region, Postal Code:
USA - NY - 7 Hudson Square, USA - WA - 925 4th AveDate Posted:
2026-05-11Get the full story on Breakroom
Sourced by ZipRecruiter
At Disney, we're storytellers. We make the impossible, possible. We do this through utilizing and developing cutting-edge technology and pushing the envelope to bring stories to life through our movies, products, interactive games, parks and resorts, and media networks. Now is your chance to join our talented team that delivers unparalleled creative content to audiences around the world. "We create happiness." That's our motto at Walt Disney Parks and Resorts. And it permeates everything we do. At Disney, you'll help inspire that magic by enabling our teams to push the limits of entertainment and create the never-before-seen!
Amusement, gambling, and recreation
10,000+ Employees
Burbank, CA, US