Proof Engineer

5 days ago

Apply Now
Logo of Cryspen

Cryspen

Cryptography β€’ Formal Verification

Description

β€’ Shape the Future of Security: You'll develop and maintain correctness and security proofs for formally verified software solutions, primarily in Rust, and help improve a state-of-the-art software verification toolchain. β€’ Work with the Best: Collaborate closely with reputed research scientists and experienced engineers to develop proofs for cutting-edge applications. β€’ Make a Difference: You'll play a key role in the entire development process, from design and development to verification and testing. β€’ Open Source Enthusiast? Cryspen embraces open source and actively contributes to the community.

Requirements

β€’ Proficiency in proof assistants, such as Rocq (ex Coq), Lean, F*, or HOL. β€’ Knowledge of OCaml and compiler internals is a plus. β€’ Knowledge of other tools, such as model checkers or protocol analyzers is a plus, but not required. β€’ Familiarity with software development best practices, including version control, code reviews, and testing. β€’ Excellent communication and collaboration skills. β€’ Strong problem-solving and analytical skills.

Benefits

β€’ Room to grow personally and professionally β€’ 4 day work week β€’ Flexible working hours β€’ Family-friendly work environment β€’ Working remotely

Apply Now

Similar Jobs

January 25

The role involves supporting collaborative robot projects through their lifecycle as a technical advisor and facilitator, ensuring execution and customer satisfaction.

January 20

As a Field Service Engineer at Illumina, install and maintain hardware while supporting sales efforts.

January 10

Providing repair and maintenance for dosing systems and technical support for field staff at Solenis locations.

January 9

evoila

201 - 500

Join our team to revolutionize event streaming architectures with Kafka and RabbitMQ. Work remotely on exciting cloud and on-premises projects.

Discover 70,000+ Remote Jobs!

Join now to unlock all job opportunities.

Find your dream remote job

Discover hidden jobs

We scan the internet everyday and find jobs not posted on LinkedIn or other job boards.

Head start against the competition

We find jobs within 24 hours of being posted, so you can apply before everyone else.

Be the first to know

Daily emails with new job openings straight to your inbox.

Choose your membership

Cancel anytime

Loved by 10,000+ remote workers

Wall of Love

Frequently asked questions

We use powerful scraping tech to scan the internet for thousands of remote jobs daily. It operates 24/7 and costs us to operate, so we charge for access to keep the site running.

Of course! You can cancel your subscription at any time with no hidden fees or penalties. Once canceled, you’ll still have access until the end of your current billing period.

Other job boards only have jobs from companies pay to post. This means that you miss out on jobs from companies that don't want to pay. On the other hand, Remote Rocketship scrapes the internets for jobs and doesn't accept payments from companies. This means we have thousands of more jobs!

New jobs are constantly being posted. We check each company website every day to ensure we have the most up-to-date job listings.

Yes! We’re always looking to expand our listings and appreciate any suggestions from our community. Just send an email to Lior@remoterocketship.com. I read every request.

Remote Rocketship is a solo project by me, Lior Neu-ner. I built this website for my wife when she was looking for a job! She was having a hard time finding remote jobs, so I decided to build her a tool that would search the internet for her.

Why I created Remote Rocketship

Choose your membership

Cancel anytime

Loved by 10,000+ remote workers
Built by Lior Neu-ner. I'd love to hear your feedback β€” Get in touch via DM or lior@remoterocketship.com