Senior Formal Verification Engineer in India

NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly scalable and massively parallel computation horsepower that NVIDIA GPUs excel. NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to solve, that only we can address, and that matter to the world. This is our life’s work , to amplify human creativity and intelligence. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join our diverse team and see how you can make a lasting impact on the world! As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV engineers to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with NVIDIA's internal FV R&D group that develops functional verification tools using formal verification technology. What you'll be doing: You will help decide on the best applications of formal verification techniques to various parts of the design. Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation. Build formal verification testbenches, code assertions and constraints, and apply abstra

Role: Senior AI Engineer Location: Hyderabad, India (Hybrid) Department: Product Development About the Role GHX is building a cutting-edge LLM-powered document understanding platform focused on classification, structured data extraction, and intelligent orchestration at scale. This is a high-impact AI engineering role where you will own the full lifecycle—from problem framing to production deployment . Initially, you will focus on prompt engineering and evaluation systems , building the quality foundation for AI performance. Over time, the role expands into agent orchestration, system architecture, and migration of rule-based systems to LLM-driven pipelines . A strong foundation in software engineering (5+ years) is essential. This role demands engineering rigor across both traditional system design and AI system behavior . Core Responsibilities 1. Prompt Engineering Design prompts for diverse document classification and extraction tasks Treat prompts as formal specifications (precise, structured, and edge-case-aware) Develop few-shot, chain-of-thought, and structured output templates Manage prompt lifecycle: versioning, testing, and rollback 2. LLM Output Evaluation Create and maintain ground truth datasets Build automated evaluation pipelines (precision, recall, field-level accuracy) Identify and resolve conceptually incorrect outputs despite surface correctness 3. AI Agent Orchestration Design multi-agent workflows for document processing Implement tool-use patterns and integrate MCP servers Optimize orchestration for scale and efficiency 4. Software Engineering Develop production-grade APIs and backend services Apply Clean Architecture / DDD principles Write maintainable, testable Python code Contribute to CI/CD, deployment, and observability systems 5. Stakeholder Collaboration Act as a bridge between business stakeholders and AI systems Translate product requirements into technical architectures Communicate system behavior, limitations, and quality

Work Experience Required: 8 - 12 Years Experience in programing (Python, R, SQL, NoSQL,Spark) with ML tools & Cloud Technology (AWS, Azure, GCP) Experience in Python libraries such as numpy, pandas, scikit-learn, tensor-flow, scapy, scrapy, BERT etc. Good understanding in statistics, and ability to design statistical hypothesis testing to aid formal decision making. Develops predictive models using Machine Learning algorithms (SVM, Random Forest, Neural Network, Decision Tree, Logistic Regression, K-mean Clustering, linear regression, PCA etc.) Engaging with clients, understanding complex problem statements, and offering solutions in the domains of Retail, Pharma, Banking, Insurance, etc. Contribute to internal product development initiatives related to data science. Develop data science roadmap, and guide data scientist to meet their deliverables. Handling end-to-end client AI & analytics programs. Your role will be a combination of hands-on contribution, technical team management, and client interaction. Proven ability to discover solutions hidden in large datasets and to drive business results with their data-based insights Drive excellent project management required to deliver complex projects, including effort/time estimation. Be proactive, with full ownership of the engagement. Build scalable client engagement level processes for faster turnaround & higher accuracy Define Technology/ Strategy and Roadmap for client accounts, and guides implementation of that strategy within projects Run regular project reviews and audits to ensure that projects are being executed within the guardrails agreed by all stakeholders Manage the team-members, to ensure that the project plan is being adhered to over the course of the project Manage the client stakeholders, and their expectations, with a regular cadence of weekly meetings and status updates. Build a trusted advisor relationship with the IT management at clients and internal accounts leadership. Build

