His research interests are in the area of formal engineering methods for computer security. Chadha has held research positions at INRIA in Saclay, France; the University of Illinois at Urbana-Champaign; the Instituto Superior Tecnico in Portugal; and the University of Sussex in the UK.