Proof Engineer (Germany) für Berlin gesucht

Arbeits- und Stellenangebot im Regiobizz Arbeitsmarkt

Job Kategorie: IT/IT-Dienstleistung Informationstechnologie (IT)

Stellenangebot Basisdaten

Arbeitsort:: DE 10115 Berlin
Umkreis:: keine Angabe.
Art der Arbeitsstelle:
Letze Aktualisierung:: 15.01.20252025-01-15

ONLINE BEWERBEN - KLICKEN SIE HIER UM DAS ONLINE BEWERBUNGSFORMULAR ZU ÖFFNEN

Stellenausschreibung: Proof Engineer (Germany)

Arbeitgeber bzw. Arbeitsvermittler: Cryspen in Hamburg

Branche: IT/IT-Dienstleistung

Kategorie: Informationstechnologie (IT)

Stellenbeschreibung: Intro Cryspen is on a mission to build high-assurance software and formal verification tools that make the world a safer place. We're looking for passionate Proof Engineers to join our collaborative team and help us achieve that goal. Are you proficient in Rocq (ex Coq) or F* or Lean or HOL? Have you built or maintained large proof artifacts? Do you have experience in improving proof automation or developing verification tools? Are you eager to apply formal verification to real-world software? If your answer is yes, apply and tell us more about your experience and your interests. 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. Prior open-source experience is valued, but not required. Tasks Develop machine-checked proofs for software written by Cryspen and by others, using a variety of verification tools, including F*, Lean, and ProVerif. Build new proof automation and targeted verification tools to help improve the experience and effectiveness of writing and maintaining software with proofs. Participate in the high-assurance software development process and help software engineers write verification-ready code annotated with formal specifications. Contribute to code reviews, debugging, and troubleshooting efforts. Maintain existing proofs for high-assurance cryptographic software. 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 Part-time or Full-time Closing Application Process Do consider writing a letter in addition to your CV to emphasize the verification projects you have done and why you would like to work for us. 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.

Qualifikation: Arbeitskräfte

Verdienst:: n.a.

Bewerbung an: Cryspen
Am Strandkai 1
De 20457 Hamburg

ONLINE BEWERBEN - KLICKEN SIE HIER UM DAS ONLINE BEWERBUNGSFORMULAR ZU ÖFFNEN

Stellenangebot powered by

Die Veröffentlichung dieses Stellenangebotes bei regiobizz.de erfolgt mit freundlicher Genehmigung von GermanPersonnel im Namen des Stellenanbieters. Eine gewerbliche Nutzung dieser Daten sowie deren Veröffentlichung in jeder Form ist ohne ausdrückliche Genehmigung von GermanPersonnel strengstens untersagt.