Principal Cloud-Scale Verification & Validation Engineer
- Globallogic
- 8 - 12 years
- Noida, Gurugram
- 2 months ago
- Email to a friend
- Report this job
Job Description
Role & responsibilities
Job Description:
Are you passionate about software correctness at scale? Do you thrive on tackling the deepest challenges in software verificationnot 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 wont just be writing unit tests or functional testsyoull be building and applying large-scale verification frameworks that prove system correctness under real-world conditions.
You dont need prior experience in formal methods, but if youve ever wanted to break into this exciting field, this is your chance. Youll 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 isnt the right fit. Were 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.
CI/CD Experience: Proficient in building and modifying CI/CD 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 Mathematics/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/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.
Job Classification
Industry: IT Services & ConsultingFunctional Area / Department: Engineering - Software & QA, Role Category: Software DevelopmentRole: Back End DeveloperEmployement Type: Full timeContact Details:
Company: GloballogicLocation(s): Noida, Gurugram
Keyskills: Code Generation DSL Compilers Java
Similar positions
Globallogic
GlobalLogic is a full-lifecycle product development services leader thatcombines deep domain expertise and cross-industry experience to connectmakers with markets worldwide. Using insight gained from working on innovative products and disruptive technologies, we collaborate with customers to...
Job Listings
We are in open beta version of website, please let us know if any issues, at: info(at)indigojobs.in