Researcher - Lean 4 & Formal Proof Systems - Mumbai City

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 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 systems) with an ...

Location: Work From Office – Malad, Mumbai · Employment Type: Full-time · Salary: ₹24,000 In-hand per month · Joining Batch: 16th February · *Job Description · The Customer Service Executive will provide webchat-based customer support for a UK banking process. The role focuses on ...

Collaborate with Application Development, FinOps, Cloud, Governance, and Security teams to help formulate and implement a comprehensive cloud strategy. This includes developing frameworks, internal standards, governing policies, and procedures that align with organizational goals ...

+ Electrical Work:Welding of cable trays... · + Fire Fighting Work:Welding of MS/GI fire fighting pipelines... · ...

AWS Global Sales drives adoption of the AWS Cloud worldwide enabling customers of all sizes to innovate and expand in the cloud. · ...

AWS Global Sales (AGS) drives adoption of the AWS Cloud worldwide. · ...

AWS Global Sales (AGS) drives adoption of the AWS Cloud worldwide. Our team empowers every customer to grow by providing tailored service and unmatched technology. We dive deep to understand each customer's unique challenges and craft innovative solutions that accelerate their su ...

The role of an Application Engineer – Presales involves driving technical solutioning and product demonstrations for BRICSCAD and associated tools. · Persuasive product demonstrations of BricsCAD and related solutions tailored to customer requirements. · ...

· Responsibilities & Key Deliverables · Develop, implement, and maintain robust processes, policies, and standardization frameworks aligned with CMMI to ensure quality and consistency across network operations. · Design and validate network architecture and design documents, ens ...

We're looking for a hands-on, sharp, no-fluff HR Executive who's ready to build people systems for a growing hospitality brand. This isn't a desk job—it's a field role for someone who wants to be in the game, not just in spreadsheets. · You'll be the backbone of hiring, onboardin ...

This is an experienced engineering leader role responsible for providing technical leadership and building proof-of-concepts to validate technologies and architectural approaches. The job involves developing well-crafted software that steadily adds business value, driving initiat ...

We are seeking a unique opportunity to enhance your project management and business analytical skills while supporting strategic regulatory programs. Join our Asia Finance Regulatory Reporting Projects team, part of the CIB Global Program Management team. We collaborate with APAC ...

Role Summary: · We are looking for a reliable and organized Dispatch Executive to manage the end-to-end process of dispatching daily orders. The role involves printing invoices and shipping labels, coordinating with courier partners, packing orders, and ensuring accurate and time ...

Ensure timely preparation of artworks for printed packaging materials. · Timely generation of mock-ups to be submitted to authorities according to relevant guidelines. · Coordinate packaging material development activities internal teams & external parties according to instructi ...

Loan operations is responsible for processing and managing loan applications from start to closure ensuring accuracy and compliance with policies. · ...

URGENT REQUIREMENT FOR GULF – OIL & GAS PROJECT · Install, inspect, and maintain electrical systems in oil & gas plants, refineries, and offshore platformsMaintain explosion-proof (Ex-proof) equipment in hazardous areasCable laying, glanding, termination, and testing ...

The executive will be responsible for monitoring and tracking payments received from customers on a daily basis. · ...

We are looking for an experienced Database Administrator (DBA) to work on a part-time basis to analyze, optimize and future-proof our existing database infrastructure. · ...

This role is for one of our clients We are hiring an Enterprise Solutions Consultant – SaaS Platforms to lead solution discovery technical storytelling and value-driven solution design for enterprise customers. · You will act as a strategic advisor for enterprise clients guiding ...