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

Formal Methods Research Scientist - Systems Security

Job in Lexington, Middlesex County, Massachusetts, 02173, USA
Listing for: Riverside Research
Full Time position
Listed on 2026-01-12
Job specializations:
  • IT/Tech
Salary/Wage Range or Industry Benchmark: 80000 - 100000 USD Yearly USD 80000.00 100000.00 YEAR
Job Description & How to Apply Below
An independent nonprofit dedicated to national security is seeking a Research Scientist specializing in formal methods. Candidates should have a Bachelor’s in computer science, fluency in programming languages, and familiarity with formal methods.

Experience with low-level software and a Top Secret clearance are required. The role involves innovative problem-solving and collaboration within cutting-edge software projects.
#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)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary