CrawlJobs Logo
Meta Logo Meta · IT - Software Development

Research Scientist, AI Verification

France, Paris · Job Posted July 05, 2026
Apply Position
Job Link Share

Job Description

Meta is looking for Research Scientists to join our AI Verification team. For these positions we are looking for people with experience in model training or agentic AI to complement the verification expertise in our team. The candidate will have experience in building trustworthy and reliable AI models and agents, including designing comprehensive evaluation benchmarks, optimizing training processes, and ensuring high-quality data pipelines. The candidate will help to create and evaluate data and environments to train ML models, and benchmarks to judge agents and models. The overall focus of the team is on using formal program verification to make AI better (safer, more reliable), and on using AI to make formal verification better (more feasible); these ML roles will be pivotal in connecting symbolic verification to neural AI.

Job Responsibility

  • Lead, collaborate, and execute on research that pushes forward the state of the art in Ai Reasoning and Verification
  • Collaborate with verification experts in the team as well as machine learning and agentic experts across AI research teams across Meta
  • Work towards long-term ambitious research goals, while identifying intermediate milestones
  • Directly contribute to experiments, including designing experimental details, implementing reusable code, and designing and running evaluations
  • Contribute to publications and open-sourcing efforts
  • Mentor other team members and collaborate with cross-functional partners to align on research goals and deliverables

Requirements

  • Currently has or is in the process of obtaining a PhD in the field of Computer Science, Artificial Intelligence, Machine Learning, or a related field
  • Experience in ML model evaluation, training pipelines, or benchmark and agent design and evaluation
  • Publications in areas of Machine Learning, AI, or related fields
  • Must obtain work authorization in the country of employment at the time of hire, and maintain ongoing work authorization throughout employment

Nice to have

  • First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR, *ACL, EMNLP)
  • Experience with large-scale training infrastructure and data pipelines
  • Experience designing and implementing evaluation benchmarks for large AI models or agents
  • Experience with formal verification or automatic program analysis
Meta - All Job Offers

Looking for more opportunities?

Search for other job offers that match your skills and interests.

Suggested Tags: Frontend Developer Secretary Talent Manager Salesforce Administrator Data Analyst
Similar Jobs for

Research Scientist, AI Verification

8 matching positions

AI Trainer – Research Scientist

We’re looking for people with Research Scientist experience to work as self-empl...
Location
Location
Salary
Salary:
Not provided
prolific.com Logo
Prolific
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Experience working as a Research Scientist or in a closely related research role
  • A strong understanding of scientific methodology, experimental design, and data analysis
  • A willingness to take our skills verification test to assess your suitability for our Domain Expert participant pool
  • Strong attention to detail and the ability to concentrate on complex tasks for up to one hour at a time
  • A reliable and fast internet connection and access to a computer
  • A Paypal account to receive payment from our clients
Job Responsibility
Job Responsibility
  • Completing AI training tasks such as analyzing, editing, and writing research-focused content
  • Judging the performance of AI on research design, methodology, and scientific reasoning prompts
  • Improving cutting-edge AI models using your experience in research and experimentation
What we offer
What we offer
  • Competitive pay rates
  • Flexible hours
  • Ability to work from home
Read More
Arrow Right

Postdoctoral Researcher, Ai Verification, Separation Logic In Lean

Meta is seeking a Postdoctoral Researcher to advance research in program verific...
Location
Location
United Kingdom , London
Salary
Salary:
Not provided
meta.com Logo
Meta
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Currently has, or is in the process of obtaining, a PhD degree in Computer Science or a related field
  • Experience with Lean and/or Separation Logic
  • Experience communicating research findings through written publications, technical reports, or presentations at academic or industry venues
