5 days ago
ā¢ 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.
ā¢ 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.
ā¢ Room to grow personally and professionally ā¢ 4 day work week ā¢ Flexible working hours ā¢ Family-friendly work environment ā¢ Working remotely
Apply NowJanuary 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 10
Work with customers and Data Science team to apply AI for materials and chemicals at Citrine.
January 9
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.