Senior Principal Software Engineer
Listing sourced from adzuna on 7/14/2026. CVCraft does not host this job; clicking Apply redirects to the source.
Job Description
Job Description This is your opportunity to apply formal specification and verification to real-world cloud-scale distributed systems, as part of an engineering organization that highly values formal methods. OCI has been using formal methodsprimarily TLA, as well as some otherssince we started in 2014. Oracle is a founding premier member of the TLA Foundation industry-standards body, and OCI employees are very active in the TLA community. We are expanding our in-house formal verification team …
Salary Context for Software Engineer
The US national median for Software Engineer is $132,270; in Washington the median is $171,951 (+30% vs national).
Tailor your resume to this role before applying
75% of applicants get filtered by ATS before a human reads them. Run a free 60-second scan to see what keywords are missing from your resume.
Free ATS ScanSimilar Jobs
Senior Fullstack Developer
Manual and CNC Machinists
Full Stack Software Engineer - Trading Workflow Technology
Software Engineer Job Details | Origin Energy Services Ltd
Software Engineer - 9 months
Senior Engineer - Protection (Substation and Renewable Energy Projects)
Pass the ATS Filter Before Applying
Most resumes never reach a human. CVCraft scans your resume against this exact role's keywords in 60 seconds — free.
Scan My Resume Free