This job code is utilized for the majority of our temporary hires. The individual is performing hourly job duties as defined under the Fair Labor Standards Act.

This is a remote/office based position which may be performed anywhere in the United States except for within the state of Colorado.

Oracle is an Affirmative Action-Equal Employment Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability, protected veterans status, age, or any other characteristic protected by law.

The mission of Oracle Labs is to identify, explore, and transfer new technologies that have the potential to substantially advance Oracle’s business.

What You’ll be Doing

The intern will work on modelling and formal verification of fault-tolerant distributed systems, including Byzantine Fault Tolerant consensus protocols. Proficiency in functional programming languages, particularly Haskell and Agda, is required.

Life at Oracle

We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, to perform crucial job functions, and to receive other benefits and privileges of employment. Please contact us to request accommodation.

Oracle is an Equal Employment Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability and protected veteran’s status or any other characteristic protected by law.

At Oracle, we don’t just value differences-we celebrate them! We’re committed to creating a workplace where all kinds of people work together. We believe innovation starts with diversity and inclusion.

https://www.oracle.com/corporate/careers/culture/diversity.html

Job: *All Roles

Organization: *Oracle

Title: Student / Intern

Location: United States

Requisition ID: 2100063E