Lean 4 Proof Engineer - Ciudad de México

We partner with AI research teams and labs to build cutting-edge AI models.Write formalized advanced mathematical proofs in Lean for cutting-edge AI research. · Analyze generic and domain-specific proofs identifying gaps hidden assumptions and formalizable sub-structures… ...

We partner with 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 systems) with an emphasis on ...

We're looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory measure theory real and functional analysis optimization abstract algebra category theory. · ...

+We are looking for a Solutions Engineer to provide technical leadership and solution expertise to enterprise sales teams. The role will partner with sales and customer success teams to identify technical requirements, develop proofs of concept, and implement scalable solutions. ...

We are looking for passionate professionals focused on building cutting-edge AI solutions that go beyond proof of concept and can scale in real-world environments? · Join our dynamic team and help design workflows that integrate advanced language models like ChatGPT through APIs, ...

As a Solutions Engineer you'll bridge technical knowledge and business needs to support sales by crafting and presenting tailored solutions for our SaaS/cloud offerings. Your expertise in retail operations will enhance client engagements and drive successful outcomes. · ...

We are seeking a Technical Sales Engineer to join our Technical Sales team. In this role, you will be responsible for Design and presenting technical demos, deploying and managing Proof of Concepts for enterprise customers. · ...

Veeam is seeking a Senior Sales Engineer to drive technical leadership in our sales team. The role requires strong technical skills and the ability to build trust with clients. · Veeam provides data resilience through data backup, data recovery, data portability, data security, ...

We are seeking a highly skilled and results-driven Software Engineer with extensive experience in the development of audio, video, and AI-powered systems. · Join our innovative team as a Software Engineer – Video & AI. · Critical tasks include video pipeline development, camera ...

Automation & Controls Engineer - ETAP empowers customers to make informed decisions throughout the life cycle of their projects with innovative software solutions for electrical systems. · ...

Design and build automation and robotic equipment. · Own and implement solutions from project concept to installation. · Conduct machine concepting proof-of-principle electrical design/layout software design/programming debug hardware/software perform acceptance testing installat ...

The Technical Consultant is an early-career technical role supporting Fastly's Pre-sales engineering teams. You'll help demonstrate Fastly's technology, assist with proof of concepts, · and contribute to customer success while learning how to deliver world-class performance and s ...

We are seeking a Controls Engineer to join our team where you will leverage your expertise in Siemens TIA Portal to design and build automation and robotic equipment. · Design and build automation and robotic equipment. · ...

ETAP is currently looking for a smart and motivated Entry Level Automation & Controls engineer focused on Electrical Microgrid/PPC Engineer to test and deliver our leading power plant controller/microgrid controller projects. · ...

Provides direction leadership and specialist knowledge to Cloud Solution team in designing demonstrating and deploying Oracle Cloud & Hybrid architectures that address customer business problems Guides team to drive Oracle cloud customer consumption through accelerating the adopt ...

We are looking for a Data Scientist to join the Cloud Division at ETAP which is starting new AI/ML projects. · Build and deploy machine learning models for classification, regression, ranking, and recommendation tasks. · ...

SentinelOne is seeking a security pre-sales engineer with expertise in the "endpoint" space focused on prevention, · EDR and Threat Hunting. The successful candidate will work with prospects and customers aligning their goals and requirements · with SentinelOne offerings. · ...

We are currently looking for a Senior Software Engineer (Security) in Mexico. As a Senior Software Engineer specializing in security, you will be instrumental in designing and implementing robust security features across large-scale platforms. · ...

We are looking for a Conversational Solutions Architect to design conversational journeys and assist in the preparation of implementation plans. · We require experience with technical roles having direct client interaction and full sales cycle expertise. ...

At Sinch, you will act as a consultative partner to clients, designing and evolving conversational strategies and products across WhatsApp and RCS. · Value-oriented discovery: understand the client's context, goals, KPIs, and pain points. · Journey and use-case strategy: recommen ...