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.

Built by Lior Neu-ner. I'd love to hear your feedback ā€” Get in touch via DM or lior@remoterocketship.com