Begin forwarded message:
From: Rita Gatto <rmga...@rockwellcollins.com>
Date: April 23, 2010 6:33:07 PM CDT
To: sl...@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
rmga...@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
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info