Share Email Opening
Title

Programming Languages / Formal Methods Researcher (Cyber Physical Systems) - Arlington, VA 

Category Engineering  
Description

STR is a privately-owned, rapidly growing business focused on research and development (R&D) for the defense and intelligence communities. STR has approximately 250 employees at sites in Woburn, MA, Dayton, OH, and Arlington, VA. We are a nationally recognized leader in research areas including data analytics, sensors and signal processing, electronic warfare, cyber, video and image understanding, command and control, and precision navigation. Several programs have transitioned advanced technology to military and intelligence users. While our primary focus is on serving US Government customers, we are pursuing commercial applications as well.

STR performs advanced research and development using program analysis, optimization, artificial intelligence, and formal methods for the cybersecurity and resiliency of cyber-physical systems. Targeting the hardest security challenges facing our national defense, STR is developing cutting-edge capabilities in safe languages for multi-level security, vulnerability analysis, and defensive software and systems design.

We seek researchers and software developers who love a challenge and are passionate about high-assurance technology & security solutions. We are growing rapidly and hiring at all levels and across disciplines for new and exciting projects.

Job Description:

  • 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 the creation of 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
  • Advance your career guided by STR's core values: mastery, autonomy, and purpose

Basic Qualifications:

  • BS, MS, or PhD in Computer Science or a closely-related field
  • Ability to obtain a security clearance (US Citizen)

Desired Qualifications (one or more of these areas):

  • Proficiency in one or more programming languages including: Rust, Scala, ML, Racket, CommonLisp, Haskell or other functional programming languages
  • Experience designing type systems and building type checkers
  • Experience building language runtimes (e.g., including garbage collectors)
  • Development of domain specific languages
  • Intermediate 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.

STR is dedicated to fostering a diverse and inclusive workforce where all employees, regardless of race, ethnicity, gender, neurodiversity, or other personal characteristics, feel valued, included, and empowered to achieve their best. We recognize that each employee's backgrounds, experiences, and perspectives are essential for providing our customers with innovative solutions to challenging national security problems. STR's commitment to attracting, retaining, and engaging talented and diverse professionals is demonstrated by our participation, sponsorship, and support in local and national minority organizations.

 
Position Requirements  
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 appassist@stresearch.com 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 http://SystemsTechnologyResearchLLC.appone.com




 


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