A cryptographic software engineer at Ulvetanna contributes to internal and open-source zk-SNARK proving codebases, analyzes their performance, and proposes and implements optimizations.