Vacancy title:
Symbolic Software Summer Research Internship 2026

[Type: INTERN, Industry: Information Technology, Category: Science & Engineering, Computer & IT]

Jobs at:
Symbolic Software

Deadline of this Job:
Saturday, April 4 2026

Duty Station:
This Job is Remote

Summary
Date Posted: Monday, March 23 2026, Base Salary: Not Disclosed

Similar Jobs in Kenya
Learn more about Symbolic Software
Symbolic Software jobs in Kenya

JOB DETAILS:

About Symbolic Software Summer Research Internship

Symbolic Software is offering a highly specialized research internship for Summer 2026, designed for individuals passionate about advancing the field of applied cryptography. This opportunity provides a hands-on research experience under the mentorship of Nadim Kobeissi, with a strong emphasis on producing high-impact academic work.

Benefits of Symbolic Software Summer Research Internship

Duration: Approximately three months during Summer 2026

Location: Fully remote, with preference for candidates in or near the Paris, France time zone

Compensation: Paid internship (details discussed during the application process)

The flexible structure allows participants to balance intensive research work with independent study and collaboration.

Symbolic Software Summer Research Internship Requirements

You should be a graduate student (Master’s or PhD) in cryptography, computer science, or a related field—or an exceptional undergraduate with demonstrated research ability. What matters most:

• Strong foundations in cryptography. You should be comfortable with standard security definitions, reduction-based proofs, and the landscape of modern cryptographic primitives. If you’ve taken a graduate-level cryptography course and found it straightforward, that’s a good sign.
• Interest in real-world systems. The best candidates will have genuine curiosity about how cryptography is actually used—and misused—in practice. If you’ve ever read a protocol specification and spotted something that bothered you, we should talk.
• Writing ability. Research papers require clear, precise writing. You don’t need to have published before, but you should be able to communicate technical ideas effectively in English.
• Self-direction. This is a small team. You’ll have guidance and close collaboration, but you should be capable of reading papers independently, formulating questions, and pursuing ideas without constant oversight.
• Intellectual honesty. Most especially, I’m looking for candidates that are honest about their work, how it’s conducted, and who are able to examine both third-party systems and their own research output critically.

Prior publications are a plus but not required. What matters is that you can think clearly about cryptographic problems and are motivated to produce work that has real impact.

Work Hours: 8

Experience in Months: 12

Level of Education: postgraduate degree

Job application procedure
Interested in applying for this job? Click here to submit your application now.

• Your CV or resume.
• A brief note (a few paragraphs is fine) on why this internship interests you and what kinds of cryptographic problems you find compelling.
• Any relevant prior work—publications, thesis drafts, course projects, or open-source contributions.

No formal cover letter needed. Just be direct about who you are and what you want to work on. I already have specific, concrete research projects and I want you to help me turn them into solid papers and artifacts that we can publish at strong conferences.

View details of Symbolic Software Summer Research Internship

Apply for Symbolic Software Summer Research Internsh

Application Link:Click Here to Apply Now

All Jobs | QUICK ALERT SUBSCRIPTION