Strength in Trust OneTrust’s mission is to enable innovation through the responsible use of data and AI. We believe that ensuring data is trusted shouldn’t slow teams down—it should accelerate what’s possible. This led us to develop the first technology platform for responsible data use in 2016. Today, with AI representing the latest and most impactful expansion of data yet, OneTrust is once again redefining what responsible innovation looks like. OneTrust, the AI‑Ready Governance Platform™, unifies regulatory intelligence, automation, and connected governance workflows so businesses can continue to move at the speed of AI while ensuring good governance to prevent data misuse at scale. Trusted by thousands of organizations worldwide, OneTrust is shaping the future where trusted data becomes a transformative force for business and society. The Challenge We're looking for a Senior Staff Software Engineer to shape technical strategy across multiple teams or a full product area at OneTrust. Senior Staff Engineers are a recognized technical authority whose decisions on architecture and direction extend well beyond their immediate team. Your Mission Strategy & Architecture Define technical direction and architecture for a product area spanning multiple teams. Act independently on significant, unique problems that require evaluating intangible or unprecedented factors. Cross-Functional Influence Partner with Staff and Principal-level peers, and with Product/UX leadership, to align technical roadmap with business strategy. Build formal cross-group networks; serve as a recognized authority beyond your own team. Standards & Quality Establish engineering standards that get adopted org-wide within your domain. Mentorship & Talent Growth Mentor Staff Engineers and contribute to technical leveling and promotion calibration. You Are Someone who acts independently on

The Mechanical Foreman is responsible for overseeing the installation, maintenance, and repair of all mechanical systems and equipment within the mine. This role ensures that all mechanical work is conducted in compliance with the Coal Mines Regulation of 2017, maintaining high standards of safety, reliability, and efficiency. The Mechanical Foreman coordinates with engineers, technicians, and mine management to implement mechanical projects, troubleshoot issues, and ensure the continuous operation of mining machinery and equipment. Source: Adani Group | Job ID: 51950

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the team: The Customer Operations team is at the heart of Forma.ai's mission. This team has a direct impact on the growth of Forma.ai. They are results-driven and solutions-minded. The Customer Operations team works closely with our customers, helping them to understand and take advantage of all the features Forma.ai offers and ensuring that they get the most value from the platform. What you'll be doing: Reporting to the Senior Manager of Customer Operations, the Incentive Compensation Associate (known internally as Customer Operations Associate) will be contributing in the following areas: Own the ongoing operations for a portfolio of customers (i.e., rule building, process execution, reporting and dashboarding, and product support) Create automated reporting (financial, sales performance, incentive compensation) for customers to support process automation and improve business visibility Support design projects including analysis, financial modelling, project planning, customer workshops, and presentation/recommendation of findings Identify potential opportunities for process improvement in client processes (e.g., process execution, data validation, dashboard updates). Explore new techniques, working models to improve design and improve processes. Implement new Forma.ai platform features within your customer portfolio to support continuous improvement and automation Build strong working relationships with key customer stakeholders, ens

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the team: The Customer Operations team is at the heart of Forma.ai's mission in optimizing incentive compensation plans for all companies . They wo rk directly with our customers in helping them understand and take advantage of all the sales compensation features Forma.ai offers . F rom streamlining administration and management of sales commission to designing your sales compensation plan , o ur Customer Operations team ensur es customers get the most value from our platform in optimizing every dollar spent on sales compensation. What you'll be doing: Reporting to the Senior Manager of Customer Operations, the Incentive Analytics Manager will contribute in the following areas: Develop a strong understanding of the Forma.ai product and platform to establish yourself as a product expert Lead the ongoing operations for a portfolio of customers (i.e., commissions rule building, process execution, reporting and dashboarding, and overall product support) Implement new Forma.ai platform features within your customer portfolio to support continuous improvement and automation Identify potential opportunities for process improvement in client processes (e.g., process execution, data validation, dashboard updates). Explore new techniques, working models to improve design and improve processes Lead design projects, including analysis, financial modelling, project planning, customer workshops, and presentation/recommendation of findings

