(Here are two job postings from SFsharp member Chris Brinkley.  His contact information is in the first paragraph.  The 2nd job might not specifically deal with F#, but feel free to get in touch with Chris directly if you have questions.  --Matt H.)

Space Systems Loral of Palo Alto is looking for a senior F# programmer with strong functional programming background.  There is also a related opening for a formal methods specialist.  Interested persons please contact Chris Brinkley (brinkley dot chris at ssd dot loral.com phone [masked]).

Job #1 description:  Functional programming specialist.  Develop F# core computational components of a multi-paradigm engineering computing framework oriented toward symbolic computing and automated reasoning.  Provide expert guidance on functional programming best practices and design tradeoffs.  Help develop domain-specific type systems.  Advise on interaction of functional and nonfunctional, pure and impure components.  Work independently and in an interdisciplinary team.

Qualifications:  F# programmer with strong background in functional programming languages, an interest in type theory, and a passion for real-world functional programming.  Ability to identify and transfer applicable concepts and best practices from related languages such as Ocaml, ML, Haskell, Lisp or Scheme.  Familiarity with language oriented programming.  Mentoring orientation.  Good communication skills.  5 years experience with functional programming languages.  B.S. in computer science or equivalent.

Job #2 description:  Formal methods specialist.  Analyze systems engineering and software engineering processes and problems from a formal methods perspective. Help strengthen formal methods capabilities of an engineering computing framework already emphasizing declarative programming.  Help develop domain-specific type systems.  Work independently and in an interdisciplinary team.

Qualifications:  Substantial experience applying mathematical and logical principles to practical requirements analysis, requirements flowdowns, and actual development.  Move easily from concrete to abstract and back again.  Solid mastery of basic discrete mathematics, especially functions and relations.  Familiarity with formal specification languages, interactive theorem proving, and model checking.  Interest in combining formal methods with rapid, iterative development.  Ability to quickly learn technical language of specialized engineering disciplines.  Think outside the box.  10 years experience in requirements analysis for complex systems.  B.S. in computer science or equivalent.

The official listings for these positions can be seen on Space Systems Loral's public website.  Go to http://www.sslora... and search for "functional programming" or "formal methods".