Job Responsibility
Job Responsibility
  • Conduct original research on program verification, with emphasis on use of AI to discover proofs automatically
  • Work on embedding Separation Logic into the Lean proof assistant
  • Collaborate with or build on ongoing community efforts such as CSLib and Iris-Lean
  • Automate proofs of programs from leading research papers and textbooks, especially for concurrent programs. Investigate proof discovery beyond the leading edge
  • Develop evaluations and datasets to measure the effectiveness of proof methods
  • Collaborate with research scientists and engineers on problems related to data for machine learning algorithms and guardrails for AI agents
  • Author and co-author research papers for submission to peer-reviewed conferences and journals
  • Collaborate with Meta researchers and engineers on internal verification problems relevant to Meta
  • Participate in research community programs, seminars, and collaborative initiatives that strengthen the scientific culture of the team
Read More
Arrow Right

Applied Scientist for Frontier AI Copilot

We are building a frontier AI team inside the Office Product Group to push the n...
Location
Location
United States , Redmond
Salary
Salary:
100600.00 - 199000.00 USD / Year
https://www.microsoft.com/ Logo
Microsoft Corporation
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Bachelor's Degree in Statistics, Econometrics, Computer Science, Electrical or Computer Engineering, or related field AND 2+ years related experience (e.g., statistics, predictive analytics, research)
  • OR Master's Degree in Statistics, Econometrics, Computer Science, Electrical or Computer Engineering, or related field AND 1+ year(s) related experience (e.g., statistics, predictive analytics, research)
  • OR Doctorate in Statistics, Econometrics, Computer Science, Electrical or Computer Engineering, or related field
  • OR equivalent experience
Job Responsibility
Job Responsibility
  • Design and build agentic AI systems for Office apps (Excel, Word, PowerPoint, Outlook), including planning, tool use, memory, and long-horizon task execution
  • Develop agent-to-agent communication frameworks, enabling coordination, delegation, and verification across specialized agents
  • Advance low-resource code generation and transformation, including adapting models to domain-specific languages, formulas, and semi-structured representations
  • Fine-tune and post-train foundation models (SFT, preference optimization, RLHF/PO variants) for reliability, controllability, and product-grade behavior
  • Own evaluation and benchmarking: design task-level, system-level, and human-in-the-loop evals that reflect real Office workflows—not just academic metrics
  • Partner closely with engineers and PMs to turn research ideas into scalable, shippable features with clear UX and performance guarantees
  • Fulltime
Read More
Arrow Right

Principal Technical Program Manager (Quantum Hardware and Firmware Systems)

Microsoft Quantum team is dedicated to developing the first scalable, fault-tole...
Location
Location
United States , Redmond
Salary
Salary:
139900.00 - 274800.00 USD / Year
https://www.microsoft.com/ Logo
Microsoft Corporation
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Bachelor's Degree AND 6+ years experience in quantum information, physics, materials science, electrical engineering, hardware systems, engineering, or related technical fields OR equivalent experience
  • 3+ years of experience managing cross-functional and/or cross-team projects.
  • Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include, but are not limited to the following specialized security screenings:Microsoft Cloud Background Check: This position will be required to pass the Microsoft Cloud Background Check upon hire/transfer and every two years thereafter.
  • Citizenship & Citizenship Verification: This role will require access to information that is controlled for export under export control regulations, potentially under the U.S. International Traffic in Arms Regulations or Export Administration Regulations, the EU Dual Use Regulation, and/or other export control regulations. As a condition of employment, the successful candidate will be required to provide proof of citizenship, U.S. permanent residency, or other protected status (e.g., under 8 U.S.C. § 1324b(a)(3)) for assessment of eligibility to access the export-controlled information. To meet this legal requirement, and as a condition of employment, the successful candidate's citizenship will be verified with a valid passport. Lawful permanent residents, refugees, and asylees may verify status using other documents, where applicable.
  • Ability to leverage AI tools to drive innovation and efficiency (e.g., performance modeling and analysis, research gathering, day to day task automation).
  • Apply AI to accelerate engineering and lab workflows. Design and build AI agents/copilots that assist with experiment setup, log triage, measurement report generation, protocol templating, and knowledge retrieval (e.g., instrument manuals, design docs).
  • Evaluate agentic solutions with measurable metrics and humanintheloop safeguards following Microsoft Responsible AI requirements for generative AI.
  • 10+ years of experience owning and managing multi-year, highly complex hardware and firmware product portfolios involving deep-tech or first-of-a-kind technologies, including board bring-up, System-on-Chip (SoC) bring-up, BIOS and driver development, Application Specific Integrated Circuits (ASICs), Field Programmable Gate Arrays (FPGAs), quantum systems, advanced chip packaging, cryoelectronics, or other high-reliability hardware.
  • Experience managing firmware and hardware product development across the full lifecycle, including R&D, system integration, hardware-software integration, new-technology introduction, and technology transfer from R&D into scaled engineering and manufacturing, including hardware quality systems and development or auditing of test and validation protocols.
  • Experience with hands-on firmware, low-level systems, or advanced hardware R&D, including BIOS, drivers, embedded systems, quantum device development, quantum error correction, measurement/control systems, or similar advanced hardware domains.
