ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.

Features

Auto Apply Resume Optimizer Cover Letter Optimizer Interview Prep

Company

Social Media

Need Help?

team@applyblast.com

Formal Methods Research Intern at Leidos - ApplyBlast

Formal Methods Research Intern

Leidos

10 months ago

3.9 on Glassdoor

Arlington, VA

Hybrid

Full Time

Intern

0 applicants

View Job Listing

Apply to 100+ jobs

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.

Skills

Qualifications

Pursuing Degree in Electrical Engineering, Computer Science, or MathematicsCoursework in Formal MethodsUS CitizenshipAbility To Obtain DoD Security Clearance

About Leidos

leidos.com

Headquarters

Reston, Virginia, United States

Company Size

10001+ employees

Founded

1969

View Profile

Leidos is a Fortune 500 science and technology company that delivers solutions at the intersection of national security, health, and critical infrastructure, serving defense, federal government, intelligence, and commercial markets. With a global workforce of approximately 47,000, the company provides capabilities across AI, cybersecurity, digital modernization, mission software, space, maritime, managed health, and energy infrastructure. Leidos partners with government agencies and large enterprises to deliver mission-critical innovations that address complex national and global challenges.