[Haskell-cafe] Galois is hiring!

[Jason Dagit]

Galois is hiring!  We're looking for functional programmers, formal methods 
practitioners, and project leads, with a variety of positions open at all 
professional experience levels.  For more information on the job openings and 
Galois in general, see: http://corp.galois.com/careers

I've written before about what makes Galois a great organization to be a part 
of: http://blog.codersbase.com/2012/03/life-at-galois.html

Thanks,
Jason___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Galois is hiring!

[Jason Dagit]

We're looking for functional programmers, formal methods practitioners, 
and project leads, interested in either short term or permanent 
employment.  For more information, see: http://corp.galois.com/careers


Why Galois? At Galois, we believe in seeking out and solving important 
problems to make the world a better place.  This philosophy runs through 
everything we do. From internal interactions on an individual level to 
the interesting technical challenges we take on to the way we orient to 
the external world.


We hire the best people, we help them to better understand their own 
passions, and then together we take on important problems.  It just so 
happens that we have skilled software engineers with a passion for 
functional programming who take on challenges in crypto, critical 
systems, secure networking, and so on.


For me, the very compelling reasons to work at Galois are: a strong 
cultural emphasis on freedom to choose your roles within the 
organization including seeking external funding to work on whatever you 
want; strong commitment to open source, and; a cultural emphasis on 
functional programming and formal methods.


What a organization believes has a deep and profound impact on how you 
spend your time at the organization, who the organization attracts, and 
what impact the organization will have in the world. We have no shortage 
of interesting problems to tackle in our quest to make the world a 
better place.


Thanks,
Jason

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Galois is Hiring

[Don Stewart]

Galois is continuing to hire.

We will also be at ICFP and related events, so come and see Lee Pike or me.

We have multiple positions for talented functional programmers (with both
junior and senior positions).

A strong functional programming ability is an advantage (you will be 
programming in
Haskell), and a good computer science background is required. Experience with
compilers, operating systems, networking, security, and formal methods is of
particular interest.

Galois is based in Portland, Oregon. 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. Enginners work in small team settings, and must
successfully interact with clients, partners, and other employees in a highly
cooperative, collaborative, and intellectually challenging environment.

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.

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

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe