The @POSD function for requiring a matrix to be positive semi-definite requires licenses for the optional barrier and conic solvers. You will need to upgrade your license to proceed.