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@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. Candidates must be able to obtain a DoD Security Clearance. Candidates should have training/experience in modeling using formal specification languages and the use of automated theorem provers (ACL2, PVS, HOL, etc) and/or model checkers (SPIN, SMV, etc). Experience in specifying, architecting, implementing, verifying, or certifying embedded systems, especially critical avionics or secure systems, is beneficial. This job level requires a Bachelor's Degree in applicable engineering or science field or equivalent and a minimum of 6 years of related experience. Outstanding candidates with less or more education/experience are encouraged to apply so as to be considered for other positions in the same group. Applicant must be capable of obtaining a US Department of Defense (DoD) security clearance. US Citizenship is required.