Computer and Network Security

Cryspen

1-10

<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>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>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>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

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.