Senior Principal Software Engineer - Formal Verification (Santa Clara)

Oracle in Santa Clara is seeking engineers to apply formal specification and verification to cloud-scale distributed systems. The role focuses on practical application of formal methods, using TLA+ and related tools to verify core data planes and services.

You will collaborate with teams across OCI to prevent data loss, security vulnerabilities, and to develop safe AI-driven methodologies. Requires MS in CS and 5+ years of concurrent/distributed software experience.