Hi all, Galois has a position open for someone who has good FP skills, is experienced with compilers of all kinds, and wants to live in wonderful Portland, otherwise known as the Greatest Place On Earth To Live. Galois is a small company, started in late 1999 by John Launchbury, Andy Gill, Jeff Lewis, and me. We use functional languages (mainly Haskell) and programming language design techniques (abstract modelling, abstract interpretation, program analysis, etc.) to develop high assurance software for a variety of U.S. government and industrial clients. Basically, we got sick of complaining about industry not using all our (*) great ideas, and decided to start using them ourselves. If you're interested, please send your resume to jobs@galois.com. Cheers, Andy (*) The Haskell community, and the wider programming language design and semantics community. -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http://www.galois.com Beaverton, OR 97005 moran@galois.com