Member of the Technical Staff - Senior Software Engineering Researcher
CERT/CC, Networked Systems Survivability Program

SUMMARY:

The CERT Program is part of the Software Engineering Institute (SEI),
a federally funded research and development center at Carnegie Mellon
University in Pittsburgh, Pennsylvania. CERT engages in cutting-edge
research and development, and provides robust training and education
programs focused on ensuring that software developers, Internet
security experts, network and system administrators, and others are
able to resist, recognize, and recover from attacks on networked
systems.

The SEI Networked Systems Survivability (NSS) Program offers a variety
of opportunities for senior professionals experienced in research and
development. As a member of the NSS staff, the candidate selected for
this position will work with the Survivable Systems Engineering team
that focuses on research and development for both software and system
security assurance. In particular, the selected candidate will work
with team members to conduct original research and develop advanced
technology methods and automated tools that will support a
computational approach to next-generation software and security
engineering. For example, this work includes research and development
in technologies for computation and analysis of software and system
behavior, automated correctness verification, and generalized
all-scale composition of components and systems, as well as technology
to help ensure that software and systems are free of security defects
and vulnerabilities. The candidate will be expected to assume
responsibility and provide leadership for defining theoretical
foundations and designing and developing advanced technology software
to provide engineering automation based on those foundations. The
individual will also publish research results and participate in
teaching graduate-level courses and seminars. The candidate must have
a deep understanding and substantial experience in foundations of
software and systems engineering, and their application to
specification, design, and verification. In this high-visibility
position, the individual will be expected to collaborate with
researchers in other organizations, interact with customers and
sponsors, and assume a leadership role in articulating the
next-generation software engineering program.

Education/Training: BS in computer science or software engineering
with ten (10) years experience; MS in computer science or software
engineering with eight (8) years experience; PhD in computer science
or software engineering with five (5) years experience.

Experience: Extensive research experience; experience in conducting
original research in function-theoretic software and systems
engineering technologies; experience in specifying, architecting,
designing, verifying, implementing, and testing software systems in
languages and environments such as:

    * C, C++, and Java
    * XML, Python, and Perl
    * Windows and Java environments

Skills/Abilities: Ability to conduct original research and work with
researchers in other organizations; leadership capabilities for
directing research and development teams; strong background in
function-theoretic mathematical foundations; ability to apply sound
software engineering practices to system design and development (e.g.,
systematic approach to system specification, architecture, design,
implementation, verification, and testing); excellent written and
verbal communication skills; excellent reasoning and problem-solving
skills; strong planning and organizing skills; ability to define a
program of research and work effectively with minimal supervision;
ability to work effectively in teams; knowledge of system and software
security and survivability issues and threat environments, strong
interest in security and software engineering research and
development.

Mobility: Sedentary in an office setting with some mobility, i.e.,
able to travel to various locations within the SEI and CMU community
as well as travel to customer sites and conferences.

Environmental Conditions: Close contact with CRT for extended periods
of time.

Mental: Capability for creative thinking and application of
mathematical concepts to engineering problems; ability to work
meticulously with careful attention to detail; ability to meet
deadlines while working on multiple tasks sometimes under pressure and
with shifting priorities; ability to deal collaboratively,
diplomatically, and successfully co-workers and other professional
colleagues, managers, and staff; ability to grasp the big picture,
direction, and goals of an effort, ability to develop and communicate
innovative ideas; ability to quickly learn new procedures, techniques,
and approaches.

Other: Candidate must have the ability to pass a background check
investigation, obtain a security clearance, and be a U.S. citizen.

ESSENTIAL FUNCTIONS:

   1. Conduct original research to develop mathematical foundations
      for next-generation software and systems engineering practices
      and automation support.

   2. Participate as a member of a team in developing software systems
      that provide automation support to software and engineering
      activities, including specification, architecting, design,
      implementation, correctness verification, and testing.

   3. Develop technical papers and articles; participate in
      conferences and meetings; participate in strategy discussions;
      contribute to customer presentations and technology transfer
      activities, participate in professional society activities.