Senior Software Engineer, Formal Verification | Category Labs - remote.how