Share Email Opening

Programming Languages/ Formal Methods Researcher - Cyber Division (VA) 

Category Engineering  

STR performs advanced research and development using program analysis, optimization, artificial intelligence, and formal methods for the cybersecurity and resiliency of cyber-physical systems. Addressing the most urgent national defense challenges, STR is developing fundamentally new capabilities in safe languages for multi-level security, vulnerability analysis, and defensive software and systems design.

We seek researchers and software developers who are interested in high-assurance technology and security solutions. We are growing rapidly and hiring at all levels and across disciplines for new and exciting projects. STR is committed to creating a collaborative learning environment that supports deep technical understanding and recognizes the contributions and achievements of all team members. We strive for excellence in technical work that addresses the most important problems in 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. The skills listed below are intended to give you a sense for the position. If you see an overlap with your skills, go ahead and apply! All applicants must be US citizens who are willing and able to obtain a security clearance.

The Role:

  • Apply your knowledge of programming language design, analysis, and semantics to the creation of principled, comprehensive cyber-security technology solutions
  • Apply your knowledge of formal software verification techniques to develop high-assurance cyber-security technology solutions
  • Work in small research teams to develop innovative software prototypes
  • Develop research concepts from proposal through to implementation and transition
  • Document, demonstrate, and present your research
Position Requirements

Who You Are:

  • A recent graduate with a BS in Computer Science or closely related field, with a focus on programming language design or formal methods, perhaps with a few years of experience, or

  • A mid- to senior-level researcher, perhaps with a Masters or PhD in Computer Science or closely related field, with significant experience in programming language design and/or formal methods

  • Proficiency in one or more functional programming languages, such as Rust, Scala, ML, Racket, Common Lisp, Haskell

  • Motivated collaborator and effective communicator to both technical and non-technical audiences

Some Other Relevant Skills You May Have:

  • Experience designing type systems and building type checkers

  • Experience building language runtimes or similar software, such as garbage collectors

  • Development of domain specific languages

  • Intermediate compiler representations (e.g., LLVM) and virtualization

  • Application of formal methods to security to build high-assurance solutions

  • Operating system internals including memory/process/thread management

  • Experience performing static/dynamic/symbolic program analysis

STR seeks to provide an outstanding work environment for its employees with excellent benefits and competitive compensation.Full-time employees enjoy 401(k), profit sharing, health and welfare benefits, subsidies for training and conference attendance to foster continued learning and development, and a casual yet technically challenging work environment.

At STR, we are dedicated to fostering a diverse and inclusive community to create an environment that is innovative, collaborative and empowering. STR is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race/ethnicity, religion, gender, sexual orientation, disability status, military veteran status, or any other characteristic protected by law.

Applicants must be US Citizens

About the Organization Systems & Technology Research (STR) is a rapidly growing technology company with locations north of Boston, MA, Arlington, VA and near Dayton, OH. We specialize in advanced research and development for defense, intelligence, and national security, trying to understand how to protect our society: from stopping malicious botnet attacks, to understanding cyber vulnerabilities, providing next generation sensors, radar, sonar, communications, and electronic warfare to developing 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, but you go home at night knowing that you pushed the forefront of technology and made the world a little safer. We recognize that the world is changing, that it is becoming more connected than ever before, making things change faster than before, and reshaping society in the process. We all want to understand this changing world and leave it better for our work.

We're 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!

EOE Statement STR is 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 and provide your name, phone number and email address.

US Citizenship is required for all positions.

This position is currently not accepting applications.

To search for an open position, please go to


AppOne.comTM 1999-2019 HR Services, Inc.
Click here for technical assistance.