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

Senior Scientist - Formal Methods & Systems

Job in Arlington, Arlington County, Virginia, 22201, USA
Listing for: United Cerebral Palsy of Georgia
Full Time position
Listed on 2026-06-02
Job specializations:
  • Science
    Research Scientist
Salary/Wage Range or Industry Benchmark: 125000 - 150000 USD Yearly USD 125000.00 150000.00 YEAR
Job Description & How to Apply Below
Position: Senior Scientist - Formal Methods & Trustworthy Systems

Galois is seeking a Principal Scientist to lead research initiatives at the intersection of Formal Methods and critical software systems. Responsibilities include engaging clients, mentoring staff, and publishing findings.

The ideal candidate has a Ph.D. and extensive experience in formal verification. The position offers a hybrid working environment, competitive compensation, and a robust benefits package including paid parental leave and a 401(k) plan.

#J-18808-Ljbffr
Position Requirements
10+ Years work experience
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