[isabelle] Fwd: Rockwell Collins Automated Analysis





Begin forwarded message:

From: Rita Gatto <rmgatto at rockwellcollins.com>
Date: April 23, 2010 6:33:07 PM CDT
To: slind at cs.utah.edu
Subject: Rockwell Collins Automated Analysis

Hello Konrad

Once again, RC is expanding and has an opening under Matt Wilding in the Automated Analysis group. Rockwell Collins is pursuing a long-term research and development program for formal methods and automated reasoning. Much of this work is done in the automated analysis group in Rockwell Collins� R&D center, the Advanced Technology Center. The center�s mix of research and application projects encourages creative solutions of real-world problems. The work of the automated analysis group supports Rockwell Collins� wide range of high-assurance safety and security critical product developments.

I have included the description below, and am starting to network and get the word out about the opening. If you know of an individual that would be interested and qualified, or be interested yourself, please apply online at www.rockwellcollins.com. I hope all is well and look forward to hearing from you.

All the best,

Rita Gatto

Sourcing Specialist

Rockwell Collins

rmgatto at rockwellcollins.com

714-929-3980

VPN 829-3980

Sr Systems Engineer- AUT0000000Y

The Rockwell Collins Advanced Technology Center (ATC) seeks a self motivated Senior Systems Engineer with experience in advanced research and development in the area of high assurance computing. This position is in the Automated Analysis group, which develops and applies techniques that improve the safety, security, reliability, correctness, ease of development, verification, and certification of computer-based systems. Recent investigations include applying automated theorem provers to critical computer- based systems, developing a domain specific language for cross domain guard systems, applying model checking to debug flight- critical software, modeling computer-based avionics system architectures, using automated analysis to improve aircraft network design, and developing software architectures for next-generation avionics.

The successful candidate will have significant experience with formal specification languages or automated reasoning tools and will have used mathematics-based analysis to develop or verify computer-based systems. Developing or extending model checkers/ automated theorem provers (e.g. NuSMV, SAL, Prover, PVS, ACL2, HOL, Coq) or experience applying these tools to meet demanding development, verification, or certification requirements is highly desirable. The successful candidate will have strong fundamental software or hardware development skills, and system engineering and full product cycle development experience is highly desirable. The ideal candidate has experience in relevant certification standards such as DO-178B or the Common Criteria. The ideal candidate has experience in one or more of Rockwell Collins' diverse product domains, such as aircraft avionics, cryptographic systems, multiple security domain communication systems, information assurance products, and computer networking.

This position offers career growth potential for individuals who are innovative and can conceive, develop and execute research projects. Demonstrated ability to formulate, market, and lead a successful research program is highly desirable. A graduate degree is desirable, especially if it involved the development and execution of a research project.

Bachelor's Degree in applicable engineering or science field, and six years of related experience, or, in the absence of a bachelor's degree, twelve years of related experience.

Applicant must be capable of obtaining a US Department of Defense (DoD) security clearance. US Citizenship is required.

Rockwell Collins is an equal opportunity employer committed to building a diverse global culture that values teamwork, integrity, innovation, leadership, and an unwavering commitment to our customers.






Rita Gatto
620 Newport Center Dr. #1100-MB
Newport Beach, CA





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.