The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

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 publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

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!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Golang Works average a 15% increase in salary ๐Ÿš€

You will be redirected back to this page right after signin

Galois

About us

Who are we?

Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. 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, visitย Life at Galois.

Weโ€™re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration.

  • Cyber Security
  • haskell
  • formal methods
  • Technology
  • Private
  • People: 50-249
  • Founded: 1999
  • Portland, OR, US
  • Arlington, VA, US

Technology

Software Stack

(6)
  • Scala
  • Clojure
  • Haskell
  • OCaml
  • Rust
  • Functional Programming

DevOps

(4)
  • Docker
  • Git
  • Continuous Delivery
  • Continuous Integration

Benefits

Culture

(1)
  • Innovation week

Health & Wellness

(5)
  • Health Insurance
  • Life insurance
  • Vision
  • Dental
  • Health care

Financial benefits

(4)
  • Commute reimbursement
  • Esop
  • 401K
  • Transportation reimbursement

Parents

(1)
  • Parental Leave

Vacation

(2)
  • Pto
  • Paid time off

Extras

(1)
  • Snacks

Hire with us!

Create a free profile page for your company.

Use this space to connect with our community. Companies with profiles typically get 20% more applications!

  • Technology
  • Private
  • People: 50-249
  • Founded: 1999
  • Portland, OR, US
  • Arlington, VA, US

Hire with us!

Create a free profile page for your company.

Use this space to connect with our community. Companies with profiles typically get 20% more applications!

How we work

Videos