Senior/Staff Software Engineer – EDA

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.

1. Working Experience in

·        C and/or C++ programming

o   Should have Project working experience in C or C++

o   Should have done feature enhancement and/or Bug fixing using C/C++.

·        System Programming knowledge in

o   Muti-threaded programming, Process contexts/forks/execs and system calls

o   IPCs (like Socket programming, Message Queues, semaphores)

o   Linux Operating system

o   File access calls, like file descriptor handled operations.

·        Enterprise Security domain and SaaS

o   IPSec, SSL VPN tunnelling

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/

Want to work with an established & growing IT company? Join team Benison to have the right challenges that will help you accelerate your career growth to the next level, faster!   

Benison Technologies was started in 2011 with a mission to revolutionize the silicon industry in India, with a host of amazing big clients like Google, Cisco, McAfee, Intel, and so on, you get to experience the best of both worlds. If you consider yourself an engineer who is capable to join our ever-growing team, then this is the right opportunity for you:  

Why Benison Tech?   

We have a partial acquisition from one of the biggest names in the world (well we can’t name them thanks to confidentiality) it’s one of the FAANG companies, and you can “Google” it if you like.  

Oh! & one more thing, this did not happen by accident, our team put a ton of efforts to turn this gigantic dream into a reality.  

Benison Tech has a consistent history of demonstrating growth through innovation time and again.   

We don’t stop there, we then re-invest our profits back into the initiatives for the growth of our people, our culture and the company. Now enough with us, let’s talk about the job roles & responsibilities:    

What you will be working on: 

• You will be working on the next generation network security products, on various public clouds. 
• In addition to development, you will also get your hands involved in the architectural changes while fixing the legacy issues. 
• Planning, designing, integration for network security platforms. 

• Key contributor for developing product strategies and features. 
• You will work on hardcore data networking/forwarding areas while acquiring in depth knowledge in DPDK and VPP. 

Here are some technical skills required:  

• Programming languages : C/C++ 

• Work exp on DPDK and packet forwarding area. 
• Good understanding of Linux Kernel, Networking stack in the kernel. 
• Exposure to clouds like AWS, GCP is a big plus. 
• Understanding/Exposure to VPP is a big plus. 
• Strong in packet forwarding, Tunneling (IPsec, GRE, VxLAN) etc. 

What we expect from you:  

• 2+ years of relevant experience 
• Design, Develop & test the various features in dpdk, VPP based system Interact with the customer to help in defining the features, execute and deliver them 
• Mentor the junior team members. 

• Participate in code-reviews and ensure the quality of deliverables. 

If the above fits your skill-sets and tickles your interest then read below about the additional benefits that our company offers to talented folks like you:  

Work Culture and Benefits    

• Competitive salary and benefits package  
  (H1-B which means a chance to work onsite out of India)   
• A culture focused on talent development where you get promoted within the quarterly cycle of your anniversary. 
• Opportunity to work with cutting-edge & challenging technologies including legacy tech. 
• Open cafeteria to grab some munchies while you work, we make sure the space feels like your second home, you can also wear pyjamas if you like.   
• Employee engagement initiatives such as project parties, flexible work hours, and long service awards, team bonding activities within the company, extra learning and personal development trainings, because why stop your learning at one thing!   

• Insurance coverage: Group term life, personal accident, and Mediclaim hospitalization for self, spouse, two children, and your parents. (With some of the best insurance partners in India)  
• Enjoy collaborative innovation (each members gets to innovate & think out of the box), along with highly experienced team managers who maintain diversity and work-life well-being.  
• And of course, you get to work on projects from some of the most recognised brands within the networking and security space of the world, unlocking global opportunities to learn, grow & contribute in a way that is truly impactful yet purposeful at the same time.  

Still not satisfied, and want more proof?  

Head to our website https://benisontech.com/">https://benisontech.com to learn more.  

Developer Software (Embedded)

Location: Udaipur

Qualification: BE in (Electrical/Electronic Engineering)

Technical

· Experience in design and development with structured Software Development Life Cycle for embedded applications

· Proficiency in C language or assembly programming, Microcontroller, Micro Processor.

· Preferably experience in working and understanding the metering domain

· Proficiency in development processes, tools/IDE (KEIL, IAR, Eclipse) & test automation

· Unit testing skill

· Interface RS485, RS232, SPI, I2C, USB, LCD, Keypad, Flash, EEPROM

· Coding Standards and MISRA rules are preferable

· Knowledge of ARM / MIPS / Coldfire / MSP430 / dsPIC / 8051 and other popular processor

