Applied Formal Methods Researcher - Ciudad de México

+At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. · +Translate informal mathematical proofs into Lean (and related proof sy ...

We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argumen ...

We are looking for a (Senior) Research Consultant with a passion for reporting, insights generation and storytelling to join our strong Research Consulting Team. · ...

We are passionate about our work to power a better media future for all people by providing powerful insights that drive client decisions and deliver extraordinary results. · Become an expert in Nielsen Panels and media measurement, with a focus on research methods and panelist e ...

We are looking for a (Senior) Research Consultant (m/f/d) with a passion for reporting, insights generation and storytelling to join our strong Research Consulting Team. · ...

We · are looking for a · Provider Validator / Researcher to support medical records operations by identifying correct provider request methods conducting research and maintaining accurate provider information.This role ensures that medical record requests are sent correctly and ...

Exposure to global-scale research initiatives across multiple markets. · Conduct qualitative and quantitative research (e.g., surveys, interviews, heuristic evaluation, usability testing). · ...

We believe that innovation should be meaningful, beautiful and human. As Associate Director of Experience Design you will lead multidisciplinary design projects from experience definition through execution. · ...

In this role, you will be responsible for designing the holistic user experience and communicating the vision of our products to stakeholders and partners, while validating your decisions through various testing and research methods with end users. · ...

We are looking for a (Senior) Research Consultant with a passion for reporting, insights generation and storytelling to join our strong Research Consulting Team.You will advise and coach enterprise clients throughout the entire market research process. · ...

We are looking for a Research Consultant with a passion for reporting insights generation and storytelling to join our strong Research Consulting Team. As a sparring partner you will advise and coach enterprise clients throughout the entire market research process from finding th ...

We are seeking a Cost Manager to join our team in Estado de México who will manage cost centers and annual budget process. · ...

+Our Company · At Teradata, we believe that people thrive when empowered with better information. That's why we built the most complete cloud analytics and data platform for AI. · Work at the intersection of advanced AI, mathematics, and domain science to identify emerging resear ...

IDC is seeking a Primary Researcher to join our Global Primary Research and Data Science team. · ...

We believe the future is adaptable and not one-size-fits-all. We will lead in real-time efficient adaptation that combines algorithm with innovative interface design. · Innovation: lead our focused bets on real time adaptation which include innovating on algorithmic recipes which ...

This contract role offers an exciting opportunity to contribute to a high-impact research initiative focused on understanding user behavior, traffic patterns, and engagement across digital platforms. · Master's or PhD in a quantitative field such as statistics, data science, econ ...

The Institute invites ambitious and early-career researchers to apply for postdoctoral positions to develop interdisciplinary research on educational theories that enhance the teaching-learning process at a global level. · ...

We craft practical,powerful digital experiences that improve lives and transform businesses. · As Associate Director of Experience Design,you will lead multidisciplinary design projects from experience definition through execution.Your tasks will include framing opportunities wit ...

We believe the future is adaptable, and not one-size-fits-all. We will lead in real-time efficient adaptation that combines algorithm with innovative interface design. · ...

We invite visionary researchers to join a dynamic international environment where scientific discovery meets real-world application at the Institute of Advanced Materials for Sustainable Manufacturing (IAMSM). · Create adaptive low-carbon materials and composites using AI-assist ...