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