Senior Formal Verification Engineer

QA 엔지니어정규직시니어 · 5~10년Mountain View—

Formal VerificationModel CheckingTheorem ProvingC++

원문 보기

SystemVerilog

Waymo에서 형식 검증(Formal Verification) 전문가를 채용합니다. 모델 체킹 및 정리 증명 기술을 활용하여 자율주행 시스템의 안전성을 검증하는 핵심 역할을 수행합니다. 5년 이상의 관련 경력이 필수이며, 하드웨어 설계 검증 경험이 있는 시니어 엔지니어를 찾습니다. 자율주행 기술의 미래를 함께 만들어갈 분들의 많은 지원 바랍니다.

body { font-family: "Arial"; }

window.awsWafCookieDomainList = ['clinchtalent.com','career-pages.com']; window.gokuProps = { "key":"AQIDAHjcYu/GjX+QlghicBgQ/7bFaQZ+m5FKCMDnO+vTbNg96AGRObZizMA8HJ+MGG8oJ2DcAAAAfjB8BgkqhkiG9w0BBwagbzBtAgEAMGgGCSqGSIb3DQEHATAeBglghkgBZQMEAS4wEQQMz5VvpQFERI8OjStfAgEQgDuh1EH12wNXxGWkyYTjC+0zHmCK+hBH5RFV4YXFe/OFpE38/hjdD0V5wd499o0I2ynZC6VDaEMJ5PAOUA==", "iv":"NC42xQDshAABUq6b", "context":"aAuZ6lrHWbikaWfvZePkBh2uqU31yNSN20NvRpuTtaZNIvkZgKVkRFZgi0bTnR0OAXhVzZo0L8EktlCwdJWEK4bh25JE7G4wDTE0y38JKoXQgXUfklUpaYA5ODGvsRZn84IuBWL9bR5GT+US6OjGqpwJZT5hdpKI4a4iLAe+y7+W2o2cV5/6SYhAZ7+UFOkzQXSvDkZHyb69FeggUXpLuNZh1MdQrVZ0i4O9N8RuG56EVL0gztN4bK4GaU9NXUNDtm65ocu0jNUqgDtvcDkzTkJIWUgfn+LNlqXN6pdTa1rp5UbRkiq1ot28qWN2zZVKLXqbYqYhtIIp/WAz0rPhbZnKJmUEyuvkC1MA/Ziq6XaV+fyVC4t0hFmi7ifVFAqYz3545KSS/5VX9ki4Fz9pDxiDkIr/Usy1pwVOPqx7czXnfTIjmfUiDB6OOb0MQ1wPyMgm4ima5xLa1bP/GfxnHADAoJJnVwRkqLU+Qtbu+Qxng/JrVNNgDpo91dspxM7KdDfH3+h0Q25pcEQ89guBLkHX/vzEa/3WxfoHDTi/81Vbp7VbDNk6htDKRTkuFIgs/P8MKKEJw6UgPBgnCmQtwRCGLqgNZeQ6UwCcTDxHugDFTUxXTSXlk7I3ZrBWBk6Y8RGN4z6hVN6THwvaISF7VuSi6llvbP6jG/CLgXNsu85pxqaxBq27crXNRvHIYpri706MVkuisMfZATF0hf/WQitSn7eq+LRsZCIdZS+1mb5WoTdcM3+iGtu7NBMCGZfQryzfcpvOGfCsf6jn5ffk5hlbKGpsE31gDkkZm1Q0ew==" };

AwsWafIntegration.saveReferrer(); AwsWafIntegration.checkForceRefresh().then((forceRefresh) => { if (forceRefresh) { AwsWafIntegration.forceRefreshToken().then(() => { window.location.reload(true); }); } else { AwsWafIntegration.getToken().then(() => { window.location.reload(true); }); } });

JavaScript is disabled In order to continue, we need to verify that you're not a robot. This requires JavaScript. Enable JavaScript and then reload the page.

Waymo의 새 공고, 가장 먼저 받아보세요

관심 회사를 등록하면 새 공고가 올라올 때 바로 알려드릴게요.

무료로 시작

body { font-family: "Arial"; }

window.awsWafCookieDomainList = ['clinchtalent.com','career-pages.com']; window.gokuProps = { "key":"AQIDAHjcYu/GjX+QlghicBgQ/7bFaQZ+m5FKCMDnO+vTbNg96AGRObZizMA8HJ+MGG8oJ2DcAAAAfjB8BgkqhkiG9w0BBwagbzBtAgEAMGgGCSqGSIb3DQEHATAeBglghkgBZQMEAS4wEQQMz5VvpQFERI8OjStfAgEQgDuh1EH12wNXxGWkyYTjC+0zHmCK+hBH5RFV4YXFe/OFpE38/hjdD0V5wd499o0I2ynZC6VDaEMJ5PAOUA==", "iv":"NC42xQDshAABUq6b", "context":"aAuZ6lrHWbikaWfvZePkBh2uqU31yNSN20NvRpuTtaZNIvkZgKVkRFZgi0bTnR0OAXhVzZo0L8EktlCwdJWEK4bh25JE7G4wDTE0y38JKoXQgXUfklUpaYA5ODGvsRZn84IuBWL9bR5GT+US6OjGqpwJZT5hdpKI4a4iLAe+y7+W2o2cV5/6SYhAZ7+UFOkzQXSvDkZHyb69FeggUXpLuNZh1MdQrVZ0i4O9N8RuG56EVL0gztN4bK4GaU9NXUNDtm65ocu0jNUqgDtvcDkzTkJIWUgfn+LNlqXN6pdTa1rp5UbRkiq1ot28qWN2zZVKLXqbYqYhtIIp/WAz0rPhbZnKJmUEyuvkC1MA/Ziq6XaV+fyVC4t0hFmi7ifVFAqYz3545KSS/5VX9ki4Fz9pDxiDkIr/Usy1pwVOPqx7czXnfTIjmfUiDB6OOb0MQ1wPyMgm4ima5xLa1bP/GfxnHADAoJJnVwRkqLU+Qtbu+Qxng/JrVNNgDpo91dspxM7KdDfH3+h0Q25pcEQ89guBLkHX/vzEa/3WxfoHDTi/81Vbp7VbDNk6htDKRTkuFIgs/P8MKKEJw6UgPBgnCmQtwRCGLqgNZeQ6UwCcTDxHugDFTUxXTSXlk7I3ZrBWBk6Y8RGN4z6hVN6THwvaISF7VuSi6llvbP6jG/CLgXNsu85pxqaxBq27crXNRvHIYpri706MVkuisMfZATF0hf/WQitSn7eq+LRsZCIdZS+1mb5WoTdcM3+iGtu7NBMCGZfQryzfcpvOGfCsf6jn5ffk5hlbKGpsE31gDkkZm1Q0ew==" };

AwsWafIntegration.saveReferrer(); AwsWafIntegration.checkForceRefresh().then((forceRefresh) => { if (forceRefresh) { AwsWafIntegration.forceRefreshToken().then(() => { window.location.reload(true); }); } else { AwsWafIntegration.getToken().then(() => { window.location.reload(true); }); } });

JavaScript is disabled In order to continue, we need to verify that you're not a robot. This requires JavaScript. Enable JavaScript and then reload the page.