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...

Join to apply for the Senior Data Architect role at Marvik . 1 day ago - Be among the first 25 applicants. We are looking for a Data Architect to join a high-impact AI initiative that involves IoT devices, multimodal data sources, and large-scale data processing. The position requires a senior professional who can lead architectural decisions from day one....

A leading agricultural machinery manufacturer is looking for a Group Leader to oversee plant operations in Neuquén. Your role will involve managing people, ensuring KPIs, and promoting continuous improvements. A degree in engineering and knowledge of Lean Manufacturing are desirable. This is a full-time position with opportunities for professional growth...

Join to apply for the Lead Software Architect role at Marvik . This role sits at the intersection of product engineering, data intelligence, and AI/ML innovation. You’ll architect and build AWS‑native solutions that process complex procurement workflows, extract and normalize data from diverse document formats (especially PDFs), and leverage...

A leading digital engineering firm in Rincón de los Sauces seeks a Machine Learning Architect to develop crucial pilot project proposals. Responsibilities include end-to-end design and implementation with a focus on LLM fine-tuning, model evaluation, and Google infrastructure knowledge. The company values a culture of caring and offers opportunities for...

RevOps Solutions Architect (Remote; US or LATAM) 1 day ago Be among the first 25 applicants About The Job At Go Nimbly, we want to be a global thought leader in the RevOps space by developing a badass brand built through innovative work created by individuals with growth mindsets. As a member of the Delivery team, you will help our clients drive more revenue...

RevOps Solutions Architect (Remote, US or LATAM, EST preferred) Be among the first 25 applicants and get AI-powered advice on this job and more exclusive features. About The Job At Go Nimbly, we want to be a global thought leader in the RevOps space by developing a badass brand built through innovative work created by individuals with growth mindsets. As a...

Join to apply for the Data Architect role at Yuno Remote, Latam, Full Time, Individual Contributor, +4 years of experience Overview At Yuno, we are building the payment infrastructure that enables all companies to participate in the global market. Founded by a team of seasoned experts in the payments and IT industries, Yuno provides a high-performance...

Solutions Architect – Video Services Harmonic is the worldwide leader in video delivery solutions, enabling media companies and service providers to deliver ultra-high-quality streaming and broadcast services to consumers globally. Through innovative SaaS platforms and software-based appliances, we are changing the way media companies and service providers...

Senior Enterprise Infrastructure/Cloud Architect Join for the Senior Enterprise Infrastructure/Cloud Architect role at B&M Global Services Manila . Description The Senior Enterprise Infrastructure/Cloud Architect will design, implement, and optimize the firm's global IT infrastructure, with a strong emphasis on cloud‑first strategies. The role‑holder...