[TYPES/announce] Industry job in type theory

[Chris Brinkley]

I am hoping to hire a type theorist.

My employer, Palo Alto-based Space Systems Loral (www.ssloral.com<http://www.ssloral.com>) is the world's leading manufacturer of commercial satellites.  I have recently been allowed to begin putting together a small "Engineering Computing" group, which currently includes a formal methods specialist and a (just hired) senior F# programmer, among others.  I'm sure I don't have to tell you how extraordinary it is to have something like this in an industry setting.  The type theorist req was just approved today, and should be posted on our company web page soon (I'll send a follow-up note when that is done.)  Here is my language for the req:

Position Description:  Apply type theory based tools and concepts in development of knowledge based engineering applications. Collaborate on design of domain-specific type systems to capture engineering pragmatics for automation and validation. Design and develop practical software support for particular families of domain-specific dependent types. Mentor others in type theory and tools. Work independently and in an interdisciplinary team.

Position Requirements:  Good working knowledge of type theory in computer science and its applications in programming languages and theorem proving. Industry or academic experience using type theory based tools such as Coq or Agda. Experience applying type-theoretic concepts in software development. A high level of all-around sophistication in developing and maintaining highly reliable computationally oriented software systems.

Please feel free to share this with anyone who might be or know of a promising candidate.  Also feel free to contact me directly.

                Best regards,
                                Chris Brinkley
                                Engineering Computing
                                Space Systems Loral
                                Palo Alto, CA
                                brinkley.chris at ssd.loral.com
                                650-852-6965


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120315/244db7d7/attachment.html>