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.

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

Talented C++ Developer who has experience in design, development, debugging of multi-threaded large scale application with good understanding in data structures on Linux packaging, functional testing and deployment automation very good with problem solving.

Key responsibilities :

1. Understand fundamental design principles and best practices for developing backend servers and web applications
2. Gather requirements, scope functionality, estimate and translate those requirements into solutions
3. Implement and integrate software features as per requirements
4. Deliver across the entire app life cycle
5. Work in a product creation project and/or technology project with implementation or integration responsibilities
6. Improve an existing code base, if required, and ability to read source code to understand data flow and origin
7. Design effective data storage for the task at hand and know how to optimize query performance along the way
8. Follow an agile methodology of development and delivery
9. Strictly adhere to coding standards and internal practices; must be able to conduct review code
10. Mentor and possibly lead junior developers
11. Contribute towards innovation
12. Performance optimization of apps
13. Explain technologies and solutions to technical and non-technical stakeholders
14. Diagnose bugs and other issues in products
15. Continuously discover, evaluate, and implement new technologies to maximize development efficiency

Must have / Good to have:

1. 5-7years' experience with C++ development and relevant 3+yrs in modern version 11/14/17 would be a plus. 
2. Design and implementation of high-availability, and performance applications on Linux environment
3. Advanced knowledge of C/C++, Object Oriented Design, STL
4. Good with multithreading and data structures
5. Develop back-end components to improve responsiveness and overall performance
6. Familiarity with database design, integration with applications and python packaging.
7. Familiarity with front-end technologies (like JavaScript and HTML5), REST API, security considerations
8. Familiarity with functional testing and deployment automation frameworks
9. Experience in development for 3-4 production ready application using C++ as programming language
10. Experience in writing unit test cases including positive and negative test cases
11. Experience of CI/CD pipeline code deployment (Git, SVN, Jenkins or Teamcity)
12. Experience with Agile and DevOps methodology
13. Very good problem-solving skills
14. Experience with Web technologies is a plus. 

Read less

About us:

Arista Networks was founded to pioneer and deliver software driven cloud networking solutions for large datacenter storage and computing environments. Arista's award-winning platforms, ranging in Ethernet speeds from 10 to 400 gigabits per second, redefine scalability, agility and resilience. Arista has shipped more than 20 million cloud networking ports worldwide with CloudVision and EOS, an advanced network operating system. Committed to open standards, Arista is a founding member of the 25/50GbE consortium. Arista Networks products are available worldwide directly and through partners.

About the job

Arista Networks is looking for world-class software engineers to join our Extensible Operating System (EOS) software development team.As a core member of the EOS team, you will be part of a fast-paced,high caliber team-building features to run the world's largest data center networks.Your software will be a key component of Arista's EOS, Arista's unique, Linux-based network operating system that runs on all of Arista's data center networking products.

The EOS team is responsible for all aspects of the development and delivery of software meant to run on the various Arista switches.You will work with your fellow engineers and members of the marketing team to gather and understand the functional and technical requirements for upcoming projects.You will help write functional specifications, design specifications, test plans, and the code to bring all of these to life.You will also work with customers to triage and fix problems in their networks. Internally, you will develop automated tests for your software, monitor the execution of those tests, and triage and fix problems found by your tests.At Arista, you will own your projects from definition to deployment, and you will be responsible for the quality of everything you deliver.

This role demands strong and broad software engineering fundamentals, and a good understanding of networking including capabilities like L2, L3, and fundamentals of commercial switching HW.Your role will not be limited to a single aspect of EOS at Arista, but cover all aspects of EOS.

Responsibilities:

• Write functional specifications and design specifications for features related to forwarding traffic on the internet and cloud data centers.
• Independently implement solutions to small-sized problems in our EOS software, using the C, C++, and python programming languages.
• Write test plan specifications for small-sized features in EOS, and implement automated test programs to execute the cases described in the test plan.
• Debug problems found by our automated test programs and fix the problems.
• Work on a team implementing, testing, and debugging solutions to larger routing protocol problems.
• Work with Customer Support Engineers to analyze problems in customer networks and provide fixes for those problems when needed in the form of new software releases or software patches.
• Work with the System Test Engineers to analyze problems found in their tests and provide fixes for those problems.
• Mentor new and junior engineers to bring them up to speed in Arista’s software development environment.
• Review and contribute to the specifications and implementations written by other team members.
• Help to create a schedule for the implementation and debugging tasks, update that schedule weekly, and report it to the project lead.