Job Responsibility
Job Responsibility
  • Drive Program Execution: Lead comprehensive program management for pivotal quantum hardware initiatives. Oversee all phases, including concept development, engineering design, prototyping, validation, operational scaling, and ongoing delivery. Collaborate closely with system architects, research scientists, and hardware engineers to ensure successful outcomes for each project
  • Strategic Planning & Roadmapping: Work with program management leadership, engineering teams, and executive stakeholders to develop and maintain a clear roadmap for hardware platform advancement. Align technical milestones, allocate resources, manage schedules, and address risks to support Microsoft Quantum’s overarching long-term goals
  • Cross-Disciplinary Coordination: Facilitate collaboration and alignment among teams specializing in quantum device physics, cryoelectronics, materials science, hardware control, manufacturing, supply chain, integration, and cloud hardware operations. Ensure that integrated efforts result in reliable and scalable hardware solutions
  • Supplier & Partner Engagement: Manage relationships with external foundries, research laboratories, equipment vendors, and strategic partners. Foster cross-company collaboration, establish clear requirements, and ensure compliance with Microsoft’s standards for quality, safety, and data security
  • Risk Management: Identify, monitor, and mitigate technical, scheduling, and operational risks throughout program execution. Apply continuous improvement strategies and adjust programs in response to lessons learned and evolving technology trends
  • Agile Delivery: Oversee Agile program processes and ceremonies, promote transparency by conducting regular reviews and updates, and proactively remove obstacles to ensure timely achievement of critical deliverables
  • Customer Focus: Incorporate feedback from internal and pilot customers—including researchers, manufacturing partners, and Azure Quantum platform teams—to guide improvements in hardware and processes
  • Executive Communication: Develop concise, data-driven reports and executive updates that communicate program status, milestones, risks, dependencies, and impact, upholding Microsoft’s high standards for stakeholder engagement and reporting
  • Embody our culture and values
  • Fulltime
Read More
Arrow Right

Senior Software Engineer (Measurement and Bring-up)

Microsoft Quantum has assembled a talented and diverse international team to cre...
Location
Location
United States , Redmond
Salary
Salary:
119800.00 - 234700.00 USD / Year
https://www.microsoft.com/ Logo
Microsoft Corporation
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Doctorate in Computer Science, Software Engineering, Mathematics, Physics, Physical Sciences, or related field AND 1+ year(s) software industry experience, including research and/or development of commercial software, compilers, scientific computing applications, or multi-component systems OR Master's Degree in Computer Science, Software Engineering, Mathematics, Physics, Physical Sciences, or related field AND 3+ years software industry experience, including research and/or development of commercial software, compilers, scientific computing applications, or multi-component systems OR Bachelor's Degree in Computer Science, Software Engineering, Mathematics, Physics, Physical Sciences, or related field AND 4+ years software industry experience, including research and/or development of commercial software, compilers, scientific computing applications, or multi-component systems OR equivalent experience
  • 4+ years programming experience in related programming languages
  • 4+ years experience in a collaborative environment
  • Ability to meet Microsoft, customer and/or government security screening requirements are required for this role
  • Microsoft Cloud Background Check
  • Citizenship Verification
  • Ability to leverage AI tools to drive innovation and efficiency
