AbstractIn this paper, we consider the stochastic optimal control problem for jump-diffusion models with state constraints. In general, the value function of such problems is the discontinuous viscosity solution of the associated Hamilton-Jacobi-Bellman (HJB) equation since the regularity cannot be guaranteed at the boundary of the state constraint. By adapting the stochastic target theory, we obtain an equivalent representation of the original value function by means of the backward reachable set. We then show that this backward reachable can be characterized by the zero-level set of the auxiliary value function for the unconstrained stochastic control problem, which includes two additional unbounded controls as a consequence of the martingale representation theorem. We prove that the auxiliary value function is the unique continuous viscosity solution of the associated HJB equation, which is the second-order nonlinear partial integro-differential equation (PIDE). Our paper provides an explicit way to characterize the original (possibly discontinuous) value function as a zero-level set of the continuous solution of the auxiliary HJB equation. The proof of the existence and uniqueness requires a new technique due to the unbounded control sets and the presence of the singularity of the corresponding Lévy measure in the nonlocal operator of the HJB equation.