Researcher

• Conduct fundamental research in formal methods applied to self-healing systems
• Create novel research in formal methods to develop computationally viable deterministic mathematical/logical guarantees for real-time generated patches
• Work with CMTD leadership to create high-impact novel research in formal methods and functional demonstrations
• Conduct literature reviews on computationally viable formal methods
• Develop prototypes illustrating novel research
• Create presentations for various audiences
• Take an active part in shifting the cybersecurity landscape in favor of the defender
• Perform other duties and activities as assigned

Researcher jobs in Alabama

Formal Methods Researcher, Graduate Intern