Chemolithoautotrophic bacteria can be of industrial and environmental importance, but they present a challenge for systems biology studies, as their central metabolism deviates from that of model organisms and there is a much less extensive experimental basis for their gene annotation than for typical organoheterotrophs. For microbes with sequenced genomes but unconventional metabolism, the ability to create knockout mutations can be a powerful tool for functional genomics and thereby render an organism more amenable to systems biology approaches. In this chapter, we describe a genetic system for Thiobacillus denitrificans , with which insertion mutations can be introduced by homologous recombination and complemented in trans . Insertion mutations are generated by in vitro transposition, the mutated genes are amplified by the PCR, and the amplicons are introduced into T. denitrificans by electroporation. Use of a complementation vector, pTL2, based on the IncP plasmid pRR10 is also addressed.