F# Job in Bay Area - Formal Methods - Space Systems Loral

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  <www.ssloral.com/html/careers/careers2.html> and search for "functional programming".   

Cheers!

don

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

Position Requirements

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.

Position Description

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

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

 

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.