Job Responsibility
Job Responsibility
  • Work with the Measurement team to implement and maintain measurement, characterization, and bring-up routines for qubit devices—turning experimental intent into robust, repeatable software workflows used in the lab and in the quantum machine
  • Develop Python software that controls and coordinates a complex instruments rack (timing, triggering, waveform generation, acquisition, and metadata capture) to execute high-fidelity experiments reliably and safely
  • Partner with scientists and engineers to translate user stories into requirements
  • propose designs that fit the larger bring-up architecture and iterate based on feedback from day-to-day lab usage
  • Build reusable building blocks (drivers/wrappers, experiment templates, calibration primitives, analysis utilities, configuration/schema models) that enable rapid development of new routines
  • Ensure measurement data is high quality and traceable: consistent metadata, validation, versioning, and reproducible analysis pipelines
  • Contribute to software engineering best practices: code reviews, testing, CI/CD, packaging, documentation, and on-call/triage support as needed in a fast-moving environment
  • Troubleshoot end-to-end issues across software and hardware boundaries (instrument communications, timing, signal integrity symptoms reflected in data) and make clear trade-offs between rapid bring-up and long-term robustness
  • Fulltime
Read More
Arrow Right

Senior Quantum Software Engineer

Microsoft Quantum has assembled a talented and diverse international team to cre...
Location
Location
United States , Redmond
Salary
Salary:
119800.00 - 234700.00 USD / Year
https://www.microsoft.com/ Logo
Microsoft Corporation
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Doctorate in Physics, Engineering, or related field AND 1+ year(s) experience in industry or in a research and development environment, could include completion of a post doctoral research position OR Master's Degree in Physics, Engineering, or related field AND 4+ years experience in industry or in a research and development environment OR Bachelor's Degree in Physics, Engineering, or related field AND 6+ years experience in industry or in a research and development environment OR equivalent experience.
  • Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include, but are not limited to the following specialized security screenings: Microsoft Cloud Background Check: This position will be required to pass the Microsoft Cloud Background Check upon hire/transfer and every two years thereafter.
  • Citizenship & Citizenship Verification: This role will require access to information that is controlled for export under export control regulations, potentially under the U.S. International Traffic in Arms Regulations (ITAR) or Export Administration Regulations (EAR), the EU Dual Use Regulation, and/or other export control regulations. As a condition of employment, the successful candidate will be required to provide either proof of their country of citizenship or proof of their U.S. permanent residency or other protected status (e.g., under 8 U.S.C. § 1324b(a)(3)) for assessment of eligibility to access the export-controlled information. To meet this legal requirement, and as a condition of employment, the successful candidate's citizenship will be verified with a valid passport. Lawful permanent residents, refugees, and asylees may verify status using other documents, where applicable.
  • Ability to work in an 'AI-first' environment using modern AI tools to accelerate discovery through hardware development.
  • Ability to leverage AI tools to drive innovation and efficiency (e.g., performance modeling and analysis, research gathering, day to day task automation).
Job Responsibility
Job Responsibility
  • Designing and delivering fast, reliable, and secure components in Rust, Python, and TypeScript that form the backbone of our quantum developer experience
  • Building language and compiler features for Q#, OpenQASM, QIR, and related technologies that push the boundaries of what programs quantum developers can express.
  • Creating intuitive, high-impact VS Code integrations that help scientists and engineers work productively with complex quantum systems.
  • Exploring new ways to integrate cutting-edge AI capabilities into quantum development workflows.
  • Collaborating closely with experts in quantum chemistry, error correction, control systems, and hardware to design end-to-end solutions that connect research and product.
  • Engaging with the open-source community, triaging issues, and contributing improvements that help shape the future of the ecosystem.
  • Fulltime
Read More
Arrow Right

Sr. Applied Scientist

