From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 3BA80BB83 for ; Wed, 13 Sep 2006 20:11:59 +0200 (CEST) Received: from twofish.galois.com (galois.com [69.30.123.195]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8DIBtir016468 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 13 Sep 2006 20:11:58 +0200 Received: from chani.galois.com (chani.galois.com [192.168.50.167]) (authenticated bits=0) by twofish.galois.com (8.13.1/8.13.1) with ESMTP id k8DIBlBM013490 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Wed, 13 Sep 2006 11:11:47 -0700 Subject: Seeking functional programmer for commercial position - Galois Connections From: isaac jones To: caml-list@yquem.inria.fr Content-Type: text/plain Date: Wed, 13 Sep 2006 11:11:33 -0700 Message-Id: <1158171093.5790.228.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.6.2 Content-Transfer-Encoding: 7bit X-Virus-Scanned: ClamAV 0.88.4/1877/Wed Sep 13 10:30:14 2006 on twofish.galois.com X-Virus-Status: Clean X-Miltered: at discorde with ID 450849EB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 haskell:01 unix:01 haskell:01 internals:01 unix:01 deploying:01 modifying:02 functional:02 functional:02 python:02 programming:03 programming:03 languages:03 languages:03 I hope this posting is appropriate for the email list. I got some advice on the #ocaml IRC channel that it would be fine :) Galois is seeking a full-time candidate for software development and systems integration in the field of high assurance computing. A successful candidate should have a good understanding of the inner workings of databases, good development skills in a number of languages, including at least one functional language (preferably Haskell), and web development. The candidate should have excellent Linux and Unix skills. If the candidate does not know Haskell, they should be good at learning new programming languages, and can reasonably expect to be fluent in Haskell within a few months. Tasks: * Database analysis * Python and PHP web development * Learning and adapting Linux-related technologies including Xen, SELinux, and Knoppix * Creating or modifying Debian packages * Haskell development Knowledge: * Databases implementation internals * Web development, Services-Oriented Architectures * Fluent in Haskell or other functional languages * Grounding in computer security * XML * Linux and Unix Nice-to-have: * Extreme Programming (XP) development experience * Experience deploying software products * Open source software development experience * Ability to get US security clearance Education: * Masters degree or equivilent experience Please respond with a resume and a cover letter explaining your fit to jobs@galois.com. Feel free to forward to interested parties.