<http://schema.org/description>
"...Summary: Seeking a highly motivated individual with experience in software assurance, static analysis, and/or formal methods to perform research and development improving the state-of-the-art in software assurance theory and practice. The Job: Participate in research projects that create and apply static analysis and formal methods tools and techniques to real-world problems.\u00A0 Goals include formal verification of algorithms; improvement of the quality of code being analyzed; elimination of soft..."^^<http://www.w3.org/2001/XMLSchema#string>
<https://tapwage.com/company/johns-hopkins-university-applied-physics-laboratory/java/jobs>