Formal Methods Research Intern

Example Corp(2 months ago)

HybridFull TimeIntern$48,100 - $86,950Research

About this role

Leidos is hiring an intern to support formal methods research aimed at developing high-assurance software and systems. The role focuses on adapting and extending automated reasoning technologies and formal methods tools to provide assurances of correct behavior at scale. The position is based in Arlington, VA and is available as remote or onsite.

View Original Listing

Required Skills

Formal Methods
Theorem Proving
Model Checking
Automated Reasoning
Test Scripts
Scoring Code
Programming
Python
C++
Java

+3 more

Qualifications

Pursuing Degree in Electrical Engineering, Computer Science, or Mathematics
Coursework in Formal Methods
US Citizenship
Ability To Obtain DoD Security Clearance

About Example Corp

leidos.com

Acquia is a digital experience company built around Drupal that provides cloud hosting, content management, personalization, and marketing tools to help organizations build and operate large, secure websites and applications. Its platform combines Acquia Cloud and site-management services with capabilities for digital asset management, personalization and customer engagement, security, and professional support. Founded by Dries Buytaert (the creator of Drupal), Acquia positions itself as an enterprise-grade partner for organizations that want to leverage open-source Drupal at scale. Its customers include government agencies, media companies, and large enterprises that need scalable, secure digital experiences.

View more jobs at Example Corp →