{"schemaVersion":"jobsearcher.job.v1","id":"ea062ae5e63de879f8da3d41","url":"https://jobsearcher.com/jobs/ea062ae5e63de879f8da3d41","canonicalUrl":"https://jobsearcher.com/jobs/ea062ae5e63de879f8da3d41","title":"Research Engineer - Formal Methods & Programming Languages","description":"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.\n#J-18808-Ljbffr","company":"Galois","rawCompany":"galois","city":"Arlington","state":"VA","isRemote":false,"isActive":false,"createdAt":"2026-04-09T08:05:28.499Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1251.00","title":"Computer Programmers","slug":"computer-programmers"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541720","title":"Research and Development in the Social Sciences and Humanities","slug":"research-and-development-in-the-social-sciences-and-humanities"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Research Engineer - Formal Methods & Programming Languages","description":"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.\n#J-18808-Ljbffr","datePosted":"2026-04-09T08:05:28.499Z","dateModified":"2026-04-09T08:05:28.499Z","hiringOrganization":{"@type":"Organization","name":"Galois","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Arlington","addressRegion":"VA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"ea062ae5e63de879f8da3d41"},"url":"https://jobsearcher.com/jobs/ea062ae5e63de879f8da3d41"}}