AI Verification

Internships — AI & Formal Methods

We’re delighted to invite motivated and curious students currently pursuing an undergraduate or master’s degree in the UK to apply for our paid internship positions focused on Artificial Intelligence and Formal Methods — for the upcoming Spring and Summer 2026 terms.

The internships are offered at the University of Birmingham, in collaboration with University of Manchester, and provide hands‑on experience in real research and development projects where intelligent computing meets rigorous reasoning. They are paid opportunities designed to support your time with us.

🌟 Who Should Apply

We welcome applications from:

  • Students currently enrolled in an undergraduate or master’s degree programme in the UK
  • Individuals passionate about combining intelligent systems with formal reasoning
  • Candidates ready tolearn, collaborate, and contribute to active projects

📍 Location & Format

We aim to offer in‑person internship placements at

  • University of Birmingham, Birmingham, UK

We also understand circumstances vary — remote participation may be possible for strong candidates who cannot be on site.

📅 Internship Terms

  • Duration: 8–12 weeks

  • Terms available:

    • Spring 2026 internships
    • Summer 2026 internships

These are paid internship positions with mentorship, project work, and opportunities for professional growth.

🧑‍💻 What You’ll Do

As an intern, you will:

  • Contribute to real research or software development projects with guidance
  • Participate in team meetings, demos and reviews
  • Produce tangible outputs — code, experiments, reports or documentation
  • Build skills that strengthen your academic and professional profile

📋 How to Apply

To express your interest and apply, please complete our application form:

👉 Apply here — Google Form

When completing the form, please include:

  • Your full name
  • Email address
  • Degree programme and expected graduation year
  • Relevant coursework or experience
  • Preferred term (Spring 2026 and/or Summer 2026)

We’ll review all submissions and follow up with selected candidates to schedule interviews or further discussions.

💡 Tips for a Strong Application

To make your application stand out:

  • Be specific about your motivations and what you hope to gain from the internship
  • Highlight relevant projects or academic experience
  • Include any links to work samples (e.g., repositories or portfolios)

A clear and thoughtful application helps us best match you with a suitable internship role.

❓ Questions

If you have any questions about the internships or the application process, email us at .

We look forward to reviewing your application and potentially welcoming you to our team at the University of Birmingham, working in collaboration with our partners at the University of Manchester!