The Agentic Automated Reasoning Group is building the next generation of softwar...
Location
Location
United States , Boston; Austin; Portland
Salary
Salary:
167100.00 - 226100.00 USD / Year
amazon.de Logo
Amazon Pforzheim GmbH
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • PhD, or Master's degree and 7+ years of applied research experience
  • PhD in operations research, applied mathematics, theoretical computer science, or equivalent
  • Experience in patents or publications at top-tier peer-reviewed conferences or journals
  • Experience in formal verification, program analysis, constraint-solving, or theorem proving (academic or professional work)
Job Responsibility
Job Responsibility
  • End-to-end technical leadership for delivering AR solutions working backwards customer use cases
  • Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required
  • Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers to establish program properties
  • Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs
What we offer
What we offer
  • health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)
  • 401(k) matching
  • paid time off
  • parental leave
  • sign-on payments
  • restricted stock units (RSUs)
  • Fulltime
Read More
Arrow Right

Principal Technical Program Manager - Quantum

Denmark is building one of the world's most powerful quantum computers — and Mic...
Location
Location
Denmark , Copenhagen
Salary
Salary:
Not provided
https://www.microsoft.com/ Logo
Microsoft Corporation
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Deep experience in partner management, business development, or ecosystem development within deep technology sectors (quantum computing, semiconductors, photonics, advanced computing, or adjacent fields)
  • Demonstrated experience working across multiple countries and time zones with distributed engineering and product teams
  • Technical fluency in quantum computing, photonics, neutral-atom systems, semiconductor physics, or related deep tech domains — sufficient to engage credibly with scientists and engineers, though a PhD is not required
  • A track record of building something from 0→1: a new market entry, a new strategic partnership, a new program in an organization that didn't exist before you arrived
  • Excellent written and verbal communication skills. Fluent in English. Danish or another Scandinavian language is preferred
  • Direct experience in the Nordic technology or research ecosystem
  • Experience working at or partnering with national laboratories, quantum startups, government R&D agencies, or public-private innovation programs
  • Familiarity with Microsoft's technology stack — Azure, AI services, developer tools — and how enterprise cloud platforms integrate with emerging hardware
  • Background in product management, program management, or technical business development at a large technology company
  • Comfort operating with high autonomy, limited local infrastructure, and ambiguity — the kind of environment where you set the agenda rather than follow one
Job Responsibility
Job Responsibility
  • Serve as Microsoft's primary point of contact for QuNorth, building a trusted working relationship with CEO and leadership team
  • Lead regular business reviews, executive alignment sessions, and joint planning cycles that keep both organizations focused and accountable
  • Own escalation management: identify blockers early, route them to the right teams, and drive resolution across both organizations with urgency and clarity
  • Build Microsoft's quantum ecosystem presence in Denmark and across the Nordic region — not by following a playbook, but by writing one
  • Work with QuNorth in jointly put together winning playbook in making Denmark, a Quantum center of excellence across Nordics, where not only Quantum enthusiasts converge to but also commercial companies and users
  • Engage key government stakeholders and funding bodies, to align QuNorth and Microsoft's quantum efforts with national and regional priorities
  • Develop and deepen relationships with leading Nordic universities and research centers — DTU, the Niels Bohr Institute, KTH Royal Institute of Technology, Aalto University, Chalmers University of Technology — as pathways for talent, research collaboration, and technology adoption
  • Identify and cultivate partnerships with emerging Nordic quantum companies (including start ups and existing quantum companies etc) to expand Quantum's partner network and regional relevance
  • Receive, assess, and prioritize technical challenges surfaced by QuNorth — translating partner needs into actionable requests for Microsoft engineering teams
  • Route problems to the right people across Microsoft's quantum labs in Lyngby, engineering teams in Redmond and Prague, and the broader Microsoft Quantum organization — and make sure they don't get lost in transit
What we offer
What we offer
  • Competitive compensation
  • comprehensive benefits
  • stock awards
  • pension contributions
  • career development resources
  • Fulltime
Read More
Arrow Right