United Technologies Corporation Staff Engineer, Model Based Development in East Hartford, Connecticut

Job ID: 50709BR

City: East Hartford

State: Connecticut

Country: United States

Category: Engineering

Job Type:

Description:

United Technologies Corporation, a Fortune top 50 company is a dynamic global corporation operating at the leading edge of commercial and military aviation, aerospace systems, climate control, elevator design, and security and fire protection. The United Technologies Research Center supports several business units in developing advanced tools and methods for the design and verification of complex software and embedded systems..

The Systems Department of the United Technologies Research Center has an opening at the level of staff scientist in the broad area of Model Based Design, which includes architecting and implementing design flows to facilitate development, analysis, integration, verification and certification of embedded systems. Candidates meeting a substantial subset of the criteria listed below are encouraged to apply.

In particular, we are interested in candidates who will bring new expertise for enhancing robustness, predictability, and performance of UTC’s product portfolio. Successful candidates will lead the use of these technologies for the next generation aircrafts, building and industrial systems and energy management systems.

The successful candidate will be expected to

• Work on difficult engineering tasks with little to no supervision, yet assuring good coordination with team members and leader for attaining the project goals.

• Be a good team player.

• Act as principal investigator, leading multidisciplinary teams focused on creative, integrated solutions for business and technical challenges

• Be able to communicate openly and effectively to both technical peers and senior management.

• Author technical papers and reports including publications in top journals and conferences; be active in related technical communities.

Qualification:

We are particularly interested in candidates with expertise in modeling, model transformation, and code generation. Ability to apply formal verification methods and tools in rigorous and innovative ways is also required. They should be familiar with propositional, first order and temporal logics, and should have a good background in algorithm design. Familiarity with tools such as Rhapsody SysML/UML, Simulink, AADL, Papyrus, XText, Acceleo, NuSMV, NuXmv, Spin, Math SAT, Z3, CVC4, Yices or analogous tools is a plus. In addition, the candidate should be comfortable with fast-paced, but rigorous software development and be able to work effectively in a multidisciplinary, multinational team environment focused on innovation. Finally, they should be able to partner with leading worldwide institutions (university, government agencies, national labs, and professional organizations).

United Technologies Corporation is An Equal Opportunity/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, disability or protected veteran status.