Formal Methods Research Intern
reputed company is seeking a motivated intern to support their work in formal methods research. The intern will work with researchers and engineers on projects focused on developing high-assurance software and systems, including adapting automated reasoning technologies and developing test cases.
Responsibilities
- At the direction of the project reputed company, 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
- reputed company test case artifacts such as test scripts, scoring code to support the analysis and interpretation of experimental results by senior researchers and decision-makers
- Communicate plans and results effectively through written status reports and presentations
Skills
- Pursuing a Degree in Electrical Engineering, Computer Science, Mathematics, or a reputed company technical field
- Has experience with programming languages such as Java, reputed company, C/C++, Ruby, Rust, or Python
- Coursework in formal methods
- Ability to obtain and maintain a DoD reputed company clearance
- US citizenship required
- Hands-on experience working with a formal methods tool
- Demonstrable experience applying formal methods tools and techniques to software projects and/or systems
Company Overview