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.

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.

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

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/

FURIOUS FOX is looking for Embedded Developers with strong coding skills in C & C++ as well as experience with Embedded Linux.

Experience : (Minimum 7-10 yrs)

• Experienced in edge processing for connected building / industrial / consumer

appliances / automotive ECU

• Have a good understanding of IoT platforms and architecture

• Deep experience in operating systems eg: Linux, freeRTOS / kernel development/device drivers.

/ sensor drivers

• Have experience with various low-level communication protocols, memory devices, messaging

framework etc.

• Have a deep understanding of design principles, design patterns, container preparations

• Have developed hardware, OS abstraction layers, and sensor handlers services to manage various BSP, os standards

• Have experience with Python edge packages.

• Have a good understanding about IoT databases for edge computing

• Good understanding of connectivity application protocols and connectivity SDK for Wi-Fi and BT / BLE

• Experienced in arm architecture, peripheral devices and hardware board configurations

• Able to set up debuggers, configure build environments, and compilers and optimize code and performance.

Skills / Tools:

• Expert at object-oriented programming

• Modular programming

• C / C++ / JavaScript / Python

• Eclipse framework

• Target deployment techniques

• IoT framework

• Test framework

Highlights :

• Having AI / ML knowledge in applications

• Have worked on wireless protocols

• Ethernet / Wi-Fi / Bluetooth / BLE

• Highly exploratory attitude

• willing to venture in and learn new

technologies.

• Have done passionate projects based on self-interest.

• Sound knowledge in controller design and analysis.
• Good understanding in optimisation based control algorithms.
• Experience with implementing PID controller for various unstable system.
• Experience with vehicle modelling and analysis.
• Good understanding of implementation/debugging/testing model and control algorithms.
• Candidate should have experience in programming concepts like OOPS in C++ and Python with robust and efficient coding.
• Experience in Matlab/Simulink, Stateflow.
• Good understanding in code generation, implementation and testing for real time intergration embedded system.

• Algorithm development for different control features.
• Testing of algorithm architecture along with tuning and validation.
• Working with simulation team to integrate and test models and algorithms into simulation environment for rapid development and validation.
• Tuning and validation of plant models to emulate real physical systems’ behaviour
• Co-ordination with other departments to maintain consistency and compatibility in department stack.

• ROS and ROS2 experience
• Vehicle dynamics modelling and simulation.
• Experience with version control using Git.

• Health Insurance
• Employee Stock Options
• Work from Home
• Flexible work hours
• Monthly Team outings and events
• Budget for up-skilling
• Flexible vacation

Solinas Integrity (www.solinas.in) is a leading water & sanitation robotics start-up founded by IIT Madras Alumni & professors to develop cutting edge solutions to solve the problems in water pipelines and sewer lines\septic tanks, thereby improving the lives of millions of people. Our core values start with trust, and respect for everyone and along with strong collaboration and communication. We believe in giving agency to our teammates and strongly pushing them towards developing a growth mindset.

Duties and Responsibilities:

• To develop and improve signal processing algorithms for analysis of acoustic signals with up-to-date knowledge on processing methods.
• Understand key acoustic algorithm functions, develop efficient code, verify performance and functionality.
• Exposure to all phases of software development life cycle (concept, design, implementation, test, and production).
• Propose innovations to improve performance, quality, etc.
• Work with peers to develop excellent, structured code, well-optimized and easily maintainable.

Basic Qualifications:

● Experience programming in either Python, C++, or MATLAB

● MS/PhD degree in Electrical/Electronics Engineering/ Signal processing

● At least 1 year of signal processing or related area

● Good analytical and problem-solving skills

● Good knowledge of signal processing techniques, basic knowledge of ML algorithms and good visualisation skills.