We present a genome engineering workflow for the generation of new in vitro models for HIV-1 infection that recapitulate proviral integration at selected genomic sites. Targeting of HIV-derived reporters is facilitated by CRISPR-Cas9-mediated, site-specific genome manipulation. Detailed protocols for single-cell clone generation, screening, and correct targeting verification are provided.