Computer and Network Security

Cryspen

1-10

Germany

Cryspen is looking for a cryptography researcher and engineer to build and prove high-assurance cryptographic software.

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.

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.

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.

## Tasks

*   Extend hacspec to handle new protocols we want to implement
*   Design and formally specify cryptographic protocols
*   Perform mechanized proofs on the protocols
*   Implement and improve cryptographic primitives

## Requirements

*   Basic knowledge of Rust
*   Experience with proving cryptographic protocols
*   Strong interest in mechanized proofs

## Benefits

*   Room to grow personally and professionally
*   Shape your role
*   Flexible working hours
*   Family-friendly work environment
*   Working remotely from anywhere in Germany
*   Part-time or Full-time

**Application Process**

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.

Employee

<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 id="tasks">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 id="requirements">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 id="benefits">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

user JOIN

Cryspen logo

Google {privacyLink} and {termsLink} apply.

Benefits

Media

We don't have any open positions at the moment

No available jobs

Offices

Open positions

Values

Videos

Do you have a question?

Spontaneous Application

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

No time? Just 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

Recruiting Team

Our other open positions

We no longer accept spontaneous applications

Are you a talented professional seeking your next career adventure? At {companyName}, we appreciate proactive individuals who can bring a fresh perspective to our team.

While we may not have an immediate job opening that precisely matches your needs, your distinctive experiences and talents might be an excellent fit for us in the future.

To submit your spontaneous application, please use the application form on the right to upload your CV and cover letter. Ensure that you mention your desired position in the cover letter.

Rest assured, our dedicated recruiting team will reach out to you once they identify a role that aligns perfectly with your skills and aspirations.

How to apply

Looking for a job at {companyName}? JOIN works directly with {companyName} to bring you all their open positions. Apply now with JOIN.com.

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

Jobs at {companyName}. Browse our open jobs and join us! We currently have {jobsCount} available jobs. Step up your career and apply today!

Jobs at {companyName}. Browse all our open positions and become part of our team! We have currently {jobsCount} jobs available. Apply today to join us!

Jobs at {companyName}. Browse all open positions and become part of our team! We are currently looking for {jobsCount} additions to our company. Apply today!

Jobs at {companyName}. Browse all open positions and become part of our growing team! We are currently looking for {jobsCount} additions to our company. Apply today!

Jobs at {companyName}. Browse all our open positions and become part of our growing team! We are currently looking for {jobsCount} additions to our company. Apply today!

Browse all our open positions and become part of our team! We are looking for {jobsCount} additions to our company. Take the next step in your career and apply today!

No suitable positions available at {companyName}? Don't wait! Submit a spontaneous job application today and unlock your career possibilities tomorrow.