filter salaries All Filters

8 Verification & Validation Engineer Jobs

Principal Cloud-Scale Verification & Validation Engineer

10-15 years

Noida

Principal Cloud-Scale Verification & Validation Engineer

GlobalLogic

posted 13d ago

Job Description

Description:

Join GlobalLogic, to be a valid part of the team working on product used for Financial planning, budgeting, forecasting, Workflow automation, What-if analysis using data-driven approach.Through our engagement, we contribute to our customers in developing the end-user modules, implementing new features, Cloud transformation with industry standards, as well as performing analysis and estimations of the customer requirements.

Requirements:

Job Description:

Are you passionate about software correctness at scale? Do you thrive on tackling the deepest challenges in software verification not just writing tests, but ensuring systems behave exactly as intended, even in the most demanding environments?

This role offers a rare opportunity to work at the intersection of large-scale distributed systems and rigorous verification, collaborating with a world-class formal methods team while applying cutting-edge verification techniques to mission-critical software used by Fortune 100 companies and other industry leaders.

What Makes This Role Different? • This is not a traditional QA or testing role. You won’t just be writing unit tests or functional tests. you will be building and applying larg scale verification frameworks that prove system correctness under real world conditions. • You dont need prior experience in formal methods, but if you have ever wanted to break into this exciting field, this is your chance. You will work alongside leading formal methods experts, using their research to validate high-assurance systems at scale. • This is not a generic software engineering role. If your experience is mostly in web apps or CRUD services, this role likely is not the right fit. We are looking for engineers who think deeply about system behavior, concurrency, distributed correctness, and large scale verification.

Your Impact • Design and implement scalable verification and validation frameworks for complex cloud based systems. • Collaborate with formal methods researchers to translate mathematical correctness guarantees into real world verification techniques. • Work with engineering teams to integrate verification tools into production systems, ensuring reliability and correctness at every level. • Influence the future of cloud scale verification by exploring automated and probabilistic approaches to large scale validation.

Tools & Technologies • Experience with BDD and scenario generation is required. • Experience of Property Based Testing such as ScalaCheck Jqwik or KotlinTest is also required. • Distributed Systems  Expertise in implementing and maintaining complex and concurrent distributed systems, including Design by Contract and  i   interactions between different system layers and integrating non JVM components with JVM based systems. • Containerization and Cloud: Experience in Kubernetes, Docker, and cloud technologies, with practical experience in deploying scalable applications in AWS or GCP cloud environments. • CICD Experience: Proficient in building and modifying CICD pipelines using Gradle and Jenkins, enhancing automation and efficiency in the software development lifecycle. • Agile Methodology: Familiarity with agile development practices, with the ability to guide teams in breaking down projects into manageable tasks and ensuring timely delivery of high quality software. • Communication Skills: Excellent written and oral communication skills, able to articulate technical challenges and solutions to technical and non technical stakeholders. • Experience in Functional Testing (Manual and automation). • Experience with Source Control Technologies (GIT). • Good to have Deployment knowledge using Jenkins, and Harness. • Experience with defect management software and procedures. • Good to have experience working with DSLs • Good to have Advanced Mathematic Set theory, first order predicate logic, higher order functions and lambda calculus

Job Responsibilities:
  • Help the team in refinement and planning by breaking down complex tasks.
  • Analyse existing frameworks and development of extensions.

  • Contribute as an engineer with the added responsibility of mentoring or pairing with team members to help upskill them.

  •  Maintain and develop scenario generators, metrics collectors, and reporting tools to demonstrably provide sufficient regression coverage of the system's combined behavioral space.

  • Help the team maintain the generated regression suites by applying programming, testing knowledge, and leveraging their experience of Kubernetes, Docker, cloud technologies, focusing on efficiency and stability.

  • Communicate complex technical concepts clearly and effectively to team members and stakeholders.

What We Offer:

Exciting Projects: We focus on industries like High-Tech, communication, media, healthcare, retail and telecom. Our customer list is full of fantastic global brands and leaders who love what we build for them.

Collaborative Environment: You Can expand your skills by collaborating with a diverse team of highly talented people in an open, laidback environment — or even abroad in one of our global centers or client facilities!

Work-Life Balance: GlobalLogic prioritizes work-life balance, which is why we offer flexible work schedules, opportunities to work from home, and paid time off and holidays.

Professional Development: Our dedicated Learning & Development team regularly organizes Communication skills training(GL Vantage, Toast Master),Stress Management program, professional certifications, and technical and soft skill trainings.

Excellent Benefits: We provide our employees with competitive salaries, family medical insurance, Group Term Life Insurance, Group Personal Accident Insurance , NPS(National Pension Scheme ), Periodic health awareness program, extended maternity leave, annual performance bonuses, and referral bonuses.

