ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Oracle
The role involves applying formal specification and verification methods to cloud-scale distributed systems, collaborating with engineers to identify subtle bugs and ensure correctness of critical components. The engineer will use tools such as TLA+, model checkers, and AI‑assisted techniques to create specifications, verify safety and liveness properties, and develop new methodologies for AI‑driven formal methods.
Oracle Corporation is a multinational technology company that builds enterprise software, cloud infrastructure, and engineered systems for large organizations. Best known for the Oracle Database, the company also offers a broad portfolio of enterprise applications (ERP, HCM, CX), analytics, middleware, Java, and hardware, plus Oracle Cloud Infrastructure (OCI) with SaaS, PaaS, and IaaS services. Oracle supports customers through consulting, managed services, and global technical support to migrate and modernize mission‑critical systems. Enterprises choose Oracle for its integrated stack, scalable performance, and enterprise‑grade security and reliability.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Oracle.