Mathematica, 64 bytes
FirstCase[Tuples@##,x:{f_,___}/;f>0&&PrimeQ[y=FromDigits@x]:>y]&
Pure function where the first argument is the (sorted) list of allowed digits and the second argument is the allowed length. Tuples@##
computes all lists of the allowed digits of the allowed length, then we find the FirstCase
which matches x:{f_,___}
such that the first digit f
is not 0
and the integer y=FromDigits@x
is prime and replaces it with y
.