Full-time

Junior Software Verification Engineer

Full-timeRemote / Milan / Prague

Join our formal verification team to ensure the correctness of security-critical code. You'll learn to use theorem provers and contribute to mathematically proving implementation correctness.

About the Role

We're looking for a Junior Software Verification Engineer to join our formal verification team. This is an excellent opportunity to learn cutting-edge verification techniques while working on real-world security-critical systems. You'll work with experienced researchers who have pioneered AI-assisted verification methods, and you'll contribute to tools that mathematically prove the correctness of cryptographic implementations.

Responsibilities

Learn and apply formal verification techniques to cryptographic code
Write specifications and proofs using theorem provers
Develop tooling to automate verification workflows
Collaborate with cryptography engineers to verify implementations
Document verification processes and results
Contribute to research on AI-assisted verification

Requirements

Bachelor's degree in Computer Science, Mathematics, or related field
Strong foundation in logic and discrete mathematics
Basic programming experience (any language)
Interest in formal methods and program verification
Strong analytical and problem-solving skills
Eagerness to learn new tools and techniques

Nice to Have

Experience with theorem provers (Coq, F*)
Familiarity with functional programming
Coursework in formal methods or program analysis
Understanding of basic cryptographic concepts
Experience with Rust or OCaml

Ready to Apply?

Send us your resume and a brief introduction explaining why you're interested in this role and what makes you a great fit.

Apply Now