Formaldehyde is a prevalent environmental toxin and a key intermediate in single carbon metabolism. The ability to monitor formaldehyde concentration is, therefore, of interest for both environmental monitoring and for metabolic engineering of native and synthetic methylotrophs, but current methods suffer from low sensitivity, complex workflows, or require expensive analytical equipment. Here we develop a formaldehyde biosensor based on the FrmR repressor protein and cognate promoter of Escherichia coli. Optimization of the native repressor binding site and regulatory architecture enabled detection at levels as low as 1 µM. We then used the sensor to benchmark the in vivo activity of several NAD-dependent methanol dehydrogenase (Mdh) variants, the rate-limiting enzyme that catalyzes the first step of methanol assimilation. In order to use this biosensor to distinguish individuals in a mixed population of Mdh variants, we developed a strategy to prevent cross-talk by using glutathione as a formaldehyde sink to minimize intercellular formaldehyde diffusion.Finally, we applied this biosensor to balance expression of mdh and the formaldehyde assimilation enzymes hps and phi in an engineered E. coli strain to minimize formaldehyde build-up while also reducing the burden of heterologous expression.This biosensor offers a quick and simple method for sensitively detecting formaldehyde, and has the potential to be used as the basis for directed evolution of Mdh and dynamic formaldehyde control strategies for establishing synthetic methylotrophy. pastoris convert methanol to formaldehyde using an FAD-linked alcohol oxidase (AOX) (Cregg, Madden, Barringer, Thill, & Stillman, 1989), and Gram-positive methylotrophs typified by Bacillus methanolicus perform the same conversion using an NAD-linked Mdh (Müller, Heggeset, Wendisch, Vorholt, & Brautaset, 2015).In all these organisms, formaldehyde acts as a branch point between further oxidization to CO 2 for energy conservation, and incorporation into biomass via the serine cycle, ribulose monophosphate (RuMP) pathway, or the xylulose-5-phosphate (Xu5P) pathway (Chistoserdova et al., 2009;Müller, Heggeset, et al., 2015;Yurimoto, Oku, & Sakai, 2011). These pathways are of growing interest in the field of metabolic engineering, where researchers seek to convert relatively cheap methanol feedstocks into higher value commodity chemicals with either native or "synthetic" methylotrophs (Kalyuzhnaya, Puri, & Lidstrom, 2015;Whitaker, Sandoval, Bennett, Fast, & Papoutsakis, 2015). Besides methylotrophs, formaldehyde is present at low levels in all organisms as a result of demethylation reactions (Kalasz, 2003). Because of its cytotoxicity, the intracellular formaldehyde concentration must be tightly controlled, which has led to the evolution of a variety of highly coordinated metabolic strategies for detoxifying formaldehyde (Yurimoto, Kato, & Sakai, 2005). The need to keep the concentration of formaldehyde low while supporting high flux places an even more stringent burden on methylotrop...