Automated one-loop computations in the SMEFT

We present the automation of one-loop computations in the standard-model effective field theory at dimension six. Our implementation, dubbed SMEFT@NLO, contains ultraviolet and rational counterterms for bosonic, two- and four-fermion operators. It presently allows for fully differential predictions, possibly matched to parton shower, up to one-loop accuracy in QCD. We illustrate the potential of the implementation with novel loop-induced and next-to-leading order computations relevant for top-quark, electroweak, and Higgs-boson phenomenology at the LHC and future colliders.