Senior Principal Software Engineer
Oracle
Frankfort, Franklin County$216,331 - $216,331 est.Full-timePosted 8h ago
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 …
The average job posting receives 250 applications.
Stand out by tailoring your resume to this specific role. Our AI resume builder highlights the skills and experience that matter most to this employer.
More open roles at Oracle
Senior Principal Software Engineer
Cedar
Senior Principal - Data Center Delivery Lead
Cedar
Senior Principal Software Engineer
Trenton
Senior Principal - Data Center Delivery Lead
Trenton
Platform Software Engineer II - US Citizenship Required
Trenton
Platform Software Engineer II - US Citizenship Required
Cedar
More software engineering roles in Frankfort
Explore related listings
Frequently asked questions
Who is hiring for Senior Principal Software Engineer at Oracle?+
Oracle is actively hiring for this Senior Principal Software Engineer role. Click "Apply Now" to submit your application directly on Oracle's careers page — Careeronaut doesn't charge employers or candidates for referrals.
When was this Senior Principal Software Engineer role posted?+
This listing was first posted on 2026-07-13. We pull the latest copy from the source feed daily, and any role that's taken down gets removed from Careeronaut within seven days so you don't waste time on stale listings.
How should I apply to this Senior Principal Software Engineer role?+
Start by tailoring your resume to the posting — most applicants send generic CVs and the first filter recruiters use is keyword relevance. Careeronaut's AI does this automatically: paste the job description, get a matched resume in under a minute, and download as PDF or DOCX.
Where can I find more Software Engineering jobs in Frankfort?+
Browse all open software engineering roles in Frankfort on the listing pages linked below. You can filter by salary, remote-friendly, and posting date.