  In this paper, we formally define the concept of $k$-shifted contact
structures on derived (Artin) stacks and study their local properties in the
context of derived algebraic geometry. In this regard, for $k$-shifted contact
derived $\mathbb{K}$-schemes, we develop a Darboux-like theorem and formulate
the notion of symplectification.
