Senior Principal Software Engineer

Job summary

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 methods-primarily TLA+, as well as some others-since we started in 2014.

Qualifications

• and algorithms much more precisely than conventional design docs.
• This typically uncovers many ambiguities and invalid assumptions – i.e.
• design bugs.
• Provide additional ways to describe and think about
• and design.
• This change in perspective can itself reveal problems.
• Review critical sections of code, to reverse-engineer the higher-level algorithm or design that has been implemented.
• This 'recovered design' can then be formally verified to satisfy its intended properties.
• system designs, and code.
• Skilled in identifying the most critical and complex/subtle parts, and writing formal specifications for those parts at a level of abstraction appropriate for verifying correctness of the system.
• Skilled in specifying safety and liveness using TLA+ on real-world problems, i.e.
• applying abstraction.

Responsibilities

• We use formal specification and verification methods to help developers of complex systems find very subtle bugs that are unlikely to be caught by normal testing techniques.
• We focus on preventing the kinds of bugs that would cause the most severe problems for our customers, in particular data loss/corruption or security vulnerabilities.
• We achieve this via the following activities:
• Help engineers to state their

Skills

Degrees

Industry

Company size