Research Engineer: Formal Methods & Verification
Galois, Inc.
Galois, Inc. is hiring a Software Engineer/Researcher focusing on programming language theory research and formal verification of software. You will engage with clients and construct robust architectures while ensuring the highest security standards. To succeed, you should hold a Bachelor's degree in Computer Science, with a strong background in programming languages and formal methods. The role allows you the flexibility of a hybrid work environment with a strong emphasis on collaboration. #J-18808-Ljbffr Galois, Inc.
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Research Engineer: Formal Methods & Verification in Arlington, VA vacancy
- ...From building digital engineering tools that make space... ...are a community of researchers, engineers, and operations... ...are built on a formal mathematical foundation... ...techniques to the design and verification of critical software... ...expertise in Formal Methods and Programming...SuggestedLocal areaImmediate start
- ...Twenty is seeking an exceptionally skilled Offensive Cyber Research Engineer for an in-office position in its Arlington, VA office to lead... ...defense evasion techniques, counter-forensics, and anti-analysis methods Expert containerization and orchestration experience using...SuggestedFull timeWork at officeWorldwideFlexible hours
Twenty
Washington DC15 days ago - ...Google DeepMind, we’re a team of scientists, engineers, machine learning experts and more, working... ...highest priority. About Us The role of the Research Scientist / Research Engineer will be to develop state‑of‑the‑art methods for AI generative media models, with a primary...Suggested
- ...Inc. (SA) is currently seeking a cleared, Scientist / Engineer / SME I to support Defense Advanced Research Projects Agency (DARPA). Responsibilities As a... ...decisions independently on R&D engineering problems and methods, to resolve important questions, and to plan and...SuggestedWork at officeRemote work
- We are seeking a Scientific, Engineering, and Technical Assistance (... ...in support of a government research organization dedicated to investing... ...performers, independent verification and validation (IV&V)... ...target desired information, and methods for collecting information from...SuggestedWork experience placement
- ...Hydraulic Research Engineer Full-Time in McLean, VA - RTSIL Genex Systems seeks a talented Hydraulic Research Engineer to support the... ...soils using established procedures or develop new preparation methods. Conduct erosion tests of cohesive soils and collect test...Full timeContract work
Genex Systems
McLean, VA1 day ago $59k - $240k
...Summary Statement: The Applied Research Laboratory for Intelligence and... ...of research scientists and engineers, faculty research specialists and... ...static/dynamic software analysis, formal methods, applied mathematics, systems verification and validation, metric development...Contract workFor subcontractorWork at office- ...the preeminent technical authority for Twenty’s offensive cyber research program—setting the long-term vision, raising the bar on... ...world national security outcomes. You’ll partner closely with engineering, product, and operations leaders, and you’ll regularly advise...Full timeWork at officeFlexible hours
Twenty
Washington DC15 days ago $140k - $150k
About the Role You'll join STRIKE, SecurityScorecard's Threat Intelligence team, as the engineering counterpart to research. STRIKE runs several research motions in parallel, each on its own clock: rapid response to active events, longer product‑tied work, and standards...- Overview Genex Systems is looking for a talented Concrete Research Engineer (CRE) responsible for planning and conducting structural research projects for the Federal Highway Administration (FHWA) at the Turner-Fairbank Highway Research Center (TFHRC). Responsibilities...
- RTX BBN’s Analytics and Machine Intelligence department (AMI) is an entry level Research Engineer candidate focused on AI/ML, with a particular interest in Generative AI (GenAI) and Agentic AI systems. This is a hybrid role in our Arlington, VA or Cambridge, MA offices....Work at officeRemote workRelocation
- Manager, Research and Evidence - South Asia Location: Washington, DC (Hybrid - onsite Tuesdays... ...training for staff on research methods, tools, sampling approaches, data management... ...Graduate degree in a relevant discipline with formal training in research methods; PhD...
$100k - $190k
...The Cato Institute seeks qualified candidates for the Senior Research Engineer, Applied AI position. AI tools are proliferating rapidly. Making... ...their problems and identifying where AI and other advanced methods can make a real difference. And the Senior Research...Full time$140k - $155k
...Description Westat is a leader in research, data collection and... ...statistical and data rigor, adaptive methods, and advanced technology are... .... The VMware and SAN Engineer role is internally referred... ...include, for example, identity verification, employment history, motor...Full timeTemporary workH1bFlexible hours2 days per week- INCATech - Innovative Computing & Applied Technology is seeking a Geospatial Engineer to provide on-site geospatial support at USPIS in Falls Church, VA. The role requires expertise in ArcGIS, programming skills, and the ability to communicate technical ideas. The successful...
- Job Title Senior Specialist, Security Research/ DevOps Engineer Job Code 39002 Job Location Washington DC Job Schedule 5/8: Employees work 8 hours per day, 5 days per week Job Description We are looking for a DevOps Engineer to help design, automate, secure, and maintain...Local areaFlexible hours
- ...Essnova is seeking an experienced GIS Analyst / Geospatial Data Engineer / Web GIS Engineer to support a federal marine minerals and... ...offshore environmental data Knowledge of geostatistical analysis methods and spatial modeling techniques Experience developing interactive...
$300 per month
...Institute (STPI) is a federally funded research and development center (FFRDC) operated... ...Analyst with expertise in space science, engineering, or policy. Candidates with backgrounds... ...qualitative and quantitative analytical methods to address sponsor questions and assess...Work at officeLocal areaImmediate startRemote workRelocation packageFlexible hours- ...smarter decisions about their people. The Talent Intelligence Research Engineer is the analytical engine behind that work. In this role, you... ...Apply machine learning, natural language processing, statistical methods, and generative AI techniques to solve talent intelligence...
- INCATech LLC is seeking a Geospatial Embedded Innovation Engineer for geospatial support predominantly on-site in Falls Church, VA, or Washington, D.C. You will play a crucial role in identifying implementation patterns for ArcGIS and delivering geospatial services to...
- GAMA-1 Technologies seeks an IT Business Analyst acting as a Verification Engineer - AI and QA Business Analyst to validate GenAI‑driven outputs against system requirements and expected outcomes. You will identify discrepancies and support their resolution to ensure project...
$120k - $150k
Signal Processing Engineer / Computer Scientist - (150) Share this job as a link in your... ...Computer Scientist to support the Naval Research Laboratory (NRL) in development of naval... ...create more efficient ESM systems. Write formal and informal reports and provide oral...Full timeTemporary workWork experience placementLocal areaImmediate start$61.7k - $109.4k
Software Engineering Analyst Accenture Federal Services is a technology partner for the U.S. federal government, delivering mission‑critical... ...Rapid prototyping and iteration using modern engineering methods and cloud‑native architectures Basic Qualifications Bachelor...Contract workLocal areaRemote work- Job Brief: The JAVA Engineer Analyst/Developer will search, design and prepare solutions and interfaces to help assist system functionality... ...of message interoperability and evaluate user requirements, methods and issues to automate existing computer programs. They role...Local areaMonday to Friday
$100k
...Projection Sector. Our group delivers the engineering design and analysis backbone for Navy... ...relationships, influencing outcomes without formal authority. Core Expectations... ...SE processes, standards, and lifecycle methods. Minimal MBSE competency - Comfortable...For contractorsShift work- A leading AI research organization in McLean, Virginia, is seeking a Research Scientist/Engineer to advance generative AI models with a focus on video and audio synthesis. Candidates should have a PhD in relevant fields and proven experience in deep learning. Responsibilities...
$76.1k - $136.7k
...missions and the government forward! Job Description As a Data Engineer at the Senior Analyst level, you will be a key contributor to... ...compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation,...Live inWork at officeLocal area- ...seeking a hands‑on, creative, and technically strong AI Innovation Engineer to support our client delivery teams in bringing modern AI... .... Experience customizing AI services for biomedical or health research. Understanding of NIST AI Risk Management Framework and other...
$115k - $265k
IDA Center for Computing Sciences seeks outstanding researchers to tackle challenging computing problems vital to national security. This research environment emphasizes self‑motivation, depth in a field, and broad computational insight, with PhD helpful but not required...Flexible hours$115k - $265k
The Institute for Defense Analyses is seeking a Research Engineer at its Center for Computing Sciences in Bowie, Maryland. This role involves addressing challenging computing problems vital to national security, particularly in areas such as cryptography and high-performance...Flexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Engineer: Formal Methods & Verification. Be the first to apply!
Related searches
- research programmer Arlington, VA
- research engineer Arlington, VA
- deep learning research engineer Arlington, VA
- historical research Arlington, VA
- research and development internship Arlington, VA
- research and development engineer Arlington, VA
- vice president research Arlington, VA
- research and development chef Arlington, VA
- research assistantship Arlington, VA
- political research Arlington, VA