[isabelle] Functional programming jobs at Galois



Galois, Inc. specializes in building security-critical high assurance software and tools. Much of our software is developed using functional programming languages such as Haskell. We also apply formal methods to our most critical software components, and build compilers and formal analysis tools for security-critical programming languages.

We are continuing to grow, and now have multiple openings for experienced functional language software developers, particularly "product-oriented" people who want to write high assurance industrial applications and tools. Experience with formal methods is helpful, but not necessary.

If you are interested, please contact Galois at jobs at galois.com

More detail on our current job openings can be found at http:// www.galois.com/join.php


John Matthews
Senior Member of Technical Staff
Galois, Inc.
www.galois.com





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.