thatの省略

おっしゃる通り、the program (that/which) we provide というふうに関係代名詞の that または which が省略されています。

関係代名詞は、主格の時（関係代名詞が節の主語となる）場合は省略してしまうと節が成り立たなくなるので省略することができませんが、目的格（関係代名詞が節の中の動詞の目的語になって前にでてきている）の場合、どうしても入れた方が文がわかりやすい時（節が長くなっている時など）にはわざわざ入れますが、なくてもわかるのに入れると、かえってそこで文の流れが止まってわかりにくい、くどい文章になるので、多くの場合省略されます。