Senior Embedded 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.

 Internship Opportunity – Embedded Systems & IoT

Join our hands-on internship program designed for engineering students passionate about core tech. You'll work on real-time projects involving microcontrollers, sensors, RTOS, circuit design, and IoT protocols.

Gain exposure to AI-integrated embedded applications and build a strong project portfolio with mentorship and placement support.

Location: Bangalore (Hybrid/On-site)

Duration: 2–3 months

Eligibility: Final-year students and pre final year (ECE/EEE/CSE/Mechatronics)

#EmbeddedSystems #IoTInternship #EngineeringInternship #CoreTechCareers #Microcontrollers #RTOS #PCBDesign #IoTProjects #KnowxInnovations #AIoT #TechInternship #SkillDevelopment #HandsOnLearning #BangaloreInternship #StudentInternship

Desired Candidate Profile For Embedded Developer Role

1. Proficient in C language
2. Proficient in Linux application development, TCP/IP protocol, multi-threaded programming, basic encryption algorithm,
3. familiar with Linux system commonly used API and commands, proficient in basic debugging means and methods.
4. Proficient in STM32 and other SCM development, skilled in using Keil and other integrated development environment,
5. proficient in serial port communication programming, Bluetooth, GPIO, SPI, EEPROM and other development, proficient in basic debugging means and methods.
6. Have basic hardware skills and knowledge, can draw PCB and read circuit diagrams, can use an oscilloscope and other tools for debugging.
7. Familiar with embedded system, free-RTOS, RT-Thread, etc.
8. Fluency in both spoken and written English.

Basic Qualification: BE / Btech Computer Science

Desirable Skills:

1.Software development using Embedded C, C++ with programming standards (MISRA)

2.Knowledge of bus systems, which are used in the automotive industry, like CAN, LIN, I2C, SPI, etc)

3.Software development processes –A-SPICE V-cycle

4.Experience with development of control units for the automotive industry, especially experience with the development based on AUTOSTAR basic software.

5. Experience in the automotive industry according to common development and parameterization tools (i.e. Vector CANoe).

6.Knowledge of standards for safety-critical software (ISO 26262) is a plus.

● 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

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

DUTIES & RESPONSIBILITIES 

• Own & lead full cycle development: design, implementation, testing & debugging for an automotive product.
• Create conceptual system designs, assess risks, conduct design trade studies, and develop a product that meets feature requirements for integrating sensor, processing and software systems. 
• Lead innovative system development projects with responsibility for achievement of cost, schedule, and technical requirements, with an eye toward technology maturation, transition, and follow on work. 
• Generate comprehensive engineering documentation.
• Responsible for end-to-end system firmware development to include power management, boot loaders, scheduling, RTOS and /or bare metal implementations.
• Troubleshoot and resolve complex software problems in embedded real-time systems.
• Source code development, review & maintenance (C/C++).
• Dive into & take ownership of critical design issues.
• Analyse & propose solutions for performance bottlenecks.
• Address all aspects of technology readiness, including manufacturability. 
• Help build robust methodology and processes to deliver the technology to products. 

REQUIRED SKILLS & EXPERIENCE 

• Experience in embedded architecture, external interfaces, product constraints, along with ability to develop architectures / features that meet these constraints while providing new value for the platform. 
• Experience in system architecture, operating system, device architecture, hardware design.
• Strong background in software methodology & full cycle development (Design, implementation, testing & debugging).
• Expertise in embedded microcontrollers’ architecture.
• Expertise in software designing and programming in C/C++ is a must.
• Algorithm modelling, benchmarking, implementation & digital signal processing.
• Understanding of hardware & software co-verification & emulation platforms
• Experience in understanding hardware, clock-level issues, bridges, delays, interrupts, clock gating, polling etc. 
• Experience with lab instrumentation like oscilloscope, logic/ protocol for debugging embedded systems at HW level. 
• Bachelors | Masters degree in Computer Science or Electronics &  Communication engineering with 2-5 years of relevant experience is a must.