Formal Methods Research Intern
Formal Methods Research Intern
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
$ 46800 - 84600
1 Vacancy
Job Description
Leidos is seeking a motivatedintern to support our work in formal methods research. The position will be based out of our Arlington VA office which is within walking distance of the Ballston Metro stop. However this position is available as remote work or onsite.
This candidate will work with other researchers and engineers in research projects focused on developing highassurance software and systems. Tasks involved in this research include adapting and extending automated reasoning technologies to provide assurances of correct behavior atscale. The candidate must be intellectually adaptive inquisitive communicative a selfstarter and problemsolver and selfmanaged when necessary. The intern will be responsible for developing defending executing and presenting the results of a research plan.
Primary Responsibilities
At the direction of the project lead analyze and assess internal software projects and artifacts as part of developing test cases that entail the application of formal methods analysis techniques and tools.
Integrate and adapt formal methods tools such as theorem provers solvers model checkers
Develop test case artifacts such as test scripts scoring code to support the analysis and interpretation of experimental results by senior researchers and decisionmakers.
Communicate plans and results effectively through written status reports and presentations.
Basic Qualifications
Pursuing a Degree in Electrical Engineering Computer Science Mathematics or a related technical field.
Has experience with programming languages such as Java Scala C/C Ruby Rust or Python.
Coursework in formal methods.
US citizenship.
Ability to obtain and maintain a DoD security clearance.
Preferred Qualifications
Handson experience working with a formal methods tool
Demonstrable experience applying formal methods tools and techniques to software projects and/or systems.
Original Posting:
February 5 2025For U.S. Positions: While subject to change based on business needs Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
Pay Range:
Pay Range $46800.00 $84600.00The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job education experience knowledge skills and abilities as well as internal equity alignment with market data applicable bargaining agreement (if any) or other law.
Required Experience:
Intern
Employment Type
Full-Time
