
About Espressif Systems India Pvt Ltd
About
Connect with the team
Similar jobs
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:
- Strong hands-on experience with Formal Verification tools (e.g., JasperGold, VC-Formal, Questa Formal).
- Experience writing formal properties using System Verilog Assertions (SVA) or Property Specification Language (PSL).
- Proven understanding of Formal Verification methodologies, complexity reduction techniques, and abstraction techniques.
- Fluency in hardware description languages, such as SystemVerilog.
- 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.
Job Description :
Position Name: Network Software Developer
Experience: 4 to 8 Years
Work Mode: Work from Bangalore office (near Bellandur) all 5 days.
Mandatory:
- 4+ years of work experience in Networking domain.
- Highly proficient in C and Linux environment.
- Experience in working on Linux based large code base.
- Hands-on experience in working OpenWrt based router firmware.
- Hands on experience with IP and lower layer networking protocols.
Great to Have:
- Experience in working on Qualcomm and MediaTek chipsets.
- Experience in Linux device drivers and device trees.
- Experience in creating and applying Linux kernel patches.
The Senior Software Engineer works with an experienced cross-functional team to deliver innovative wireless communication security products. They will utilize real world knowledge and a disciplined approach to product development, and adapt readily - Time-To-Market demands, ensuring product quality and timely delivery in a highly dynamic market environment.
ESSENTIAL FUNCTIONS :
- Design and deliver server platform based software products from conceptual stages to production delivery.
- Work independently on all phases of server centric software development including specification, architecture design, rapid prototyping, efficient coding, integration, debug and unit testing. Support UL and EN regulatory compliance
- Work collaboratively and effectively as part of a small team on fast paced projects that have tight deadlines.
- Support manufacturing life cycle for new products from NPI to production run and incremental software release of functionality.
- Lead, train, and mentor junior engineers
- Document and present design requirements to staff
- Possess a demonstrated ability to communicate with customers via email and phone
REQUIRED SPECIFIC JOB KNOWLEDGE, SKILL AND ABILITY :
The individual must possess the following knowledge, skills and abilities and be able to explain and demonstrate that he or she can perform the essential functions of the job, with or without reasonable accommodation, using some combination of skills and abilities.
- Must be an excellent SW developer. We expect experience developing software C/C++ in Linux and Perl. Other scripting languages is a plus (i.e. Python).
- Strong experience with SQL, Database design (MySQL a plus)
- Experience with Network Security Administration and understanding of the full SDLC.
- Experience with Multithread, Socket connection, OpenVPN server setup, OpenSSL, Certificate, Encryption, and TCP/IP troubleshooting.
- Experience with Testing tools, virtualizing servers, and using source control (SVN a plus).
- Experience with Linux development infrastructure, tool chain and build environment (Jenkins a plus).
- Experience developing both Linux application software; installing Linux software and configuring Linux systems.
- Experience with Application server remote update, and Apache Server authentication.
- Proven record of designing and delivering complex networking products from inception to production delivery.
- Previous experience developing quality software for commercial products.
- Experience with communication systems involving wireless, radio, security and mesh networking technologies is a plus.
Experience with OSI networking protocols and applications is a plus.
- Experience with system development tools, including Source-Level Debuggers, Protocol Analyzers (Wireshark), Code Analysis tools, etc.
- Experience with any of the following is nice to have: Apache Server, GPIO, TCL/Tk, BACnet, Cloud server setup, and WebGUI design (javascript and jQuery a plus).
As a partial Google-acquired company, we’re proving success doesn’t come by accident.
Benison has a history of demonstrating growth by innovation. We re-invest our profits back into the initiatives for growth of our people and the company. The culture, technology innovations, customer service, our actions are aligned to our values. Our value and culture is the reason why our people stay with Benison much longer than industry standards
Get the best from your life with Benison
Join the Benison Developer Family*
Benison Technologies is filled with passionate people who lead fascinating lives. You’ll fit right in. From the amazing benefits, mentorship, growth opportunities and team bonding activities, we help you thrive while experiencing the Benison life.
Roles & Responsibilities
-
Develop detailed software functional specification, articulate system/software architecture specifications for product features to meet product requirements
-
Design and implement new functions mainly in C/C++
-
Work on Networking and security modules in L4-L7
-
Peer code reviews
-
Write unit tests using C++
Requirements
-
Experience 4 - 20 years within SW development
-
Excellent C/C++ and object-oriented programming skills
-
Excellent design analysis skills, including experience with software modeling,
-
high-availability, software reuse, performance, testability, and extensible
-
Excellent Networking programming skills on Linux L4- L7
-
Structured and thorough with analytical and troubleshooting skills
-
Highly motivated team player
-
Agile way of working
Type of work
L4 - L7 Developer
For more information you may visit *
https://benisontech.com/" target="_blank">https://benisontech.com/
-
Design and implement software of embedded devices and systems from requirements to production and commercial deployment.
-
Design, develop, code, test and debug system software Review code.
-
Support software QA and optimize I/O performance.
-
Interface with hardware design and development Assess third party and open source software.
-
hands-on development and troubleshooting on embedded targets Solid programming experience in C or C++.
-
Experience in programming Embedded C/C++ applications with strong background in C/C++ inheritance, templates and pointers.
-
Strong in OS concepts like efficient multi-threading and resource-sharing.
-
Experience in working with firmware, application and board support packages.
-
Expert knowledge on protocols like (RS485 SPI, I2C, ADCs, PWM, CAN).
-
Embedded development tools and methodologies. • Version Control Systems - Clear Case / RTC /GIT.
-
Strong development experience in embedded C and RTOS. • Should have detailed knowledge and experience on microcontrollers / microprocessors ( 16 bit/32-bit).
-
Experience in configuration management & defect tracking tools.
-
Strong debugging skills.
-
Must be a self-starter.
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 .
|
|
|
Excellent knowledge of OS concepts |
|
Working knowledge with SW design and development tools |
|
Basic knowledge of software and system integration |
|
Excellent knowledge of AutoSAR architecture |
|
Knowledge of ISO26262 Functional Safety, |
| Knowledge of programming languages (Embedded C, C++) |
| Atlassian Suite (Jira, Confluence) knowledge |
|
|
|
|
|
|
- Bachelor’s degree in Electrical or Electronics Engineering with 1-3 years of relevant experience.
- Highly experienced in Embedded C, C++ coding as per MISRA standards
- Experience in firmware programming for 8 bit, 16 bit and 32 bit controllers.
- Knowledgeable in Linker Scripts, Make files & firmware debugging using JTAG or on the UART console.
- Experienced in Communication peripherals like SPI, UART, I2C, CAN, etc.
- Ideation, designing, prototyping, and developing as per product requirements.
- Expertise in system architecture and design for Embedded software systems.
- Develop modular Embedded Code to port into different projects.
- Experience on Real Time Systems and Scheduling mechanisms
- Development experience in "middleware" / “application” / Low layer.
- Experience with developing embedded code for networking technologies like TCP/IP and UDP would be a plus.
- Document state machine diagrams, flow charts to understand the system architecture
- Working closely with Design teams to understand Hardware Implementation.
- Develop Test methods, in some cases automated test cases to test the firmware code and support hardware engineers.
- Use Debuggers, oscilloscopes, power supplies, and other necessary electrical tools to debug the code for problem-solving.
- Excellent reading skills for complete understanding of technical documents such as Processor Architecture Specifications and MCU hardware manuals, schematics etc.
- Ability to generate ideas in response to complex issues and execute on solutions.
- Python programming is a big plus.
Flux Auto builds autonomous vehicle technology for commercial and industrial applications.
Flux Auto was founded in 2017 with the goal of democratizing autonomous vehicle technology and bringing its benefits to vehicles - new and old - around the world. We develop the various hardware and software technologies to make vehicles move and operate autonomously. Everyday our engineers are working to solve new and unique challenges for our clients in India, and North America.
We are a multidisciplinary team solving some of the most challenging problems in
autonomous technology and robotics. Join us in our journey to democratize autonomous mobility!
Experience required: 1 year of internship and projects done in similar domain.
About the role:
We are looking for a candidate with conceptual understanding of classical control systems and logic building. The candidate should be able to understand the existing control stack, tune the hyper-parameters and make necessary changes as per the need. The position requires you to have a basic understanding of automotive systems which will be an added advantage and also help in clear understanding of the application.
Team works towards development of algorithms and model based design for different features to achieve autonomy level 3 and level 4. The algorithms are continuously tested on simulation and vehicle system for verification and validation.
Requirements:
- 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.
Responsibilities:
- 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.
Good to Have:
- ROS and ROS2 experience
- Vehicle dynamics modelling and simulation.
- Experience with version control using Git.
Benefits:
- Health Insurance
- Employee Stock Options
- Work from Home
- Flexible work hours
- Monthly Team outings and events
- Budget for up-skilling
- Flexible vacation
Equal Opportunity Employer:
Flux Auto's employment decisions are made without regard to race, color, religion, national origin, gender, sexual orientation, age, gender identity, genetic factors, military/veteran status or other characteristics protected by law.
Vaccination Requirements:
Flux Auto is implementing new requirements for employees to be fully vaccinated from COVID-19.
Apply Now!