Fun Perks: We want you to love where you work, which is why we host sports events, cultural activities, offer food on subsidies rates, Corporate parties. Our vibrant offices also include dedicated GL Zones, rooftop decks and GL Club where you can drink coffee or tea with your colleagues over a game of table and offer discounts for popular stores and restaurants!


Employment Type: Full Time, Permanent

Read full job description

Prepare for Verification & Validation Engineer roles with real interview advice

What Verification & Validation Engineer at GlobalLogic are saying

What GlobalLogic employees are saying about work life

based on 4.5k employees
65%
92%
73%
82%
Flexible timing
Monday to Friday
No travel
Day Shift
View more insights

GlobalLogic Benefits

Submitted by Company
Relocation at ease
Women leadership development program
Taking care of those who need
Submitted by Employees
Free Transport
Cafeteria
Work From Home
Free Food
Health Insurance
Job Training +6 more
View more benefits

Compare GlobalLogic with

TCS

3.7
Compare

Wipro

3.7
Compare

Infosys

3.6
Compare

HCLTech

3.5
Compare

Tech Mahindra

3.5
Compare

LTIMindtree

3.8
Compare

Mphasis

3.4
Compare

Hexaware Technologies

3.5
Compare

KPIT Technologies

3.4
Compare

Genpact

3.8
Compare

DXC Technology

3.7
Compare

Sutherland Global Services

3.6
Compare

Optum Global Solutions

4.0
Compare

FIS

3.9
Compare

Virtusa Consulting Services

3.8
Compare

CGI Group

4.0
Compare

Bosch Global Software Technologies

3.9
Compare

UST

3.8
Compare

Atos

3.9
Compare

Nagarro

4.0
Compare

Similar Jobs for you

Verification Manager at Danlaw

Hyderabad / Secunderabad

10-20 Yrs

₹ 25-30 LPA

Senior Test Engineer at Jet2 Travel Technologies Pvt. Ltd.

Pune

6-9 Yrs

₹ 20-30 LPA

Principal Engineer at Infineon Technologies Pvt Ltd

Bangalore / Bengaluru

14-20 Yrs

₹ 17-19 LPA

Software Engineer at NetApp

Bangalore / Bengaluru

5-8 Yrs

₹ 25-40 LPA

Database Expert at Oracle

Bangalore / Bengaluru

10-20 Yrs

₹ 30-45 LPA

Senior Engineer at GlobalLogic

Noida

5-10 Yrs

₹ 20-30 LPA

Principal Site Reliability Engineer at Kronos Solutions India Pvt. Ltd.

Noida

8-12 Yrs

₹ 20-25 LPA

Senior Software at Zscaler, Inc.

Bangalore / Bengaluru

3-8 Yrs

₹ 13-18 LPA

Lead Developer at IBM India Pvt. Limited

Bangalore / Bengaluru

10-15 Yrs

₹ 30-45 LPA

Lead Developer at IBM India Pvt. Limited

Bangalore / Bengaluru

10-15 Yrs

₹ 30-35 LPA

GlobalLogic Hyderabad / Secunderabad Office Location

View all
Hyderabad Office
GlobalLogic, GlobalLogic, Road Number 31, Aditya Enclave, Venkatagiri, Jubilee Hills Hyderabad
Telangana 500033

5-7 Yrs

Bangalore / Bengaluru

1mon ago·via naukri.com

4-8 Yrs

Bangalore / Bengaluru

1mon ago·via naukri.com

Verification And Validation Engineer

Andor Tech

2-6 Yrs

Bangalore / Bengaluru

6d ago·via naukri.com

Verification And Validation Engineer

The Glove

4-9 Yrs

Bangalore / Bengaluru

21d ago·via naukri.com

Verification And Validation Engineer

The Glove

4-9 Yrs

Bangalore / Bengaluru

21d ago·via naukri.com

Verification And Validation Engineer

Allegis Group

3-8 Yrs

Bangalore / Bengaluru

25d ago·via naukri.com

4-7 Yrs

Bangalore / Bengaluru

3mon ago·via naukri.com
How was your last interview experience?

Verification And Validation Engineer Jobs By Locations

Recently Viewed

JOBS

Saint-Gobain

No Jobs

JOBS

Refex Industries

No Jobs

JOBS

Corporate Steps

No Jobs

INTERVIEWS

Tripjack

No Interviews

INTERVIEWS

Sony

No Interviews

JOBS

Shine Ites

No Jobs

INTERVIEWS

Sony

No Interviews

INTERVIEWS

Exicom

No Interviews

SALARIES

Cox & Kings

How was your last interview experience?
Rate your experience using AmbitionBox
Terrible
Terrible
Poor
Poor
Average
Average
Good
Good
Excellent
Excellent