Fun Facts

Fun Facts About Portland

• Ranked #1 "Greenest City in the U.S." by Popular Science magazine.

• Ranked #2 "America's Best Bike Cities" by Bicycling magazine.

• Ranked #1 "America's Best Cities for Foodies" by Sperling's Best Places.

• Ranked #1 in U.S. for public transportation by US News and World Report.

• "Microbrew Capital of the World" containing more micro breweries inside city limits than any other city in the world.

• Home of Powell's City of Books, one of the world's largest independently owned bookstores; covering an entire city block, it contains more than 1.5 million books in 3,500 different sections.

• Home to Forest Park; at over 5,000 acres, it's the largest urban wilderness in the U.S.

Awards

Awards 

• Galois Chief Scientist John Launchbury named ACM Fellow; Association for Computing Machinery, 2010.

• Ranked #1 in Oregon's Next Generation Companies; Gen Cubed, 2010.

• Ranked #1962 in 5000 Fastest Growing Companies in AmericaInc. Magazine, 2007.

Current Opening:

Senior Software Engineer/Project Lead

We are currently seeking senior software engineers/project leads who will be responsible for all aspects of successful project execution, including delivering client value, meeting the highest quality standards, and providing effective and engaging project team leadership.  We believe that those who lead projects are most effective when they participate technically, so our project leads typically serve as project contributors as well.

Galois engineers' 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, 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. Must have at least 2 years project management experience, resulting in successful delivery of results. Able to lead beta-level product development and/or high-risk research efforts with divergent objectives, diversity and risk in technology choices, and high levels of innovation/invention. 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.
  • 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 work with functional languages, designing and developing advanced technologies for safety and security-critical systems, networks, and applications. Galois' technical staff members play a pivotal role in developing advanced software technology. 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 to us at careers@galois.com.