C/C++ Developer

Education : B.Tech / M.Tech only

MANDATORY CRITERIA:

• It's a Contractual role for a particular project ongoing in the company, duration will be 1 year or may exceed as per the project requirement, After that the candidate will be kept on permanent role.
• The candidate will be on company's payroll only.
• Candidate should be comfortable for directly visiting and working with client's place.
• Immediate to 15 days joiner preferred
• 3 to 5 years of hands-on experience in Linux Device Driver development
• Strong experience with Linux kernel programming & memory management
• Experience with Zephyr OS / device driver model (porting bare-metal drivers).
• Familiarity with RTOS linux kernel internals and hardware protocols (They mainly use AXI protocol, i2c, spi).
• Strong knowledge of PCIe and DMA drivers
• Proficiency in C / C++ programming languages
• Experience working with hardware interfaces/protocols (AXI, I2C, SPI)

REQUIRED SKILLS:

• Proven experience in developing Linux Device Drivers.
• Preferred experience in Zephyr (need to port bare metal drivers to zephyr OS/device driver model).
• Strong knowledge of PCIe and DMA drivers (Good to know Xilinx's IPs like AXI-DMA, XDMA etc).
• Expertise in Linux Memory Management.
• Proficiency in C/C++ programming languages.
• Preferred familiarity with real-time operating systems (RTOS), linux kernel internals and hardware protocols (They mainly use AXI protocol, i2c, spi).

Immediate to 15 days joiners are preferrable we need to close it asap.

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.

Embedos is looking for super heroes, who can help us succeed in our endeavour of becoming a beacon for providing problem solving Industrial IoT Solutions.

Location: MUMBAI

VACANCY: 3 - 4

Embedos makes Controllers –Interface devices and cloud based Software solutions for Remote Monitoring and Control, Industry 4.0 Applications.

We are looking for Engineering super heroes, who have a flare and interest in Core hardware / firmware / embedded software/ Networking and web technologies.

We would want engineers who have wide interests and want to work on multiple specializations. Functions in the embedded domain

• Hardware design small signal /Tele communication/interface electronics/Digital /Latest Microprocessors STM , ESP ,interfaces , I2C, SPI / Peripherals / Schematics /PCB Routing

• Programming languages for embedded devices respective IDEs s, debugging systems

• RTOS, Real time programming concepts.

• Linux Kernel programming, peripheral drivers.

• Communication protocols like Modbus, CAN, OPC other industrial protocols.

• Open source software, documentation, versioning systems.

• Web technology, Web applications, Networking technology, Cloud Interfacing.

We invite you to come and join in our Core team to make this endeavour a success and share the rewards.

Embedos is looking for Super Heroes to work on cutting edge technology involving interfacing IoT enabled Firmware, cloud computing software, generating exciting user interfaces, developing API’s, designing web app architectures, deploying re - usable code and the works.

Lifespark Technologies is looking for individuals with a passion for impacting real lives through technology. Lifespark is one of the most promising startups in the Assistive Tech space in India, and has been honoured with several National and International awards. Our mission is to create seamless, persistent and affordable healthcare solutions. If you are someone who is driven to make a real impact in this world, we are your people.

Lifespark is currently building solutions for Parkinson’s Disease, and we are looking for an embedded software lead to join our growing team. You will be working directly with the founders on high impact problems in the Neurological Healthcare domain. You will be solving some of the most fundamental and exciting challenges in the industry and will have the ability to see your insights turned into real products every day

Responsibilities :

1. RTOS based multithreaded software development

2. Building future ready, scalable software architectures

3. Liasing with hardware team to decide project requirements

4. Realtime IoT functionality development on ESP32 platform

5. Integration of third party services for cloud based communications and computation

6. Maintaining and documenting software via git (GitLab)

7. Coordinating releases, setup and maintenance of CI/CD pipelines

8. Managing AWS based backend services, integration with AWS services such as S3,

Sagemaker

9. Firmware security, Flash encryption, Bootloader encryption, secure communications

10. Deep integration with hardware team - stress testing hardware

11. Development of device drivers

12. Software testing and maintenance

Recommended experience :

1. Good command over Linux

2. Familiarity with real time tasks and timing sensitive system design

3. Familiarity with BLE/Wifi/etc IoT communication protocols

4. Familiarity with major third party platforms for cloud and ML/AI integration

5. Testing actual physical outcomes of programmed solutions

6. Deep familiarity with ESP-IDF

Location : IIT Bombay, Mumbai

Working mechanism : In-person

Compensation range : 4-12 lpa + ESOPs

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/

• Experience  4 - 8 years
• Key Skills for Software Developer C++, Linux :
• - Looking only for candidates who can join immediately or max 10 day
• - should be able to work independently with no handholding
• - the ability to work with C/C++ code on Windows/Linux platforms
• - Database knowledge of MSSQL, Oracle, MySQL/MariaDB, ideally other ones too: Saphana, Teradata, Postgres.
• - Ability to work on their own fixing defects
• - should be able to understand secure coding practices
• - should have the Ability to work independently and with the team across different time zones

The ideal candidate will be responsible for developing high-quality WIFI applications. They will also be responsible for designing and implementing testable and scalable code.

Job requirement and Skills

• Embedded development in C/C++ on Linux
• Experience with WiFI chipsets (Atheros / Qualcomm / Broadcom)
• Worked with WiFi drivers and WiFi stack
• Strong debugging skills

Experience

• Minimum 5-10 years of experience
• Educational Qualifications: BE/ME
• Experience developing RRM, SON features in WiFi will be great .