We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to apply for this job!

Login or register to start contributing with an article!

Login or register
to see the full job description!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Engineers who find a new job through Functional Works average a 15% increase in salary 🚀

Software Engineer / Researcher

Arlington, VA, US

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • formal methods
  • functional programming

Benefits & perks

  • Health care
  • Transportation Reimbursement
  • PTO
  • Parental Leave
  • Innovation Week
  • 401K
  • ESOP

To sum it up...

To play a pivotal role in fulfilling our mission to make critical systems.

Role overview

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.

Desired Technical Expertise – Fluency in the use of formal or semi-formal methods such as Haskell or other functional programming languages. Direct experience in developing high assurance systems and/or security products. Experience with identity management, security risk analysis, systems software, or networking.

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 develop in programming languages including functional languages, designing and developing 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.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • formal methods
  • functional programming

Benefits & perks

  • Health care
  • Transportation Reimbursement
  • PTO
  • Parental Leave
  • Innovation Week
  • 401K
  • ESOP

Other roles that might interest you

Software Engineer / Researcher
Competitive
To play a pivotal role in fulfilling our mission to make critical systems.
More Info
Software Engineer
Competitive
Build wallets, engineer API's and advance Gemini on it's journey!
More Info
Software Integration Engineer
Competitive
Galois seeks an experienced software engineer to support the integration and release of software deliverables.
More Info
Software Engineer / Researcher