Software Engineer / Researcher (Program Analysis) (Arlington, VA)

Apply for this Position

Application Form     (* indicates required field)

Please attach the following files

Please upload either a word or PDF version of your cover letter for this position.
Please upload either a word or PDF version of your current resume.
Such as letters of recommendation, work examples, etc.

Please answer the following questions to help us better evaluate your application.

To finalize your application, please confirm you are not a bot

We are currently seeking software engineers/researchers to play a pivotal role in fulfilling our mission to make critical systems trustworthy. Galois’ expertise spans many domains including software modeling and formal verification, cyber-physical systems, computer security, and scientific computing. We are seeking software engineers and researchers that can design and develop program analysis tools to validate that critical software is correct and secure.

Galois engineers participate in one or more projects concurrently, and specific roles vary greatly according to skills, interests, and company needs. Your role may include technology research and development, requirements gathering, implementation, testing, formal verification, infrastructure development, project leadership, and/or supporting new business development.

Skills & Requirements

  • Education– Minimum of a Bachelor’s degree in computer science or equivalent. MS or PhD in CS or a related field desirable but optional, depending on specific role.
  • Required Technical Expertise– Must have hands-on experience developing software and/or performing computer science research. Demonstrated expertise in aspects of software development mentioned above.
  • Desired Technical Expertise– Experience developing static analysis tools and techniques for C/C++, Java, or functional programming languages. Experience with one or more analysis techniques including: pointer analysis, shape analysis, abstract interpretation, compositional static analysis, symbolic/concolic execution, or information-flow analysis.
  • Required General Skills– Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills. Must be highly motivated and able to self-manage to deadlines and quality goals.

Our engineers design and develop advanced technologies for safety- and security-critical systems, networks, and applications.  Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment.

We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. If you are interested, please submit your cover letter and resume to us.

More About Galois

At Galois, we maintain a unique organizational structure tailored to the needs of the innovative projects we deliver. Our organizational structure is collaborative, one-level flat, and based on principles of well-defined accountabilities and authorities, transparency, and stewardship. We aspire to provide employees with something that matters to them beyond just a paycheck — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings them value as a person.

We believe in individual freedom in the roles we choose, and in the projects we pursue — our research focus areas are the intersection of staff interests and corporate strategy. We choose practices that best suit the project, team, and leaders, with company-wide standards kept to a minimum to ensure we are making the right choices for the situation rather than just business-as-usual choices.

For more on our organizational structure, check out this paper we published.

 

Location: Arlington, VA
Apply for this Position
Apply at: https://galois-inc.hiringthing.com/job/77083/software-engineer-researcher-program-analysis-arlington-va