Share Email Opening Title Formal Methods Researcher  Category Engineering   Description 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! The Role: Apply your knowledge of formal methods to develop high-assurance cyber-security technology solutions Work in small research teams to develop innovative software prototypes Collaborate effectively with a wide range of technical experts to meet customer objectives Develop research concepts from proposal through to implementation and transition Document, demonstrate, and present your research   Position Requirements Who You Are: A US Citizen with the ability to obtain a Security Clearance A mid- to senior-level researcher or a recent graduate with a PhD in Computer Science Proficiency with SAT/SMT solvers or model checking techniques Expertise in static program analysis Motivated collaborator and effective communicator to both technical and non-technical audiences Other Relevant Skills You May Have: Experience performing dynamic/symbolic/concolic program analysis Application of formal methods to security to build high-assurance solutions Intermediate compiler representations (e.g., LLVM) and virtualization Operating system internals including memory/process/thread management   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.