Principal Cloud-Scale Verification & Validation Engineer

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.

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

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

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!