Our Purpose Mastercard powers economies and empowers people in 200+ countries and territories worldwide. Together with our customers, we’re helping build a sustainable economy where everyone can prosper. We support a wide range of digital payments choices, making transactions secure, simple, smart and accessible. Our technology and innovation, partnerships and networks combine to deliver a unique set of products and services that help people, businesses and governments realize their greatest potential. Title and Summary Senior Enterprise Operations Engineer Overview The Multimedia Services team is looking for a Senior Enterprise Operations Engineer to join the team in Pune, India. The role is focused on lifecycle refresh, transformational initiatives, events support, and service delivery as well as supporting the global team as needed. The ideal candidate is highly motivated, analytical, outcomes oriented, and is a good communicator. With the increased focus on flexible workplace of the future, you will be a key contributor to a dynamic Employee Digital Experience team to enable, connect, and empower your colleagues globally. Role Working with the Regional Operations Manager: • Participate in the planning and implementation of strategic refresh projects within the region o Collaborate with local stakeholders (e.g. end users, Real Estate Services, Network Engineering, and vendors) to simplify and modernize audio visual experiences o Facilitate final acceptance of solutions and projects to the Multimedia Services Operations Team leveraging the standard processes and documentation • Be the product owner for an audio-visual technology (e.g. video conferencing, wireless content sharing, room schedulers, or electronic bulletin boards/digital signage) • Lead resolution and problem management for video

Our Purpose Mastercard powers economies and empowers people in 200+ countries and territories worldwide. Together with our customers, we’re helping build a sustainable economy where everyone can prosper. We support a wide range of digital payments choices, making transactions secure, simple, smart and accessible. Our technology and innovation, partnerships and networks combine to deliver a unique set of products and services that help people, businesses and governments realize their greatest potential. Title and Summary Senior Auditor Overview: Mastercard's Global Internal Audit team provides independent and objective assurance and advisory services to assess and enhance the effectiveness and efficiency of governance, risk management, and internal control processes. The team is seeking a Senior Auditor based in Pune, India, to support financial, operational, regulatory, and technology audit and advisory engagements. The ideal candidate is initiative-taking, intellectually curious, analytical, meticulous, and able to balance independent delivery with effective collaboration across a global team. Role: • Execute financial, operational, regulatory, technology, and advisory audits across business lines in accordance with Internal Audit methodology and quality standards. • Participate in audit planning, including understanding business processes, assessing risks, contributing to scope and approach, and developing audit procedures. • Independently evaluate the design and operating effectiveness of controls, document high-quality workpapers, and communicate testing status, potential issues, and delivery risks on a timely basis. • Identify control gaps, root causes, and process improvement opportunities; develop practical recommendations that address underlying risks and support sustainable remediation. • Draft

Our Purpose Mastercard powers economies and empowers people in 200+ countries and territories worldwide. Together with our customers, we’re helping build a sustainable economy where everyone can prosper. We support a wide range of digital payments choices, making transactions secure, simple, smart and accessible. Our technology and innovation, partnerships and networks combine to deliver a unique set of products and services that help people, businesses and governments realize their greatest potential. Title and Summary Senior software engineer Job Description Summary Overview: Provides support of applications software through programming, analysis, design, development and delivery of software solutions. Researches alternative technical solutions for changing business needs. Role: •Responsible for programming, testing, implementation, documentation, maintenance and support of systems application software in adherence with MasterCard standards, processes and best practices. •Develop high quality, secure, scalable software solutions based on technical requirements specifications and design artifacts within expected time and budget. •Research, create and evaluate technical solution alternatives for the business needs current and upcoming technologies and frameworks. •Perform feasibility studies, logic designs, detailed systems flowcharting, analysis of input-output flow, cost and time analysis. •Work with project team to meet scheduled due dates, while identifying emerging issues and recommending solutions for problems and independently perform assigned tasks, perform production incident management. Participate in on-call pager support rotation. •Document software programs per Software Development Best Practices. Follow MasterCard Quality Assurance and Quality Control processes. •Assist Seni

