×
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

Research Engineer - Formal Methods & Verification

Job in Dayton, Montgomery County, Ohio, 45444, USA
Listing for: Galois, Inc.
Full Time position
Listed on 2025-12-30
Job specializations:
  • Software Development
    Software Engineer
Job Description & How to Apply Below
A technology company focusing on critical systems is seeking a Software Engineer/Researcher in Dayton, OH. This role involves advancing programming language theory research, conducting formal verification of software, and interacting closely with clients. Candidates should possess a Bachelor's degree in computer science and experience with formal methods and programming languages. The position offers a hybrid work environment and a strong focus on collaboration within a unique organizational structure.
#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