Automated Reasoning Senior Research Scientist
Country:United States of America
Location:RCCA1: UTRC California Office 2855 Telegraph Avenue, Berkeley, CA, 94705 USA
United Technologies Corporation (UTC; NYSC: UTX) is headquartered in Farmington, CT, just outside of Hartford, CT. We employ over 204,000 talented individuals globally, achieve net sales in excess of $60 billion, and invest $4B each year back into research & development activities. Our aerospace businesses include Pratt & Whitney aircraft engines and UTC Aerospace Systems – the combination of which make us the largest aerospace company in the world. Our commercial businesses include Otis elevators and escalators and UTC Climate, Controls & Security – a leading provider of heating, ventilation, air conditioning, fire and security systems and building automation controls.
United Technologies Corporation (UTC) was founded by some of the world’s greatest inventors. We helped build the Second Industrial Revolution and brought about a century of urbanization and globalization. Now we need your help to build the next one.
Tech@UTC is the UTC technology organization, comprised of the global engineering function, several focused centers of expertise, our skunkworks organization – United Technologies Advanced Projects (UTAP), and our advanced Research & Development lab – United Technologies Research Center (UTRC). By combining a passion for science with precision engineering, we create smart, sustainable solutions that prove we can do the big things the right way. We put the “T” in UTC.
The United Technologies Research Center (UTRC) is the corporate research center of UTC, operating at the leading edge of commercial and military aviation, aerospace systems, climate control, elevator design, and security and fire protection. At UTRC, we create new ideas and opportunities by collaborating across time zones, geographies and cultures. We are a community of high performing inventors, innovators, thinkers, manufacturers, motivators, leaders, problem solvers, dreamers and achievers. We work with universities, external research organizations, and global business units to identify, develop and demonstrate innovative technology solutions, products, services and intelligent systems. We are looking for scientists and engineers who have a passion for innovation and a high tolerance for ambiguity. You must be an independent thinker and self-starter with a demonstrated ability to produce high-quality technical content by collaborating with fellow researchers and product specialists. You will have the opportunity to continuously develop and invent new technologies, products and processes. At UTRC, you’ll be part of an evolving, globally diverse company that’s moving fast to shape the future of technology - one full of career opportunities and the chance to contribute and grow in a variety of ways. We are committed to recruiting and retaining the best and brightest people from the broadest and most diverse talent pool possible, so that we can serve our customers globally. If you have ideas, inspiration and expertise to continue developing products and systems that make the world a better place to live, then we have a great opportunity for you to contribute to our continued legacy of innovation.
The Autonomous and Intelligent Systems department of UTRC has an opening in the area of Automated Reasoning at the level of senior research scientist. Candidates meeting a substantial subset of the criteria listed below are encouraged to apply.
Automated reasoning is a broad area that finds applications in knowledge acquisition and representation, formal modeling, high-level information fusion, belief revision, decision making, learning, and formal analysis of systems. The United Technologies Research Center is supporting several business units in developing advanced tools for the verification of complex software systems and for the development of knowledge based agents. In particular, we are interested in candidates that will bring new expertise for enhancing autonomous capabilities of UTC’s product portfolio, processes, and services. Successful candidates will lead the use of these technologies for the next generation aircraft and propulsion systems, urban mobility and building automation systems.
The successful candidate will be expected to
•Work on hard problems 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.
Minimum of M.S. in Computer Science or relevant Engineering disciple with at least 5 years of experience. Preferred: Ph.D. in disciplines as outlined above and 2-3 years of experience.
The candidate should have a solid background in the area of automated reasoning/Computer Science/AI. In particular, they should be familiar with logic and should have a good background in algorithm design and general Computer Science/AI curriculum. In addition, the candidate should be comfortable with fast-paced, but rigorous software development and be able to work effectively in a multidisciplinary, 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, sexual orientation, gender identity, national origin, disability or veteran status, age or any other federally protected class.
Click on this link to read the Policy and Terms