[Caml-list] Seeking functional programmer for commercial position - Galois Connections

Skip to first unread message

isaac jones

Sep 13, 2006, 2:14:39 PM9/13/06
to caml...@yquem.inria.fr
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.

* 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

* Databases implementation internals
* Web development, Services-Oriented Architectures
* Fluent in Haskell or other functional languages
* Grounding in computer security
* Linux and Unix

* Extreme Programming (XP) development experience
* Experience deploying software products
* Open source software development experience
* Ability to get US security clearance

* Masters degree or equivilent experience

Please respond with a resume and a cover letter explaining your fit to
jo...@galois.com. Feel free to forward to interested parties.

Caml-list mailing list. Subscription management:
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply all
Reply to author
0 new messages