×
Register Here to Apply for Jobs or Post Jobs. X

Lead, Automated Reasoning & Formal Verification

Job in Seattle, King County, Washington, 98127, USA
Listing for: Amazon Science
Full Time position
Listed on 2026-06-15
Job specializations:
  • Engineering
    Research Scientist
  • Research/Development
    Research Scientist
Salary/Wage Range or Industry Benchmark: 125000 - 150000 USD Yearly USD 125000.00 150000.00 YEAR
Job Description & How to Apply Below

Amazon Science in Seattle is in search of a Principal Applied Scientist to lead innovative research in automated reasoning, formal verification, and program analysis. The role involves mentoring teams, designing algorithms, and transitioning research to practical applications.

The ideal candidate will have an advanced degree in a technical field and extensive experience in software engineering practices alongside strong verbal and written communication skills. The position offers a competitive salary and an inclusive work environment with comprehensive benefits.

#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)
0
200
Filters
Education Level
Experience Level (years)
Posted in last:
Salary