11+ VMM Jobs in India

About the organization

QFocus AI Pvt. Ltd. (QFAI), a wholly owned subsidiary of QFocus Technologies LLC, is a consulting-led engineering services company with sharp focus on supporting next gen advanced products development across AI/ML, Compute, Communication, Storage and Consumer Electronics. Our mission is to help our customers deliver cutting-edge products on time ensuring world-class quality.

Why Join QFAI? Join a passionate team, dedicated to making a difference.  

We are a close-knit team, with strong mission, vision and values that guide our day-to-day.  Recognition of work, respect, and our multicultural community are key aspects of the employee experience and contribute to our continued success.  Would you like to be part of our story? Don't hesitate, come and join us! 

About this opportunity – Formal Verification Engineer

We are seeking a highly skilled and passionate Formal Verification Engineer to join our team working with the best in the Industry, developing innovative ASIC solutions for data center and AI Infrastructure. The ideal candidate will develop comprehensive formal test plans and be responsible for complete formal verification sign-off of single or multiple complex blocks. The role also provides ample opportunities to partner and collaborate with full stack software, hardware, ASIC Design, Emulation and Post-Silicon teams towards creating a first-pass silicon success.

Key Responsibilities:

·      Contribute to Formal Verification applying and evangelizing state of the art Formal Verification Methodologies across IP-level, subsystem-level and SOC Level.

·      Collaborate with Architecture and Design teams to develop formal specifications and implementations.

·      Define formal verification scope, create formal environments, and achieve coverage sign-off using targeted formal verification techniques.

·      Develop comprehensive formal test plans, including unique security requirement verification.

·      Build reusable and scalable formal verification environments and deploy relevant tools.

·      Evaluate and recommend EDA solutions for Formal Verification and drive improvements to methodologies and flows.

·      Debug complex issues in RTL designs based on formal results and contribute to design improvements.

Required Skills:

1. Strong hands-on experience with Formal Verification tools (e.g., JasperGold, VC-Formal, Questa Formal).
2. Experience writing formal properties using System Verilog Assertions (SVA) or Property Specification Language (PSL).
3. Proven understanding of Formal Verification methodologies, complexity reduction techniques, and abstraction techniques.
4. Fluency in hardware description languages, such as SystemVerilog.
5. Proficiency in scripting languages such as Python, Perl, or Tcl within Unix/Linux environments.

 Education:

Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, or a related technical field, or equivalent practical experience.

Experience:

5+ years of experience in Design Verification, with at least 1 year in Formal Verification.

QFocus AI Pvt Ltd is an Equal Employment Opportunity employer.

Job Summary

We are seeking a highly skilled and motivated Linux Device Driver Engineer with strong C/C++ programming skills and hands-on experience in Linux driver development. The ideal candidate will have a proven track record of working with kernel modules and hardware interfaces, and be comfortable debugging and optimizing low-level system software.

Key Responsibilities

• Porting existing Linux device drivers to new platforms, SoCs, and kernel versions.
• New driver development for custom hardware components and peripherals.
• Debugging kernel and driver-level issues using industry-standard tools.
• Integration & bring-up of hardware with Linux-based systems.
• Collaborate with hardware teams to interpret specifications and enable device functionality.
• Optimize drivers for performance, reliability, and resource efficiency.
• Write clear technical documentation for driver APIs, design, and integration steps.

Required Skills & Qualifications

• Bachelor’s/Master’s in Computer Science, Electronics, or related field.
• 4 to 8 years of professional experience in software development.
• Strong proficiency in C/C++ programming and memory management.
• Hands-on experience with any Linux device driver (character, block, network, USB, PCIe, I2C, SPI, etc.).
• Good understanding of Linux kernel architecture, module programming, and build systems.
• Knowledge of interrupt handling, DMA, and device tree configuration.
• Familiarity with cross-compilation and embedded Linux toolchains.
• Experience with debugging tools (GDB, ftrace, perf, printk, etc.).
• Version control experience (Git).

Preferred Skills

• Exposure to multiple driver types (networking, storage, multimedia, etc.).
• Experience with Yocto, Buildroot, or similar embedded Linux environments.
• Knowledge of real-time Linux and RT patches.
• Scripting knowledge (Python, Bash) for testing and automation.

Soft Skills

• Strong analytical and debugging skills.
• Good communication and collaboration abilities.
• Ability to work independently and take ownership of deliverables.

C, C++ , Linux , Device Driver , Linux Internals ,

Processor knowledge like Arm , Intel , Protocol SPI , I2C . Networking experience,

L2 protocols knowledge, knowledge on Python/Perl ,

Broadcom DNX/XGS device experience is desirable,

Interested to learn New things,

C,C++, LINUX INTERNAL OR IPC, LINUX OS CONCEPTS, DEVICE DRIVERS,

PROCESSOR KNOWLEDGE

SCRIPTING KNOWLEDGE EIHER PYTHON OR PERL

We are looking networking professionals with the following skill set,

Experience :6+ years of experience in the networking domain

Key skills:

• Must have 6+ years of experience in C/C++ programming language.
• Knowledge of Go programming language and Python programming language is a big plus.
• Strong background in L4-L7 Internet Protocols TCP, HTTP, HTTP2, GRPC and HTTPS/SSL/TLS.
• Background in Internet security related products such as Web Application Firewalls, API Security Gateways, Reverse Proxies and Forward Proxies
• Proven knowledge of Linux kernel internals (process scheduler, memory management, etc.)
• Experience with eBPF is a plus.
• Hands-on experience in cloud architectures (SaaS, PaaS, IaaS, distributed systems) with continuous delivery
• Familiar with containerization solutions like Docker/Kubernetes etc.
• Familiar with server less technologies such as AWS Lambda.
• Exposure to machine learning technologies and distributed systems is a plus

Job Description:

Looking for engineers with one of the below requirements:

• 2-5 years of embedded development experience in a Linux environment with C programming
• With Option1:
• EDK2 experience
• SCT experience
• knowledge of TPMs
• With Option2:
• worked on bootloaders or uboot