Qualcomm

Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contri...

Formal Methods

CPU Design

Hardware Verification

Model Checking

Theorem Proving

Property Verification

Math Proofs

Architectural Modeling

Hardware Description Languages

Assertions Writing

JasperGold

VC-Formal

ACL2

Verification of Complex Systems

Architectural Specifications

Micro-architecture Refinement

Formal Sign-off Environments

CPU Formal Verification (Multiple Positions)

Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Systems EngineeringGeneral Summary:We are seeking a highly motivated Test Engineer to join our XR research team. The role involves validating multimedia content transmission (audio/video) over wireless/wired networ...

Wi-Fi protocols

Multimedia streaming standards

Network analyzer tools

Wireshark

iPerf

Audio/video codecs

Streaming formats

Synchronization techniques

Windows test environments

Android test environments

Linux test environments

Python scripting

Test automation

Log analysis

Bluetooth/Wi-Fi coexistence testing

XR technologies

Protocol analyzers

Sniffers

Automation frameworks

Interoperability testing

Test plan design

Test execution

Network traffic analysis

Debugging

Issue resolution

Test bed maintenance

Real-world scenario simulation

Test result documentation

Bug filing

Issue tracking

Communication skills

Cross-functional collaboration

Staff Engineer - Split Compute Testing