Computer and Network Security

Cryspen

1-10

<p>Cryspen is looking for a cryptography researcher and engineer to build and prove high-assurance cryptographic software.</p>
<p>You will work with and on tools such as hacspec, F*, and easycrypt to describe cryptographic systems and prove their security properties. The work will be part of a larger project to design a data custodian system with modern cryptography such as multi-party computation. You will be involved in all phases of the project, from analyzing the use cases, over defining the functionality and security properties of the system, to specifying and proving its security.</p>
<p>Writing and reasoning about cryptography is a delicate task that requires attention to detail and the utmost care. As an ideal candidate, you are therefore able to handle highly sensitive and highly detailed tasks.</p>
<p>If you have experience with open-source projects, that’s great but not necessary. We expect that you understand the basics of all involved technologies and concepts. However, we especially invite you to apply if you are an early career professional.</p>
<h2>Tasks</h2>
<ul>
<li>Extend hacspec to handle new protocols we want to implement</li>
<li>Design and formally specify cryptographic protocols</li>
<li>Perform mechanized proofs on the protocols</li>
<li>Implement and improve cryptographic primitives</li>
</ul>
<h2>Requirements</h2>
<ul>
<li>Basic knowledge of Rust</li>
<li>Experience with proving cryptographic protocols</li>
<li>Strong interest in mechanized proofs</li>
</ul>
<h2>Benefits</h2>
<ul>
<li>Room to grow personally and professionally</li>
<li>Shape your role</li>
<li>Flexible working hours</li>
<li>Family-friendly work environment</li>
<li>Working remotely from anywhere in Germany</li>
<li>Part-time or Full-time</li>
</ul>
<p><strong>Application Process</strong></p>
<p>We will try to get back to you as soon as possible after sending in your application. After the first screening call, there will be three interviews (video calls) covering technical aspects as well as making sure we are aligned on the core values.</p>

R&D Cryptography Engineer

Cryspen logo

Google {privacyLink} and {termsLink} apply.

Benefits

Media

We don't have any open positions at the moment

No available jobs

Locations

Open positions

Values

Videos

Do you have a question?

Spontaneous application

We’ll send a link to this job to your email.

Apply later

We are reviewing your account. Once our managers approve it, candidates will be able to apply for this job.

Changes are not visible until you publish your job.

This is a preview of your job ad.

Interested?

The job {jobTitle} was archived or the deadline has passed.

This job is no longer available

Hiring team

{count, plural, one {# day a week on-site} other {# days a week on-site}}

Our other open positions

We no longer accept spontaneous applications

Interested in working at {companyName}? Tell us about your skills and experience.

We may not have a suitable job available now, but your skills and experience could match a future role.

Use the application form to upload your CV and cover letter. Mention the position you’re interested in in your cover letter.

The company may contact you if a suitable opportunity arises.

How to apply

Jobs at {companyName}. Browse all open positions and become part of our team! Open positions: {jobsCount}

Jobs at {companyName}. Browse our {jobsCount} available jobs and apply today.

Browse our {jobsCount} available jobs and apply today.

Interested in working at {companyName}? Send a spontaneous application to tell us about your skills and experience.