Abstract. In this paper we prove that under the assumption of quasi-transitivity, if a branching random walk on Zd survives locally (at arbitrarily large times there are individuals alive at the origin), then so does the same process when restricted to the infinite percolation cluster C ∞ of a supercritical Bernoulli percolation. When no more than k individuals per site are allowed, we obtain the k-type contact process, which can be derived from the branching random walk by killing all particles that are born at a site where already k individuals are present. We prove that local survival of the branching random walk on Zd also implies that for k sufficiently large the associated k-type contact process survives on C∞. This implies that the s...