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

Join Delphi - Where Innovation meets transformation At Delphi, we believe in creating an environment where our people thrive. Our hybrid work model empowers you to choose where you work—whether it's from the office, your home, or a mix of both—so you can prioritize what matters most. We are committed to supporting your personal goals, family, and overall well-being while driving transformative results for our clients. We welcome exceptional talent from anywhere across the globe. Interviews and onboarding are conducted virtually, reflecting our digital-first mindset. Rooted in the region, we specialize in delivering tailored, impactful solutions in Data, Advanced Analytics and AI, Infrastructure, Cloud Security, and Application Modernization. Whether it’s enabling predictive analytics , transforming operations with automation, or driving customer engagement with intelligent platforms, we are the trusted partner for organizations ready to embrace a smarter, more efficient future. About the Role: Senior Consultant – Business Analyst We’re seeking a strategic, AI-savvy Product Leader with strong business and technical acumen. This person will own the product roadmap, drive vision, translate complex problems into actionable requirements, lead cross-functional teams, and deliver high-impact, data-driven solutions aligned with business goals. Additional Requirements: • Educational Background: Candidate must have a Computer Science degree + MBA. • Cloud Exposure: Must have been involved in projects built on cloud platforms, preferably Microsoft Azure. • Domain Exposure: Healthcare industry background is highly preferred. Key Responsibilities • Own and continuously refine the product backlog and roadmap; prioritize initiatives based on strategic value, risk, dependencies, and measurable outcomes. • Drive and communicate product vision, strategy, and suc

Everpure (NYSE: P) has evolved from storage pioneer to data platform, closing fiscal 2026 with $3.7 billion in revenue, its first billion-dollar quarter, and accelerating growth into FY27. Our strategic agenda spans the companies defining the next era of technology - hyperscalers, AI labs, the AI hardware supply chain, data platform providers, and the broader AI ecosystem. This type of work—work that changes the world—is what the tech industry was founded on. So, if you're ready to seize the endless opportunities and leave your mark, come join us. THE ROLE The Product and Engineering team in the Cloud Native Business Unit is looking to bring on a Senior Technical Program Manager to join a team of TPMs focused on driving complex and cross-cutting initiatives and programs to meet our top objectives and key results to delight our customers. WHAT YOU'LL DO You will take charge using your technical leadership and program management skills to drive execution with high quality for these key initiatives. You will be responsible for establishing best practices, collaborating across multiple business units and managing dependencies and deliverables for multiple programs. You will be working with a global team of software engineers who develop new features and capabilities with a rapid rate of change. You will be responsible for driving multiple parallel product releases in a fast pace environment. We are primarily an in-office environment and therefore, you will be expected to work from the Bangalore office in compliance with Everpure's policies, unless you are on PTO, or work travel, or other approved leave. WHAT YOU BRING Minimum 8+ years of experience as a Technical Program Manager (TPM) leading product delivery teams for enterprise commercial software organizations MS in computer science, MBA or engineering management equivalent preferred. Minimum 6+ years hands-on experience delivering enterprise commercial software releases in a dynamic environment&nbs

Are you looking for an opportunity to help solve one of today's biggest business challenges? AI is changing the pace of business, and organizations everywhere are struggling to help their workforce, partners, and customers keep up. At Litmos, we're building the Learning Acceleration Platform that helps organizations build human capability faster—and we're looking for people who are passionate about making a meaningful impact for customers while growing alongside a collaborative, people-first team. Litmos is the Learning Acceleration Platform that helps organizations build capability faster, adapt at the speed business changes, and scale learning to anyone, anywhere. Combining an intuitive platform, AI-powered capabilities, trusted content, expert services, and a broad ecosystem of integrations, Litmos helps organizations accelerate workforce productivity, improve customer adoption and retention, enable high-performing partners, and reduce organizational risk through continuous learning. Organizations such as Hewlett Packard Enterprise, Graco, Sabre, and Russell Mineral Equipment trust Litmos to accelerate learning across their workforce, partners, and customers. Today, more than 11K customers with 30 million learners across 150 countries and 37 languages use Litmos to build the capabilities their organizations need to succeed. Backed by Francisco Partners, one of the world's leading technology investment firms, we're investing in the future of learning—and the people who are building it. Learn more at www.litmos.com . We are looking for a Senior Program Delivery Manager to serve as the operational backbone of our Pune location. You will coordinate delivery across engineering teams, partner with local HR on people operations, and ensure the Pune office runs effectively as the primary home for our development workforce. This is a cross-cutting role: you'll be the connective tissue between team-level execution and organizational de

