Research Internship @Symbolic Software

Overview

Symbolic Software is offering a highly specialized research internship for Summer 2026, designed for individuals passionate about advancing the field of applied cryptography through hands-on research experience.

Key Responsibilities

• Analyzing existing cryptographic constructions used in deployed systems
• Designing novel solutions to address identified weaknesses
• Writing formal security proofs and technical arguments
• Collaborating on academic papers targeting top-tier conferences
• Contributing to artifacts and implementations supporting research outputs

Requirements

• A graduate-level understanding of cryptography, including security definitions and proof techniques
• Academic training in computer science, cryptography, or a related discipline
• Strong technical writing and communication skills in English
• The ability to work independently and pursue research questions proactively
• A commitment to intellectual honesty and critical thinking
• Exceptional undergraduate students with proven research capabilities are also encouraged to apply.

Benefits

• Duration: Approximately three months during Summer 2026
• Location: Fully remote
• Compensation: Paid internship (details discussed during the application process)

How to Apply

Interested candidates are required to apply via email, submitting key materials that demonstrate their qualifications and research interests. Applicants should include a current CV or resume, a brief statement outlining their interest in the internship, and relevant prior work.

Deadline

Details regarding the application deadline are not specified.