Sophisticated gene circuits built by synthetic biology can enable bacteria to sense their environment and respond predictably. Engineered biosensing bacteria outfitted with such circuits can potentially probe the human gut microbiome to prevent, diagnose, or treat disease. To provide robust biocontainment for engineered bacteria, we devised a Cas9-assisted auxotrophic biocontainment system combining thymidine auxotrophy, an Engineered Riboregulator (ER) for controlled gene expression, and a CRISPR Device (CD). The CD prevents the engineered bacteria from acquiring thyA via horizontal gene transfer, which would disrupt the biocontainment system, and inhibits the spread of genetic elements by killing bacteria harboring the gene cassette. This system tunably controlled gene expression in the human gut commensal bacterium Bacteroides thetaiotaomicron, prevented escape from thymidine auxotrophy, and blocked transgene dissemination. These capabilities were validated in vitro and in vivo. This biocontainment system exemplifies a powerful strategy for bringing genetically engineered microorganisms safely into biomedicine.