Experienced Verification Engineer for C2DG