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

Applied Scientist, Automated Reasoning & Theorem Proving

Job in Cambridge, Middlesex County, Massachusetts, 02140, USA
Listing for: Amazon
Full Time position
Listed on 2026-06-07
Job specializations:
  • IT/Tech
    Data Scientist, Cloud Computing
Salary/Wage Range or Industry Benchmark: 142800 - 193200 USD Yearly USD 142800.00 193200.00 YEAR
Job Description & How to Apply Below

Amazon seeks an Applied Scientist for AWS Automated Reasoning to tackle complex problems in computing, providing strategic solutions and mentoring others. This role demands a PhD in computer science and experience in areas such as SAT and SMT.

Located in Massachusetts, the position offers a competitive salary range of $142,800 - $193,200 annually, with comprehensive benefits including health insurance and retirement plans. Amazon values diverse experiences and encourages all candidates to apply.

#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