Software Engineer/Researcher (Washington DC Area)

We are currently seeking software engineers/researchers to play a pivotal role in fulfilling our mission to make critical systems trustworthy.
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.
+ 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 use tools such as functional programming languages (including Haskell) and formal verification techniques to design and develop advanced technologies for safety- and security-critical systems, networks, and applications. Our research areas include computer security, cyber physical systems, identity management, security risk analysis, machine learning, systems software, and networking. 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 send your cover letter and resume. 442ea43e6f3340948d7529119a2752d3

Don't Be Fooled

The fraudster will send a check to the victim who has accepted a job. The check can be for multiple reasons such as signing bonus, supplies, etc. The victim will be instructed to deposit the check and use the money for any of these reasons and then instructed to send the remaining funds to the fraudster. The check will bounce and the victim is left responsible.

More Jobs

Field Operations Engineer Field Services Was...
McLean, VA Level 3 Communications, Inc.
Field Technician I Field Services Washington...
McLean, VA Level 3 Communications
Software Engineer - University (DC Metro Area)
Mc Lean, VA Alarm.com
Senior Software Engineer-US-NAL Research
Manassas, VA Drew-Marine
Principal Research Software Engineer
Arlington, VA BAE Systems