| Job Title | City | Salary | Year |
|---|---|---|---|
| FORMAL METHODS ENGINEER - CYBER PHYSICAL SYSTEMS | Portland, OR | $179,814 | FY2025 |
| MACHINE LEARNING ENGINEER / RESEARCHER | Arlington, VA | $172,513 | FY2024 |
| CRYPTOGRAPHY AND SECURE COMPUTATION RESEARCHER | Portland, OR | $165,500 | FY2024 |
| SOFTWARE ENGINEER | Portland, OR | $155,904 | FY2024 |
| PROGRAMMING LANGUAGES ENGINEER | Arlington, VA | $148,572 | FY2024 |
| PROGRAMMING LANGUAGES ENGINEER |
| Portland, OR |
| $137,917 |
| FY2023 |
| SOFTWARE ENGINEER | Portland, OR | $155,904 | FY2022 |
| SOFTWARE ENGINEER | Portland, OR | $155,904 | FY2022 |
| PROGRAMMING LANGUAGES ENGINEER | Arlington, VA | $148,572 | FY2022 |
| FORMAL VERIFICATION COMPUTER SCIENCE RESEARCHER | Shelton, WA | $142,284 | FY2022 |
| FORMAL VERIFICATION COMPUTER SCIENCE RESEARCHER | Portland, OR | $142,284 | FY2022 |
| FORMAL METHODS ENGINEER CYBER PHYSICAL SYSTEMS | Portland, OR | $142,284 | FY2022 |
| ASIC HARDWARE ENGINEER | Portland, OR | $130,000 | FY2022 |
| PROGRAMMING LANGUAGES SOFTWARE RESEARCH ENGINEER JUNIOR | Portland, OR | $130,000 | FY2022 |
| CRYPTOGRAPHY AND SECURE COMPUTATION RESEARCHER | Brooklyn, NY | $156,000 | FY2021 |
| MACHINE LEARNING ENGINEER / RESEARCHER | Arlington, VA | $148,572 | FY2021 |
| SOFTWARE ENGINEER | Portland, OR | $155,904 | FY2020 |
| FORMAL VERIFICATION COMPUTER SCIENCE RESEARCHER | Portland, OR | $142,284 | FY2020 |
| FORMAL VERIFICATION COMPUTER SCIENCE RESEARCHER | Shelton, WA | $142,284 | FY2020 |
| FORMAL METHODS ENGINEER | ARLINGTON, VA | $133,620 | FY2020 |