Senior Software Engineer, Rust at Provable