Lean Proof Architect for Formal Verification

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation. Role...

A consulting firm is seeking a remote Salesforce Admin/Solutions Architect in LATAM. The ideal candidate should have over 5 years of experience in Salesforce administration, possess strong business analysis skills, and hold relevant certifications. This mid-senior level position requires effective communication and residency proof. The contract runs until...

A global technology firm is seeking a Senior Enterprise Security Architect in Mexico, Estado de México. The role includes owning proof-of-concepts, advising customers on secure solutions, and educating teams on product offerings. Ideal candidates will have 10-12 years of experience in relevant fields and a strong understanding of network security, Zero...

A leading consulting firm is looking for a Pega Lead System Architect to design and ensure robust system architectures. The role requires at least 5 years of experience in creating enterprise business solutions and proficiency in Pega PRPC. Candidates must hold a bachelor's degree in a relevant field and Pega certifications. The position also allows for...

A leading digital solutions provider in Mexico is seeking an experienced Salesforce Solutions Architect (Financial Services Cloud). You will lead solution design and delivery for Salesforce projects in the financial sector, ensuring high-quality outcomes. The ideal candidate has over 5 years of consulting experience with enterprise applications and a passion...

A tech-driven organization is looking for a Senior Solution Architect to work remotely. This role involves ensuring solutions align with client objectives, guiding both internal leaders and stakeholders, and optimizing design processes. Candidates should have over 10 years of experience in solution architecture, preferably in retail or related industries,...

A global localization provider is seeking an experienced Localization Solutions Architect to drive sales growth through technical expertise and consulting on localization technology. Ideal candidates possess strong skills in localization engineering, CAT tools, and must demonstrate exceptional communication abilities. This position offers a competitive...

A leading technology startup in Mexico is looking for a skilled BIM Architect with over 3 years of experience in the US market. The role involves managing architecture projects and developing strong client relationships. The ideal candidate will possess expertise in Revit, strong communication skills, and a proactive mindset. This position offers flexible...

Descripción del trabajo We’re looking for a Senior Architect to join our client, a California-based landscape architecture firm that focuses on residential projects. This is a Full-Time opportunity, and you should be available to work during Pacific Time (PT). Apply today! BetterPros unlocks human potential by offering competitive compensation,...

At SAP, we keep it simple: you bring your best to us, and we'll bring out the best in you. We're builders touching over 20 industries and 80% of global commerce, and we need your unique talents to help shape what's next. We help the world run better. SAP works in a hybrid-model way, so you'll be expected to be at an SAP office (or client) 3x a week. Purpose...