Demo

Lead Formal Methods Engineer for Cloud Distributed Systems

Oracle
Atlanta, GA Full Time
POSTED ON 8/24/2026 CLOSED ON 10/23/2026

What are the responsibilities and job description for the Lead Formal Methods Engineer for Cloud Distributed Systems position at Oracle?

Oracle US is seeking engineers to apply formal specification and verification to cloud-scale distributed systems as part of our in-house team. We value collabor

Salary.com Estimation for Lead Formal Methods Engineer for Cloud Distributed Systems in Atlanta, GA
$137,883 to $163,905
If your compensation planning software is too rigid to deploy winning incentive strategies, it’s time to find an adaptable solution. Compensation Planning
Enhance your organization's compensation strategy with salary data sets that HR and team managers can use to pay your staff right. Surveys & Data Sets

What is the career path for a Lead Formal Methods Engineer for Cloud Distributed Systems?

Sign up to receive alerts about other jobs on the Lead Formal Methods Engineer for Cloud Distributed Systems career path by checking the boxes next to the positions that interest you.
Income Estimation: 
$120,777 - $151,022
Income Estimation: 
$145,845 - $177,256
Income Estimation: 
$147,836 - $182,130
Income Estimation: 
$154,597 - $194,610
Income Estimation: 
$86,891 - $130,303
Income Estimation: 
$145,845 - $177,256
Income Estimation: 
$172,688 - $210,712
Income Estimation: 
$170,589 - $211,671
Income Estimation: 
$178,619 - $225,190
Income Estimation: 
$86,891 - $130,303
This job has expired.
Employees: Get a Salary Increase
View Core, Job Family, and Industry Job Skills and Competency Data for more than 15,000 Job Titles Skills Library

Job openings at Oracle

Principal Program Manager (Energy Policy)
Apply
  • Oracle NM, NM
  • Regulatory Affairs Lead – New Mexico About Oracle Cloud Infrastructure At Oracle Cloud Infrastructure (OCI), we build the future of cloud infrastructure fo... more
  • 14 Days Ago
Senior Manager, Systems Software Engineering
Apply
  • Oracle Broomfield, CO
  • Job Description We are seeking a Senior Manager, Systems Software Engineering to lead the strategy, delivery, and operational excellence of enterprise devi... more
  • 14 Days Ago
Data Center Facilities Development Manager III - Saline, MI
Apply
  • Oracle Saline, MI
  • Oracle Cloud Infrastructure is seeking an E2E Capacity Delivery Manager to coordinate end-to-end internal OCI execution for a major data center compute bui... more
  • 14 Days Ago
Operations Coordinator - Data Center Power Generation (on-site MI, NM, or WI)
Apply
  • Oracle Saline, MI
  • Job Description >>This position will be full-time on-site at one of Oracle's data center sites in Saline, MI; Doña County, NM; or Port Washington, WI . Rel... more
  • 14 Days Ago
View More Jobs at Oracle

Not the job you're looking for? Here are some other Lead Formal Methods Engineer for Cloud Distributed Systems jobs in the Atlanta, GA area that may be a better fit.

Senior Software Engineer, Backend - Distributed Systems
Apply
  • Camunda Atlanta, GA
  • Camunda is the enterprise platform for agentic orchestration , enabling organizations to coordinate AI agents, people, and systems across complex, end-to-e... more
  • 26 Days Ago
AV/Security/Access Control/Security Cameras/Low Voltage Technician
Apply
  • Cloud Technology Systems Woodstock, GA
  • Looking to hire an experienced AV integrator, security, access control and camera system integrator with a minimum of two years in the industry. Fast growi... more
  • 2 Days Ago
View More Jobs

AI Assistant is available now!

Feel free to start your new journey!