Junior Software Verification Engineer

Full-time · Remote, Milan or Prague

Help prove that security-critical code is correct. You'll learn to use theorem provers and write the proofs yourself.

About the role

We're hiring a junior engineer for our formal verification team. You'll learn verification techniques on real, security-critical systems rather than textbook examples. You'll work with researchers who developed our AI-assisted verification methods, and you'll contribute to the tools we use to prove cryptographic implementations correct.

What you'll do

Apply formal verification techniques to cryptographic code
Write specifications and proofs in theorem provers
Build tooling that automates verification work
Work with cryptography engineers to verify their implementations
Document verification processes and results
Contribute to research on AI-assisted verification

What we're looking for

A degree in computer science, mathematics or a related field
A solid grounding in logic and discrete mathematics
Some programming experience, in any language
Interest in formal methods and program verification
Good analytical skills
Willingness to learn new tools

Nice to have

Experience with theorem provers (Coq, F*)
Familiarity with functional programming
Coursework in formal methods or program analysis
Basic knowledge of cryptography
Experience with Rust or OCaml

How to apply

Send your CV and a short note on why this role interests you to careers@seceq.com.