Computer and Network Security

Cryspen

1-10

France

Cryspen is looking for a software verification engineer to build high-assurance cryptographic software.

We are looking for an engineer with knowledge of formal verification to drive the development of high-assurance cryptographic software at Cryspen. The role will encompass maintaining and improving the HACL\* verified cryptographic library and its APIs, as well as leading the development of new cryptographic products and protocols within Cryspen. Typical candidates include those who have experience in formal proof systems like F\* or Coq, have 2-3 years of experience developing software in the industry or open source projects, and feel passionate about replacing insecure code with formally verified software.

## Tasks

*   Improve and maintain F\* proofs in HACL\*
*   Verify high-performance implementations of new cryptographic primitives and constructions
*   Verify implementations of new cryptographic protocols

## Requirements

*   Proficient in F\* or another verification framework like Coq/Isabelle
*   Proficient in Rust and C 
*   2-3 years of software development experience
*   At ease with a Unix-like development environment

## Benefits

*   Room to grow personally and professionally
*   Work on cutting-edge cryptography
*   Shape your own role
*   Flexible working hours
*   Family-friendly work environment
*   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 software verification engineer to build high-assurance cryptographic software.</p>
<p>We are looking for an engineer with knowledge of formal verification to drive the development of high-assurance cryptographic software at Cryspen. The role will encompass maintaining and improving the HACL* verified cryptographic library and its APIs, as well as leading the development of new cryptographic products and protocols within Cryspen. Typical candidates include those who have experience in formal proof systems like F* or Coq, have 2-3 years of experience developing software in the industry or open source projects, and feel passionate about replacing insecure code with formally verified software.</p>
<h2 id="tasks">Tasks</h2>
<ul>
<li>Improve and maintain F* proofs in HACL*</li>
<li>Verify high-performance implementations of new cryptographic primitives and constructions</li>
<li>Verify implementations of new cryptographic protocols</li>
</ul>
<h2 id="requirements">Requirements</h2>
<ul>
<li>Proficient in F* or another verification framework like Coq/Isabelle</li>
<li>Proficient in Rust and C </li>
<li>2-3 years of software development experience</li>
<li>At ease with a Unix-like development environment</li>
</ul>
<h2 id="benefits">Benefits</h2>
<ul>
<li>Room to grow personally and professionally</li>
<li>Work on cutting-edge cryptography</li>
<li>Shape your own role</li>
<li>Flexible working hours</li>
<li>Family-friendly work environment</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>


Crypto/Software Verification 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.