Summer Intern

**About Cocotec:** 
Cocotec is a spinout company from the University of Oxford, founded in 2019, specializing in building tools for developers to improve software quality, accelerate delivery, and reduce costs. Their flagship product, Popili, brings automated formal verification to software development, helping developers eliminate errors early in the process. We work with global clients in sectors such as semiconductors, medical, aerospace, and defense.

**About The Role:**
We're looking for a smart, highly motivated computer science student to join us for an internship over the summer 2025. You will be working on challenging projects for the duration of your internship, providing meaningful and interesting work experience with high expectations of performance. You'll collaborate with different members of the team, including our CTO, who is one of the founders and driving force behind our innovation and software.

**Responsibilities:**
- Work on one or more projects that we will tailor according to your skills and what we are working on at the time.

**Requirements:**
- Demonstrable experience of programming in any programming language.
- Quick problem-solving capabilities.
- Self-motivated, and able to work independently as well as part of a team.
- A passion for exploring new technologies.
- Basic familiarity with a version-control system such as Git.

**What We Offer:**
- Competitive salary.
- Opportunities for partial remote working and flexible working hours.