Senior Software Engineer, Formal Verification · category-labs