Our Purpose Mastercard powers economies and empowers people in 200+ countries and territories worldwide. Together with our customers, we’re helping build a sustainable economy where everyone can prosper. We support a wide range of digital payments choices, making transactions secure, simple, smart and accessible. Our technology and innovation, partnerships and networks combine to deliver a unique set of products and services that help people, businesses and governments realize their greatest potential. Title and Summary Senior Data Scientist-2 Overview Product Data & Analytics is a centralized global team that enables Mastercard product business units to make better data‑driven decisions. We build internal analytics partnerships that strengthen focus on business performance, portfolio and revenue optimization, initiative tracking, new product development, and go‑to‑market strategies. These capabilities are underpinned by our data platforms that enable insights to be delivered in a standardized, scalable, and cost‑efficient manner. Key Responsibilities Strategic Support • Design and implement value enablement frameworks that optimize pricing strategies, enhance pre-sales propositions, and ensure customer success. • Collaborate with global and regional teams to tailor solutions that meet regional business needs and align with Mastercard's objectives. • Provide data-driven insights and recommendations to optimize pricing, pre-sales strategies, and customer success outcomes. • Develop frameworks, project structures, and presentations to communicate key strategic initiatives. • Conduct data integrity checks and ensure quality and reliability in data used for analysis. • Translate complex business problems into analytical solutions that support strategic decision-making. Technical Leadersh

About Paytm Paytm is India's leading mobile payments and financial services distribution company. Pioneer of the mobile QR payments revolution in India, Paytm builds technologies that help small businesses with payments and commerce. Paytm’s mission is to serve half a billion Indians and bring them to the mainstream economy with the help of technology. Job Purpose The Corporate Development team drives the company's long-term growth and strategic evolution. As a Senior Corporate Development team member, you will own the end-to-end inorganic growth roadmap — from scouting and originating deals through evaluation, execution, and handoff to integration. You will bring deep, hands-on experience from the venture capital ecosystem and act as a primary connector between external market opportunities and internal executive leadership. Key Responsibilities 1. Strategy & Market Intelligence • Partner with senior executives to define and refine the company's inorganic growth roadmap • Run continuous macroeconomic and industry research to surface emerging trends, market disruptions, and high-fit targets • Track market developments, precedent transactions, and comparable companies • Own and maintain a proactive pipeline of acquisition, investment, and partnership targets 2. Deal Scouting & Sourcing • Actively scout and originate deals across the VC ecosystem — founders, venture funds, growth investors, and strategic networks • Build and deepen relationships with VCs, investment bankers, PE firms, and target company leadership • Screen inbound and outbound opportunities against corporate strategic criteria with clear go/no-go judgment • Develop sharp strategic rationale and business cases for C-suite and Board review 3. Deal Management • Own the deal book: prioritization, stage tracking, stakeholder alignment, and decision cadence • Coordinate due diligence and manage data rooms on live transactions • Orchestrate internal cross-functional teams (Legal, Finance, Tax, HR

A BOUT TIDE At Tide, we help SMEs save time and money in the running of their businesses by not only offering business accounts and related banking services, but also a comprehensive set of highly usable and connected administrative solutions, from invoicing to accounting. Tide is transforming the small business banking market and now supports over 2 million members globally across the UK, India, Germany and France. Using advanced technology, all solutions are designed with SMEs in mind. With quick onboarding, low fees and innovative features, we thrive on making data driven decisions to serve our mission: to help SMEs save time and money so they can get back to doing what they love. Tide facts: Tide is available for UK, Indian, German and French SMEs Over 2 million members across UK and India Over $300 million raised in funding Over 2,800 Tideans globally Recognised with Great Place to Work certification three years in a row, and among India’s Top 50 Best Workplaces in Banking, Financial Services, and Insurance in 2026 We have offices in Central London, with a member support and technology centre in Sofia, Bulgaria, technology centres in Serbia, Romania, Lithuania and Hyderabad and offices in Gurugram, New Delhi, Berlin, Paris and Luxembourg About the role: As a Senior Product Analyst ( Member Acquisition Marketing ) , you’ll be responsible for managing insights projects related to member growth & acquisition. As a Product Analyst you’ll be: Presenting insights to stakeholders & senior management, translating analysis into the 'so what?' and identifying possible actions to take as a result Using your SQL/Python expertise to interrogate our data to solve key business problems Focusing on improving performance marketing and growth initiatives by providing full stack descriptive to prescriptive analytics via cutting edge technologies to support business objectives Ability to deal with ambiguity & form ambiguous questions into define

