Software Engineer

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.

What will you do?

• Oversees testing, deployment & maintenance of the Voice infrastructure.
• Performing a variety of tasks associated with user provisioning and call routing within the assigned platform 
• Build loaders for internal systems ensuring tasks are completed accurately and in a timely manner
• Participate in meetings with clients and internal departments to understand the requirements of call routing
• Document and design call flow diagrams to ensure that all call variables have been accounted for in preparing a routing plan
• Support the clients solution by correcting any issues with call routing or provisioning during the initial implementation phase, constantly communicating status of any issues with client
• Complete testing to ensure that call flow is operating properly
• Monitors and ensures compliance to standards, policies, and procedures

What are we looking for?

• 0.6~2 year’s implementation experience in Asterisk PBX, IP Telephony, SIP.
• Able to thrive in a demanding and team-oriented environment
• Basic and strong knowledge of the Linux operating system.
• Knowledge of bash and perl shell scripting is an added advantage.
• RHCE Certification is an added advantage.

About Statcon Electronics 

Statcon Electronics India Limited Statcon Electronics India Limited is a company specializing in the field of power electronics since its inception, with its roots going back to 1986. It has held prestigious clientage both nationally and internationally, with ABB, Alstom, BHEL, Indian Air Force, Indian Army, Indian Railways, GAIL, and Indian Oil, to name a few. SEIL has a diverse portfolio, spanning across 4 sectors – Railways, Power, Defence and Solar energy.  

About the position 

We are looking for a multiple embedded software engineers with experience in developing firmware for controlling power electronics systems. Openings are available for senior and principal engineer positions across multiple product streams, and target markets include the Indian subcontinent, Africa and North America. 

Required Technical skills 

• Demonstrated experience in developing embedded firmware for real-time power electronics systems using 16/32 bit ARM microcontrollers (ST Microelectronics preferred).  
• Must have shipped at least 1 major relevant product to the market which meets standard industry specifications. Experience with designing for North American/European markets a plus. 
• Experience with common communication protocols such as SPI, I2C, USB, UART, Bluetooth, Ethernet, RS232, and RS485 
• Experience with peripherals and systems such as ADC, DAC, timer, GPIO, PWM, DMA, NVIC, serial and parallel interfaces, memory, bootloaders and watchdog timers 
• Proficiency in advanced algorithm development using Embedded C 
• Experience with embedded software tools such as editors, assemblers, compilers, debuggers, simulators, emulators and Flash/OTP programmers. 
• Thorough understanding of power electronics topologies and control strategies 
• Good grasp over digital signal processing techniques 
• Ability to read and interpret component datasheets, PCB schematics and layout design 
• Familiarity with using measurement devices such as oscilloscopes, multimeters, function generators and logic analyzers to bring up and debug hardware 
• Demonstrated knowledge of firmware development best practices (code reviews, unit tests, Software Configuration Management, version control using git etc.) 
• Excellent documentation skills, and a good grasp over the English language 
• Comfort in using modern collaborative tools such as Slack/Microsoft Teams, JIRA/Trello/Microsoft Planner, Confluence/Microsoft OneNote and the like. 

Bonus Technical skills 

• Experience using at least one scripting language, preferably Python 
• Experience with designing for North American/European markets 
• Experience with designing for IEC and BIS standards 
• Familiarity with EMI/EMC process 
• Ability to simulate power electronics systems using Simulink/MATLAB or equivalent open-source tools 
• Familiarity with agile software development processes 
• Experience with Linux administration using command line 

Soft skills 

• Ability to mentor junior engineers and generate testing procedures for people of all skill levels 
• Excellent inter-personal skills 
• Strong attention to detail with the ability to work on tight deadlines 
• Team player with the ability to work independently under minimal supervision 
• Excellent problem-solving skills 
• Ability and desire to learn new technologies quickly 

Qualifications 

• Junior Engineer: A Master's (preferred) in Electrical/Electronics/Computer Engineering with 1 year of industrial experience, or a Bachelor's with 3 years of relevant industrial experience. 
• Senior Engineer: A Master's (preferred) in Electrical/Electronics/Computer Engineering with 4 years of industrial experience, or a Bachelor's with 6 years of relevant industrial experience. 
• Principal Engineer: A Master's (preferred) in Electrical /Electronics/Computer Engineering with 8 years of industrial experience, or a Bachelor's with 10 years of relevant industrial experience. 

Responsibilities 

• Develop, implement and test cutting-edge algorithms for medium and high-power AC-DC, DC-AC and AC-AC conversion of 1 phase and 3 phase AC systems up to 440 V AC, and DC-DC conversion of systems up to 1000 V DC. 
• Develop sensing and IoT solutions for power electronics embedded systems 
• Convert product requirements into technical specifications for Indian and international markets 
• Cover all stages (pertaining to firmware) of V model for product development 
• Generate technical documentation describing product functioning and test procedures for hand-off to SQA 
• Debug product failures in the field using data-driven analysis techniques 
• Mentor junior engineers 
• Host research talks on emerging technologies within the company 

Statcon Electronics is an Equal Opportunity Employer and considers applicants for all positions without regard to race, color, religion or belief, age, marital status, military/veteran status, genetic information, sexual orientation, gender identity, physical or mental disability or any other characteristic protected by applicable laws. Statcon Electronics is committed to creating a dynamic work environment that values diversity and inclusion, respect and integrity, customer focus, and innovation. For more information, visit www.sindia.co.in. 

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

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/

● Write Effective Codes In C++, Develop Software For Embedded Systems Based On STM32, NRF
● Support And Improve Existing Software
● Prepare Documentation For The Created Software. Qualifications
● Confident Knowledge Of C++ 17, Object-Oriented Programming, Embedded Software Development
● Proficiency With Microcontrollers Of The STM32 And / Or NRF Series
● Experience With RTOS
● Familiarity With Git, Linux
● Technical English
● Knowledge Of Python As An Advantage
● Any Experience With UAS \ UAV \ Drones is much appreciated

1. Programming experience in embedded C and python
2. Experience in embedded systems development and troubleshooting and with real-time operating systems.
3. Experience with embedded C programming for microcontrollers like PIC, Microchip in MPLAB
4. Basic execution of process commands in Linux
5. Experience in handling the raspberry pi