To see the listing, go to  http://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

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

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
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.

Position Description
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.