Software Developer und Verification Expert (m/w/d)
Software Developer und Verification Expert (m/w/d)
Secunet Security Networks AG
Berlin, Dresden
Teilweise Home-Office
formale Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.)
formale Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.)