KDnuggets Home » Jobs » Boeing: Advanced Technologist – Modeling ( 14:n32 )

Boeing: Advanced Technologist – Modeling


Modeling, using formal languages for system specification, requirements formalization, application of formal methods to safety analysis, vehicle health management, and test-case generation.



Boeing Company: Boeing
Location: Huntsville, AL
Web: www.boeing.com/careers


Requisition Number: 1400007386

Job Description

Boeing Research and Technology, the central R&D organization of The Boeing Company, invites applications for a research position as Advanced Information Technologist. This position requires working with Formal Methods (model checking, abstract interpretation, theorem proving) as applied to software and systems design, verification, and safety analysis. Candidate should have as a minimum work experience applying these technologies in an industrial setting, either through internship or job experience.

Specific areas of need are in modeling, using formal languages for system specification, requirements formalization into temporal logic or related formalism, application of formal methods to safety analysis, vehicle health management, and test-case generation. The applicant is expected to adapt to a growing and dynamic set of projects supporting customer objectives for innovative advanced technology solutions.

The successful applicant will be expected to stay current on emerging technology trends and research in the field of Formal Methods, Analytics and Simulation. The candidate should be able to effectively communicate and collaborate with colleagues of diverse technical backgrounds, support development of new proposals for new business, interface with internal and external customers, keep abreast of new technical advances, and build and maintain a network of contacts and collaborators both inside and outside the company.

Representative Major Tasks:
  • Performs modeling and formalization of embedded aerospace systems.
  • Applies, adapts and integrates formal verification and analytic tools.
  • Develops and integrates related tools and technology.
  • Evaluates, selects, and applies analysis methods and tools to diverse embedded systems.
  • Writes technical paper, participates in conferences in the area of application of formal methods.
  • Provides support or technical leadership of software projects and software supplier activities including development, selection, tailoring and deployment of processes, tools and metrics.
  • Supports or leads development and execution of software research and development projects.
  • Develops, selects, tailors and deploys software processes, tools and metrics.
  • Serves as a subject matter expert for application of formal methods in an industrial environment.
  • Tracks and evaluates software team and supplier performance to ensure product and process conformance to project plans and industry standards.
  • Works under general or minimal direction.

 
Qualifications

Level 3 - Technical bachelor's degree and typically 5 or more years' related work experience or a Master's degree with typically 3 or more years' or a PhD degree or an equivalent combination of education and experience. A technical degree is defined as any four year degree, or greater, in a mathematic, scientific or information technology field of study.

Level 4 - Technical bachelor's degree and typically 9 or more years' related work experience or a Master's degree with typically 7 or more years' or a PhD degree with typically 4 or more years' related work experience or an equivalent combination of education and experience. A technical degree is defined as any four year degree, or greater, in a mathematic, scientific or information technology field of study.

Relocation Authorized?: Yes

_Contact_:
Apply online.

Get KDnuggets, a leading newsletter on AI, Data Science, and Machine Learning