Senior Principal Software Engineer

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 …