Power Identity:

3637-SE (#27235)

Stop title:

Innovation engineer

Type of position:

last

Stop site:

Pittsburgh, Pennsylvania 15237, USA

Topic field:

Official methods and machine learning for mathematics

Appl deadline:

Nothing (Publishing 10/25/03)

Power Description:

Description

the Institute of logic with the help of computer in mathematics (ICARM) is a new institute for sports science in NSF located at the University of Carnegie Mellon. Our mission is:

• Enabling mathematicians to benefit from emerging techniques for mathematical thinking.
• Supporting cooperation through disciplines to explore and expand these technologies.
• Ensure that mathematics and these tools are available to a wide audience.

A distinctive feature for ICARM is the team of our innovation engineer-technical employees who work alongside mathematicians and other researchers to build, air conditioning and apply tools from all aspects of artificial intelligence to solve concrete problems in mathematical research.

We are looking for innovation engineers and great innovation engineers to join our founding team. you will:

• Developing documents, educational lessons, training materials and other resources to help others adopt and expand these solutions.
• Providing technical support and guidance to mathematicians learning or applying new thinking techniques.
• Maintaining software, data groups and other resources for society.
• Cooperation in designing, implementing and refining official mathematics tools.
• Taking links through specializations, including mathematics, computer science, education and industry.
• Participate in ICARM programs such as workshops, summer schools and cooperative visits.

You may be appropriate if you have experience in one of the following:

• Assistants to prove and give the official nature of mathematics (For example, Lean, Coq, Isabelle)
• Automated mathematics thinking (For example, SAT/SMT Solutions, Properms First Class)
• Mathematics learning (For example, typical structures for proving theory, exploring data -based mathematical structures)
• Or experience in related fields and a passion for sports discovery

We welcome the applicants with various backgrounds: from new graduates with strong potential for experienced professionals who can lead great technical efforts.

The ability to adapt, excellence and passion are vital characteristics at the University of Carnegie Mellon. We are looking for a team member who can effectively interact with a variety of internal and external partners at a high level of integrity. We are looking for a person who shares our values ​​and will support the university’s mission through their work.

Minimum qualifications:

• The required bachelor’s degree.
• 1-3 years of experience in programming and systems.
• Efficiency in at least one technical field.
• Strong software engineering skills and familiarity with cooperative development practices.
• The ability to work closely with researchers and translation between mathematical goals and technical solutions.
• A combination of education and relevant experience that shows similar knowledge to be considered.

Favorite qualifications:

• Advanced degree (MS or PHD) in mathematics, computer science, or a relevant field – or equivalent process experience.
• 3-5 years of experience in programming and systems.
• The experience of contributing to open source projects.
• The background in sports research or close cooperation with researchers.

To be a great engineer for innovation, you must have a few years of experience outside a doctorate that works with the interest techniques for the institute, or several years of experience outside a master’s degree or a bachelor’s degree. If you are not sure if the higher level is appropriate, apply for the position of the innovation engineer and the level can be determined later.

requirements:

• Successful background examination

Additional information:

• This is a personal position based in Pittsburgh, Pennsylvania, with opportunities for accidental travel to conferences, workshops and partner sites. Pittsburgh offers unusually high quality of life for the cost of living, a scene of prosperous arts and foodstuffs, beautiful gardens and rivers, and a cooperative welcoming technical community based on Carnegie Mellon and the University of Pittsburg.
• Please attach the CV and a coverage message with your request for full consideration.