×
Apply for Jobs Apply for Jobs Post a Job Post a Job Local Jobs Home
Register Here to Apply for Jobs or Post Jobs. X
More jobs:
Software Engineer Data Scientist Computer Science AI Engineer

Research Engineer - Formal Methods & Programming Languages

Job in Arlington, Arlington County, Virginia, 22201, USA
Listing for: Galois, Inc.
Full Time position
Listed on 2026-01-11
Job specializations:
  • Software Development
    Software Engineer, Data Scientist, Computer Science, AI Engineer
Job Description & How to Apply Below
A technology development company based in Arlington, VA is looking for a Software Engineer/Researcher to advance programming language theory research and implement formal methods. The role involves rigorous formal verification of software and systems, robust architecture design, and engaging with clients to gather requirements. Ideal candidates will hold a Bachelor's degree in computer science and possess a background in programming languages and formal methods.

This position supports a hybrid work environment with competitive 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)

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