Skip Navigation
Menu

Model Based Design Senior Scientist

Business Unit United Technologies Research Center Req ID 54989BR Date posted 10/09/2017 City Berkeley State California

United Technologies Corporation, a Fortune top 50 company is a dynamic global corporation operating at the leading edge of aerospace (gas turbine engines and aerospace subsystems) as well as commercial (HVAC/R systems and components, elevator, fire safety, security, and integrated building systems) domains. The United Technologies Research Center supports all business units in developing advanced software, tools and methods for the design, operation and verification of intelligent systems.

The Systems department of UTRC has an opening at the level of senior 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 intelligent embedded systems. Candidates meeting a substantial subset of the criteria listed below are encouraged to apply. The appropriate grade level will be assessed based on education and years/type of experience.

In particular, we are interested in candidates who will bring new expertise for enhancing robustness, predictability, and performance of UTC’s product portfolio and a passion for translating ideas into impactful demonstrators or products. Successful candidates will lead the use of these technologies for the next generation aircrafts, building and industrial systems, and autonomous intelligent 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 as needed, leading multidisciplinary teams.
• 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, code generation, and model-based testing. Ability to apply formal verification methods and tools in rigorous and innovative ways is also required. Requirements analysis and requirements mining are areas of interest. They should have a solid computer science foundation and good background in algorithm design. They should be familiar with propositional, first order and temporal logics. Familiarity with tools such as Rhapsody SysML/UML, Simulink, AADL, Papyrus, XText, Acceleo, Spin, Uppaal, Math SAT, Z3, CVC4 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).


Education: Minimum of M.S. in Electrical or Computer Engineering with 3 years of experience.
Preferred: Ph.D in disciplines as outlined above and 1-2 years of experience.

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, sexual orientation, gender identity, national origin, disability or veteran status, age or any other federally protected class.

Award-winning innovation starts here.

Scientist

Discover why our breakthrough eco-friendly technologies are receiving industry recognition.

More

85 years old – and still as curious as ever.

Share Your Photo

Find out more about our recent 85th anniversary, and how we’ve grown over the years.

More

Training that makes headlines.

Share Your Photo

Find out what Forbes had to say about our Employee Scholar Program

More