Regular readers of my blog will know that from time to time I pass on links to job listings for F# programmers, as a courtesy to the F# community.If you have a job listing you'd like posted, please let me know!
Space Systems Loral in the Bay Area are looking for an F# programmer with a focus on symbolic programming techniques like those used in automated reasoning and verification tools. There is a matching job for an expert in formal methods.
To see the listing, go to http://www.ssloral.com/html/careers/careers2.html and search for "functional programming".
D10109 FUNCTIONAL PROGRAMMING SPECIALIST
Job ID #: 1119
Location: 046-Palo Alto, CA
Functional Area: Temporary Agency Employee
Department: SH1100-INFO SYSTEMS APPLICTNS
Position Type: Temporary
Education Required: 6-Bachelor's Degree
Experience Required: 7 - 10 Years
Relocation Provided: No
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.
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.
D10109 FORMAL METHODS SPECIALIST
Job ID #: 1120
Position RequirementsSubstantial 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.
Position DescriptionAnalyze 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.