Formal reputed company Research Intern

reputed company is seeking a motivated intern to support their work in formal reputed company research. The intern will work with researchers and engineers on reputed company reputed company 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 reputed company and artifacts as part of developing test cases that entail the application of formal reputed company analysis techniques and tools
• reputed company and adapt formal reputed company tools such as theorem provers, solvers, model checkers
• reputed company test case artifacts such as test scripts, scoring reputed company 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++, reputed company, Rust, or Python
• Coursework in formal reputed company
• Ability to obtain and maintain a DoD reputed company clearance
• US citizenship required
• Hands-on experience working with a formal reputed company tool
• Demonstrable experience applying formal reputed company tools and techniques to software reputed company and/or systems

reputed company