Software Engineer (Engineer III to Principal) - Formal Methods @ CertiK | Jobright.ai