5
Research Manager - Theorem Proving
source link: https://www.facebook.com/careers/v2/jobs/106318551552386/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
채용 정보 Paris, France
Research Manager - Theorem Proving
Research Manager - Theorem Proving
Location pin icon
Paris, France
You can submit up to three job applications every 90 days. Be sure to apply for roles that strongly match your skills and work experience.
Facebook AI Research (FAIR) is dedicated to advancing the state of the art in machine intelligence. We are primarily focused on fundamental research in a range of areas including computer vision, natural language understanding, dialog systems, reinforcement learning, machine translation, robotics, and speech. FAIR is seeking a research manager to join our Paris office. Ideal candidates for this role have a passion for driving research and engineering excellence, and thrive in fast-paced research and development environments.
Research Manager - Theorem Proving Responsibilities
Manage a team of research scientists and engineers by mentoring, empowering their growth, and helping them deliver impact
Recruit research scientists and engineers, identifying talent gaps and the people required to fill them
Communicate cross-functionally, identify key partners, and build strong relationships with them
Use technical expertise and cross-functional relationships to identify strategic, long-term, and ambitious engineering goals, and intermediate milestones
Use strategic influence and cross-functional relationships to drive progress on goals
Minimum Qualifications
Experience working on projects involving machine learning, AI, computer science, statistics, applied mathematics, data science, or related technical fields in a research context
Experience in recruiting and managing technical teams, including performance management
Experience coding in C++, Python, or similar languages
B.Sc. degree or equivalent in computer science or related quantitative field
Preferred Qualifications
Knowledge of mathematics, including theorem proving and formal systems
Experience with specific theorem proving toolchains
Knowledge of search techniques
Knowledge of reinforcement learning
Experience with modern deep learning techniques and libraries (e.g. PyTorch)
Experience managing a team of researchers
Experience in AI research, publication
Locations
About the Facebook company
Facebook's mission is to give people the power to build community and bring the world closer together. Through our family of apps and services, we're building a different kind of company that connects billions of people around the world, gives them ways to share what matters most to them, and helps bring people closer together. Whether we're creating new products or helping a small business expand its reach, people at Facebook are builders at heart. Our global teams are constantly iterating, solving problems, and working together to empower people around the world to build community and connect in meaningful ways. Together, we can help people build stronger communities — we're just getting started.
Facebook is committed to providing reasonable support (called accommodations) in our recruiting processes for candidates with disabilities, long term conditions, mental health conditions or who are neurodivergent, and to candidates with sincerely held religious beliefs or requiring pregnancy related support. If you need support, please reach out to [email protected].
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK