A weak solution of the coupling of time-dependent incompressible Navier–Stokes equationswith Darcy equations is defined. The interface conditions include theBeavers–Joseph–Saffman condition. Existence and uniqueness of the weak solution areobtained by a constructive approach. The analysis is valid for weak regularityinterfaces.