[dorkbotpdx-blabber] Fwd: ANNOUNCE: Galois is hiring functional programmers

[David Frech]

I'm passing this along in case anyone on this list is interested.

Surprisingly, Portland is home to probably the largest community of
functional programmers in the US. Many (most? all?) of them are at PSU
or Galois. (There is a lively interchange - of people and ideas -
between the two.)

The Galois people that I've met (several were previously grad students
at PSU) are super smart and nice, and they have a great office
downtown. It would be a really cool place to work.

- David

---------- Forwarded message ----------
From: Don Stewart <dons at galois.com>
Date: Thu, Jun 11, 2009 at 9:55 PM
Subject: ANNOUNCE: Galois is hiring functional programmers



Galois is hiring.

Bringing together mathematicians, researchers and technologists, Galois,
based in Portland, Oregon, was founded in 1999 with the mission to apply
functional languages and formal methods to solve real world problems.
Today, over 30 members strong, we’re living the vision, 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. Members work on one or more projects, and
are expected to perform in a variety of roles based upon their talents
and organizational needs.  Technical staff may be called upon to write
proposals, gather requirements, and work in all stages of the software
development process, from requirements gathering to testing and
validation. Additional duties may include project management, technology
research and development, and technical infrastructure development.

We’re looking for people who can invent, learn, think, and inspire. We
reward creativity and thrive on collaboration. We offer great benefits
and perks, including a 401K plan, stock options, paid vacation, family
health plan, flexible work schedule, a casual work environment, snacks,
espresso and foosball.

Galois technical staff members usually work in a small team setting (2-5
members), and must successfully interact with clients, partners, and
other employees in a highly cooperative, collaborative, and
intellectually challenging environment.

A Masters or Ph.D. degree in Computer Science is desirable but not
required.  Additionally, a strong programming background and experience
with Haskell or other functional programming languages is preferred but
not required.  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.

To learn more about us, visit

   http://www.galois.com
and
   http://www.galois.com/company/careers

The types of technology we use are covered in our blog:

   http://www.galois.com/blog/

We’d like to hear from you!

Send your cover letter and resume to us at jobs2009 at galois.com.



-- 
If I have not seen farther, it is because I have stood in the
footsteps of giants.