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.
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
This position is currently not accepting applications.
To search for an open position, please go to http://SystemsTechnologyResearchLLC.appone.com