Are you looking for an opportunity to help solve one of today's biggest business challenges? AI is changing the pace of business, and organizations everywhere are struggling to help their workforce, partners, and customers keep up. At Litmos, we're building the Learning Acceleration Platform that helps organizations build human capability faster—and we're looking for people who are passionate about making a meaningful impact for customers while growing alongside a collaborative, people-first team. Litmos is the Learning Acceleration Platform that helps organizations build capability faster, adapt at the speed business changes, and scale learning to anyone, anywhere. Combining an intuitive platform, AI-powered capabilities, trusted content, expert services, and a broad ecosystem of integrations, Litmos helps organizations accelerate workforce productivity, improve customer adoption and retention, enable high-performing partners, and reduce organizational risk through continuous learning. Organizations such as Hewlett Packard Enterprise, Graco, Sabre, and Russell Mineral Equipment trust Litmos to accelerate learning across their workforce, partners, and customers. Today, more than 11K customers with 30 million learners across 150 countries and 37 languages use Litmos to build the capabilities their organizations need to succeed. Backed by Francisco Partners, one of the world's leading technology investment firms, we're investing in the future of learning—and the people who are building it. Learn more at www.litmos.com . We are looking for a Senior Full Stack Engineer to build and evolve our platform using .NET, React, and SQL Server-based systems. You will work across services, APIs, and front-end systems with a focus on scalability, reliability, and maintainability. You will operate within a globally distributed Agile team (Scrum and ShapeUp), where engineers own delivery, from design through deployment, while collaboratin

Are you looking for an opportunity to help solve one of today's biggest business challenges? AI is changing the pace of business, and organizations everywhere are struggling to help their workforce, partners, and customers keep up. At Litmos, we're building the Learning Acceleration Platform that helps organizations build human capability faster—and we're looking for people who are passionate about making a meaningful impact for customers while growing alongside a collaborative, people-first team. Litmos is the Learning Acceleration Platform that helps organizations build capability faster, adapt at the speed business changes, and scale learning to anyone, anywhere. Combining an intuitive platform, AI-powered capabilities, trusted content, expert services, and a broad ecosystem of integrations, Litmos helps organizations accelerate workforce productivity, improve customer adoption and retention, enable high-performing partners, and reduce organizational risk through continuous learning. Organizations such as Hewlett Packard Enterprise, Graco, Sabre, and Russell Mineral Equipment trust Litmos to accelerate learning across their workforce, partners, and customers. Today, more than 11K customers with 30 million learners across 150 countries and 37 languages use Litmos to build the capabilities their organizations need to succeed. Backed by Francisco Partners, one of the world's leading technology investment firms, we're investing in the future of learning—and the people who are building it. Learn more at www.litmos.com . We are seeking an experienced and strategic Senior GRC Analyst to join our information security team. With 3-5 years of hands-on experience, you will serve as a subject matter expert across governance, risk, and compliance — owning critical programs, driving process maturity, and acting as a trusted advisor to leadership and cross-functional stakeholders. This role goes beyond execution; you will shape the direction of our GRC progra

This role is responsible for developing and implementing an Health care and wellness plans, managing medical surveillance for employees, and operating the plant’s medical facilities. The role is pivotal for responding to medical emergencies, overseeing wellness and preventive care programs, and maintaining confidential medical records of employees. Source: Adani Group | Job ID: 58748

Senior Software Engineer – PeopleSoft SCM We are looking for a Senior Software Engineer with 10+ years of hands-on experience in PeopleSoft SCM development, customization, integration, and production support. Key Responsibilities & Skills Develop, customize, and support PeopleSoft SCM applications. Strong experience with PeopleTools, PeopleCode, Application Designer, Application Engine, SQR, SQL/PLSQL . Hands-on experience with Component Interface, Integration Broker, Application Packages, REST/SOAP Web Services . Experience in production support, debugging, troubleshooting, and performance tuning . Experience with Oracle and SQL Server , including complex SQL queries. Experience with Linux/Unix environments. Knowledge of PeopleSoft PUM, patches, code migration, version control, and security . Ability to interact with end users/customers and translate business requirements into technical solutions. Strong verbal and written communication skills. Candidates without PUM experience should be willing to learn. GHX: It's the way you do business in healthcare Global Healthcare Exchange (GHX) enables better patient care and billions in savings for the healthcare community by maximizing automation, efficiency and accuracy of business processes. GHX is a healthcare business and data automation company, empowering healthcare organizations to enable better patient care and maximize industry savings using our world class cloud-based supply chain technology exchange platform, solutions, analytics and services. We bring together healthcare providers and manufacturers and distributors in North America and Europe - who rely on smart, secure healthcare-focused technology and comprehensive data to automate their business processes and make more informed decisions. It is our passion and vision for a more operationally efficient healthcare supply chain, helping organizations reduce - not shift - the cost of doing business, paving the way to delivering patient care more effectively.

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 Due to rapid growth and increased demand for our Privacy, Security, Data Governance, GRC, Third-Party Risk, Ethics and Compliance, and ESG platform, OneTrust is seeking a Senior UX Designer to join the User Experience Design team within our dynamic Research and Development team. This team continually improves the usability, design, and overall experience of OneTrust offerings, including web applications and other products and services. It is an excellent opportunity to improve the experience of an exceptionally wide range of users around the world. Your Mission The Senior UX Designer will work under the oversight of a Principal UX Designer and assist with all the UX responsibilities below: Design: Create deliverables for the entire design process, including information architecture, interface design, interaction design, and low and high-fidelity prototypes. Standards: Identify, define and promote UX best practices, including templates UX Metrics: Identify, collect, and analyze data to inform user experience decisions, including web metrics, customer sup