A BOUT TIDE At Tide, we help SMEs save time and money in the running of their businesses by not only offering business accounts and related banking services, but also a comprehensive set of highly usable and connected administrative solutions, from invoicing to accounting. Tide is transforming the small business banking market and now supports over 2 million members globally across the UK, India, Germany and France. Using advanced technology, all solutions are designed with SMEs in mind. With quick onboarding, low fees and innovative features, we thrive on making data driven decisions to serve our mission: to help SMEs save time and money so they can get back to doing what they love. Tide facts: Tide is available for UK, Indian, German and French SMEs Over 2 million members across UK and India Over $300 million raised in funding Over 2,800 Tideans globally Recognised with Great Place to Work certification three years in a row, and among India’s Top 50 Best Workplaces in Banking, Financial Services, and Insurance in 2026 We have offices in Central London, with a member support and technology centre in Sofia, Bulgaria, technology centres in Serbia, Romania, Lithuania and Hyderabad and offices in Gurugram, New Delhi, Berlin, Paris and Luxembourg About the role: As a Senior Product Analyst ( Member Acquisition Marketing ) , you’ll be responsible for managing insights projects related to member growth & acquisition. As a Product Analyst you’ll be: Presenting insights to stakeholders & senior management, translating analysis into the 'so what?' and identifying possible actions to take as a result Using your SQL/Python expertise to interrogate our data to solve key business problems Focusing on improving performance marketing and growth initiatives by providing full stack descriptive to prescriptive analytics via cutting edge technologies to support business objectives Ability to deal with ambiguity & form ambiguous questions into define

Zscaler (NASDAQ: ZS) accelerates digital transformation so customers can be more agile, efficient, resilient, and secure. The Zscaler Zero Trust Exchange™️ platform protects thousands of customers from cyberattacks and data loss by securely connecting users, devices, and applications in any location. Distributed across 160+ public exchanges globally and thousands of private exchanges at the edge, the SASE-based Zero Trust Exchange is the world’s largest in-line cloud security platform. We believe the future of work is Human + AI and are building an AI-native enterprise where human potential is amplified by machine intelligence to solve the world’s hardest security challenges. Driven by deep customer obsession, we are committed to the mission, outcome, and to each other. We bring these commitments to life through three core behaviors: ownership and collaboration, trust through outcomes and impact, and a challenge culture with ongoing feedback. Ready to make an impact at the company pioneering security transformation in the AI era? Join us at Zscaler. Role We are looking for a Senior SOC Analyst to join our team . This is a remote role, reporting to the Global SOC Manager in the Enterprise Security department . As a key guardian of our infrastructure, you will monitor, detect, and analyze security incidents to protect our digital assets . You will be the first line of defense, ensuring that potential threats are mitigated promptly and effectively to maintain a secure environment . What you’ll do (Role Expectations) Monitor security alerts and events to identify potential threats and vulnerabilities Detect and analyze security incidents using multiple security tools Respond to security incidents promptly, following established procedures and protocols Conduct in-depth analysis of security events to determine the scope and impact of potential threats Perform phishing incident analysis Who You Are (Success Profile) You thrive in ambiguity. You're comfortable building the