The technical term for nose picking is rhinotillexis.

https://en.wikipedia.org/wiki/Nose_picking