[Haskell] Passing on a job opening
voigt at tcs.inf.tu-dresden.de
Thu Jun 26 02:59:50 EDT 2008
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.
Quick RC facts: 2007 sales were $4.42 billion and we have 20,000
employees in 60 locations in 27 different countries.
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
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
Applicant must be capable of obtaining a US Department of Defense (DoD)
security clearance. US Citizenship is required.
More information about the Haskell