Predsednika Ustavnog suda biraju sudije tog suda tajnim glasanjem, u skladu sa Zakonom o Ustavnom sudu i Poslovnikom Ustavnog suda. 

Petrov je redovni profesor za Ustavno pravo i Parlamentarno pravo od 2016. godine na Pravnom fakultetu Univerzitetu u Beogradu, a na pravosudnom ispitu od 2017. godine ispituje Ustavno pravo i pravosudno organizaciono pravo.

Na dužnost sudije Ustavnog suda stupio je u maju 2019. godine, kada je položio zakletvu pred predsednikom Narodne skupštine.