Инженер формальной верификации программ (Formal Verification Engineer)