Passing on a job opening

Hi all,

I received below job opening. It might be of interest to some people on
this list (formal methods, theorem provers, ...). The contact is
rmgatto <at> rockwellcollins.com.

Ciao, Janis.

================

www.rockwellcollins.com

Quick RC facts:  2007 sales were $4.42 billion and we have 20,000
employees in 60 locations in 27 different countries.
www.rockwellcollins.com

AUT0000000O- Sr Systems Engineer
This position is for a computer scientist or engineer to develop and
apply automated analysis to computer systems and to pursue research in
formal methods and automated reasoning.  Ongoing investigations apply
automated reasoning tools to validate hardware, firmware, and software
of systems with critical security and/or safety functionality.  The
position is within a research group that is improving both the state of
the art and the state of the practice for the development of high
assurance systems.

Candidates must have excellent communication skills and the ability to
work in a team environment. Candidates for employment in Rockwell
Collins’ Advanced Technology Center must have excellent problem-solving
skills, be self-motivated, and be willing to learn new technologies.