Must application software be certified, and according to which standard?

No. A duty for certification does not exist according to EN 13849 and EN 62061. But, according to appendix IV of the machine directive, there might be a duty to certify, e.g. for presses. Requirements for programming of software can be found in EN 62061 and EN ISO 13849-1.