Principal Cloud-Scale Verification & Validation Engineer IRC258667

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

Culture of caring. At GlobalLogic, we prioritize a culture of caring. Across every region and department, at every level, we consistently put people first. From day one, you’ll experience an inclusive culture of acceptance and belonging, where you’ll have the chance to build meaningful connections with collaborative teammates, supportive managers, and compassionate leaders. 

Learning and development. We are committed to your continuous learning and development. You’ll learn and grow daily in an environment with many opportunities to try new things, sharpen your skills, and advance your career at GlobalLogic. With our Career Navigator tool as just one example, GlobalLogic offers a rich array of programs, training curricula, and hands-on opportunities to grow personally and professionally.

Interesting & meaningful work. GlobalLogic is known for engineering impact for and with clients around the world. As part of our team, you’ll have the chance to work on projects that matter. Each is a unique opportunity to engage your curiosity and creative problem-solving skills as you help clients reimagine what’s possible and bring new solutions to market. In the process, you’ll have the privilege of working on some of the most cutting-edge and impactful solutions shaping the world today.

Balance and flexibility. We believe in the importance of balance and flexibility. With many functional career areas, roles, and work arrangements, you can explore ways of achieving the perfect balance between your work and life. Your life extends beyond the office, and we always do our best to help you integrate and balance the best of work and life, having fun along the way!

High-trust organization. We are a high-trust organization where integrity is key. By joining GlobalLogic, you’re placing your trust in a safe, reliable, and ethical global company. Integrity and trust are a cornerstone of our value proposition to our employees and clients. You will find truthfulness, candor, and integrity in everything we do.

About GlobalLogic

GlobalLogic, a Hitachi Group Company, is a trusted digital engineering partner to the world’s largest and most forward-thinking companies. Since 2000, we’ve been at the forefront of the digital revolution – helping create some of the most innovative and widely used digital products and experiences. Today we continue to collaborate with clients in transforming businesses and redefining industries through intelligent products, platforms, and services.