Senior Programming Languages Researcher

STR is seeking a Senior Programming Languages Researcher to be part of a multidisciplinary team of researchers and engineers dedicated to developing cutting-edge technologies with significant and immediate impact on our national security. We believe that each employee has a unique set of skills, experiences, and perspectives that are essential to providing our customers with innovative solutions. We are looking for a Senior Researcher with versatile skills in programming languages, software analysis, or formal methods to help us advance the state of the art.
The ideal Senior Programming Languages Researcher will be curious and motivated to work within a team structure to develop technical solutions in a rapid prototyping and results-driven environment. Our culture enables us to develop impactful technologies through collaborative teamwork, while maintaining high standards of craftsmanship and quality. We expect the tools and techniques we develop and deliver to meet high standards of quality, maintainability, and reuse. Therefore, experience with sound software engineering principles and software unit test methodologies is valuable.
We encourage candidates who are comfortable identifying and applying advanced computer science concepts to software security applications; some examples including: designing and implementing novel static analyses to verify complex properties of software systems, designing and implementing formal methods tools for software engineers with little formal methods experience, and designing domain specific languages for secure software construction. The strongest candidates will have prior Principal Investigator experience developing novel research approaches from conception to writing and winning competitive research proposals to leading execution by small research teams.
Duties will include:

• Apply your knowledge of programming languages, program analysis, or formal methods to develop high-assurance cyber-security technology solutions
• Lead small research teams to design domain specific languages or custom static analyses for secure software/system construction
• Collaborate effectively with a wide range of technical experts to meet customer objectives
• Develop research concepts from proposal through to implementation and transition Delivering high-quality software in a team environment
• Communicate technical ideas and implementations through reports and presentations

Required Skills and Experience:

• US Citizen with the ability to obtain a Top Secret (TS) Security Clearance
• MS or PhD in Computer Science or a related field
• Proficiency in one or more functional programming languages, such as Haskell, Scala, Rust, ML, Racket, and Common Lisp
• Motivated collaborator and effective communicator to both technical and non- technical audiences
• Expertise in static program analysis
• Experience with formal methods techniques

Desired Skills and Experience:

• Active Security Clearance
• Experience designing type systems and building type checkers
• Experience building language runtimes and related software, such as garbage collectors
• Development of domain specific languages
• Understanding of and experience with modern compilers, such as LLVM, GCC, and/or MSVC, including knowledge of intermediate compiler representations (e.g., LLVM) and virtualization
• Knowledge of operating system internals including memory/process/thread management
• Experience performing static/dynamic/symbolic program analysis
• Application of formal methods to security to build high-assurance solutions
• Experience developing research concepts from proposal through implementation and transition
• Proficiency building and deploying software
• Experience using collaborative source code management tools (Git, Subversion)

STR is a growing technology company with locations near Boston, MA, Arlington, VA, near Dayton, OH, Melbourne, FL, and Carlsbad, CA. We specialize in advanced research and development for defense, intelligence, and national security in: cyber; next generation sensors, radar, sonar, communications, and electronic warfare; and artificial intelligence algorithms and analytics to make sense of the complexity that is exploding around us.
STR is committed to creating a collaborative learning environment that supports deep technical understanding and recognizes the contributions and achievements of all team members. Our work is challenging, and we go home at night knowing that we pushed the envelope of technology and made the world safer.
STR is not just any company. Our people, culture, and attitude along with their unique set of skills, experiences, and perspectives put us on a trajectory to change the world. We can't do it alone, though - we need fellow trailblazers. If you are one, join our team and help to keep our society safe! Visit us at www.str.us for more info.
STR is an equal opportunity employer. We are fully dedicated to hiring the most qualified candidate regardless of race, color, religion, sex (including gender identity, sexual orientation and pregnancy), marital status, national origin, age, veteran status, disability, genetic information or any other characteristic protected by federal, state or local laws.
If you need a reasonable accommodation for any portion of the employment process, email us at [email protected] and provide your contact info.
Pursuant to applicable federal law and regulations, positions at STR require employees to obtain national security clearances and satisfy the requirements for compliance with export control and other applicable laws.