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 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!

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

Galois

Proof Engineer (Portland, OR)

Portland, OR, US

07 November, 2019

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • formal methods

Benefits & perks

  • Health insurance
  • Parental leave
  • 401k
  • Snacks
  • Health care
  • Paid time off
  • Pto
  • Dental
  • Commute reimbursement
  • Life insurance
  • Vision
  • Esop
  • Transportation reimbursement
  • Innovation week

To sum it up...

We currently seek a proof engineer to join our world-class experts responsible for verifying industrial-scale

Role overview

Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the integrity of information in the real world. We currently seek a proof engineer to join our world-class experts responsible for verifying industrial-scale systems and software that power the internet and the world.  

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 industry experience.
  • Required Technical Expertise – Must have demonstrated expertise in developing software in an environment with an established product/software development lifecycle.
  • Desired Technical Expertise – Familiarity with developing, maintaining and improving formal models and proofs using model checking or theorem proving technologies. Experience with the functional programming paradigm.
  • 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.

If you have the right skills and background, we can provide training on the job.

  • 50-249
  • Portland, OR, US

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.

  • Technology
  • Private
  • Cyber Security
  • haskell
  • Continuous Delivery
  • Continuous Integration
  • Functional Programming
  • Git
  • Parental Leave
  • 401K
View 8 jobs
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

Benefits & perks

  • Health insurance
  • Parental leave
  • 401k
  • Snacks
  • Health care
  • Paid time off
  • Pto
  • Dental
  • Commute reimbursement
  • Life insurance
  • Vision
  • Esop
  • Transportation reimbursement
  • Innovation week

Other roles that might interest you

Software Engineer / Researcher
Galois
Competitive
To play a pivotal role in fulfilling our mission to make critical systems.
Proof Engineer (Arlington, VA)
Galois
Competitive
We currently seek a proof engineer to join our world-class experts responsible for verifying industrial-scale
Proof Engineer (Dayton, OH)
Galois
Competitive
We currently seek a proof engineer to join our world-class experts responsible for verifying industrial-scale
Proof Engineer (Portland, OR)