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 Minneapolis the median is $145,497 (+10% 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
Software Engineer
Security Engineer, Detection
Senior Test Analyst
Design Drafter - Transmission Lines
Mechanical Draftsperson
Senior C#/.NET Developer
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