· Experience in working on communication products based on GPRS, ZIGBEE, ZWAVE, Ethernet, Power line communication, DLMS, MODBUS

Job Description

· Understand improvement requirements and develop improvement solutions & package, according to technical specifications / high-level solution design

· Responsible to carry out effective and timely unit testing, in order to, deliver first time right solutions

· Development of automation framework/compiler / emulators to speed up business delivery cycle in NPI programs

· Keep track of new trends, continuously learn and self-develop skills by ensuring effective knowledge sharing through group meetings and training. Impart training to new joiners as and when assigned

· Proficiency in developing embedded software design with high reusability using relevant tools and BSM or flow diagram

Role & Responsibilities

• Strong proficiency in C++ with minimum 2 years of Development
• Knowledge of the STL, containers, algorithms and data
• Good understanding on Design patterns and memory
• Familiarity with debugging tools, such as Valgrind, winDBG, WireShark is an additional advantage.

Desired Experience

• (2-6 Years) of Experience as C++ Developer

We are looking for passionate, talented and super-smart engineers to join our product development team. If you are someone who innovates, loves solving hard problems, and enjoys end-to-end product development, then this job is for you! You will be working with some of the best developers in the industry in a self-organising, agile environment where talent is valued over job title or years of experience.

Responsibilities:

• You will be involved in end-to-end development of VIMANA technology, adhering to our development practices and expected quality standards.
• You will be building machine/controller specific applications that run on machine tools and stream the machine stats.
• You will be part of a highly collaborative Agile team which passionately follows SAFe Agile practices, including pair-programming, PR reviews, TDD, and Continuous Integration/Delivery (CI/CD).
• You will be part of a DevOps culture where you will get to work with production systems, including operations, deployment, and maintenance.
• You will have an opportunity to continuously grow and build your capabilities, learning new technologies, languages, and platforms.

Requirements:

• Undergraduate degree in Computer Science or a related field, or equivalent practical experience.
• 3+ years of product development experience.
• Proficiency in C, C++, Multi-Thread application development, STL, Boost and TCP/IP programming.
• Optionally should have some basic knowledge on C#, Python and Wireshark.
• Deep knowledge in Data Structures and Algorithms, using various debuggers (Local/Remote).

Additional Skills:

• Experience in working with Agile software methodologies (XP, Scrum, Kanban), TDD and Continuous Integration (CI/CD).
• Experience using no-SQL databases like MongoDB or Elasticsearch.
• Prior experience with container orchestrators like Kubernetes is a plus.

• We recognize that our dedicated team members make us successful and we offer competitive salaries.
• We are a workplace that values work-life balance, provides flexible working hours, and full time remote work options.
• You will be part of a team that is highly motivated to learn and work on cutting edge technologies, tools, and development practices.
• Bon Appetit! Enjoy catered breakfasts, lunches and free snacks!

RESPONSIBILITIES AND QUALIFICATIONS

Responsibilities

+ Design, build and maintain low latency, high-performance electronic trading platform components, with a focus on market data, exchange and client connectivity and risk controls.

+ Deliver continuous optimization for latency, scale and resiliency improvements.

+ Participate in system builds for various markets globally, have curiosity and interest in understanding market microstructure details, work closely with engineering, sales and product teams globally for successful delivery of projects.

+ Basic Qualifications

+ Bachelors or Masters degree in computer science or engineering or equivalent experience

+ 5+ years of professional experience developing deterministic high performance, low latency systems in python/C++ (counted in single digit microseconds)

+ Prior experience with FIX and binary exchange connectivity and market data protocols preferred

+ Strong knowledge of object oriented programming, data structures, algorithms and design patterns

+ Critical path analysis, performance optimization and hardware acceleration.

+ Linux systems programming experience including memory management, concurrent programming infrastructure, and the networking stack

+ Experience developing distributed architecture systems and messaging protocols

+ Strong analytical and problem solving skills

+ Comfortable in a fast-paced environment, self-motivated, results driven and commercially focused

Preferred Qualifications

+ Software development in python/C++ in the context of high performance (low- latency, high-throughput) real-time computing.

+ Familiarity with STL and C++11 language extensions, Boost

+ Network programming (sockets, TCP/UDP/Multicast protocols)

+ Multi-threading, concurrent programming

+ Intimate knowledge of compilers, flow of data at hardware level (memory/ caches, buses) + Some experience with FPGA or other hardware acceleration technologies

+ Experience processing large static datasets as well as high volume ticking data sources

+ Over 3 years' experience in Financial industry (Plus)