Qualifications:

• BS Computer Science/Electrical Engineering/Computer Engineering 3-10 years experience, or MS Computer Science/Electrical Engineering/Computer Engineering + 5 years experience, Ph.D. in Computer Science/Electrical Engineering/Computer Engineering, or equivalent work experience.
• Knowledge of C, C++, and/or python.
• Knowledge of UNIX or Linux.
• Understanding of L2/L3 networking including at least one of the following areas is desirable:

1. IP routing protocols, such as RIP, OSPF, BGP, IS-IS, or PIM.
2. Layer 2 features such as 802.1d bridging, the 802.1d Spanning Tree Protocol, the 802.1ax Link Aggregation Control Protocol, the 802.1AB Link Layer Discovery Protocol, or RFC 1812 IP routing.

• Ability to utilize, test, and debug packet forwarding engine and a hardware component’s vendor provided software libraries in your solutions.
• Infrastructure functions related to distributed systems such as messaging, signalling, databases, and command line interface techniques.
• Hands on experience in the design and development of ethernet bridging or routing related software or distributed systems software is desirable.
• Hands on experience with enterprise or service provider class Ethernet switch/router system software development, or significant PhD level research in the area of network routing and packet forwarding.
• Applied understanding of software engineering principles.
• Strong problem solving and software troubleshooting skills.
• Ability to design a solution to a small-sized problem, and implement that solution without outside help.Able to work on a small team solving a medium-sized problem with limited oversight.

Resources:

• Arista's Approach to Software with Ken Duda (CTO): https://youtu.be/TU8yNh5JCyw
• Additional information and resources can be found at https://www.arista.com/en/

Omnitroncis is on a mission to bring robotics to real-life applications. We build & provide services for smart products. At the heart of each product is the amazing team which integrates software, hardware, sensors, AI, computer vision systems, machine learning models and robotics to orchestrate and automate the entirety of products and operations. As a result, we are able to lead better lives.

About Us:

This is an opportunity to join a growing team of electrical, mechanical and software engineers and make a substantial impact at Omnitronics. We are looking for someone that can learn, adapt and roll with a fast-paced, ever-changing environment and who isn’t afraid of uncertainty. Embedded engineering at Omnitronics involves developing electronics solutions that power a modern smart device. This involves unique industrial control systems, environmental sensor technology, data collection, computer vision systems, and automation. You ll be involved with idea generation, design, prototyping, planning, and the execution of firmware and hardware for our IoT devices.

Prerequisites

• We are looking for a person who is really interested in & enjoys technology, is Passionate about Innovation, and Can go the extra mile for perfection.
• Behavioural Attitude: Must be a Quick learner / Highly Dedicated / Responsible person

Require Person: 7

Job Type: Full-time

Office Timing: 10:00 am to 7:00 pm

Expected Start Date: ASAP

Fresher Salary: 3,000 to 15,000

Experience Salary: 10,000 to 45,000

Location: Must be from Surat, Gujarat

Below are the skills we are looking for in a candidate.

• Strong hands-on C/C++, Embedded System Development 
• Hands-on experience on ESP-IDF, STM32CubeMX, Embedded Linux, RTOS
• Good to have Python, Shell/Bash Scripting, Toolchains
• SPI, I2C, UART, RS485, CAN, and hardware subsystems
• Hardware and IoT / IT Communication protocols knowledge
• Problem-solving and analytical skills.
• Familiar with Standards (SOLID Principles, OOPs, Misra C, etc)
• Schematic / PCB Designing verification
• Ability to trace difficult problems using a variety of tools (debugger, JTAG emulator, logic analyzer, oscilloscope).
• Design, develop, code, test, and debug system software.

We are looking for Embedded software developers who will be responsible for designing, developing, optimizing, and implementing the software that is programmed into devices built around a processor/controller. Candidates need to write code to solve problems and implement systems that make a physical hardware device work through software.

Thanks and Best Regards