93 Valgrind Jobs - Page 4

Orthopedic Doctor Job Name: Orthopedic Doctor Role:Orthopedic Industry:Medical/Health Care Location:Dhariyawad / Udaipur (Rajasthan) Experience:1to 4Year Salary:Best in The Industry Education:MBBS,Medical-MS-MD, Orthopaedic Job Summary: We are looking for a skilled Orthopedic Doctor to surgically or therapeutically treat and repair any injuries or illnesses to the musculoskeletal system. The Orthopedic Doctors responsibilities include setting broken bones with braces, pins, splints, or casts, diagnosing injuries or illnesses to bones, joints, and ligaments, and correcting defects to the musculoskeletal system. About The Role :: We are looking for a skilled Orthopedic Doctor to surgically or therapeutically treat and repair any injuries or illnesses to the musculoskeletal system. The Orthopedic Doctors responsibilities include setting broken bones with braces, pins, splints, or casts, diagnosing injuries or illnesses to bones, joints, and ligaments, and correcting defects to the musculoskeletal system. An Orthopedic Doctor may specialize in one area of the body, such as the spine, or in one area such as Pediatric Orthopedics, Oncology Orthopedics, or Sports Medicine. Taking patients histories, using specialized equipment to determine the extent of a fraction or injury, and determining the best mode of treatment. Performing blood tests to check for degenerative bone conditions. Strengthening an area of the body through exercises, ultrasounds, and strength training. Surgically repairing bones, nerves, ligaments, tendons, and joints to promote healing. Treating Acute and chronic injuries and pain. Prescribing medications to aid patients in their recovery. Monitoring patients healing processes and making necessary adjustments to their treatment plans. Arranging rehabilitation plans after surgeries. Supervising and assigning duties to nurses and other medical staff, and referring patients to other specialists for further treatment or recovery plans.

ACL Digital is actively hiring for experienced Senior C++ Software Development Professionals to join our dynamic team. Job Description : C++ Software Development (Strong Coding expert) Experience - 6-12 Years (Strictly this range only) Work Location - Bengaluru Responsibilities & Key Result Areas Application/Technical Solution design in C++ based on Linux Platform Application ownership as an architect to propose, design new architecture for reengineering Impact analysis within the application for any solution/fix designed Quick turnaround in helping the team arrive at a solution for software evolutions, Production issues Close interactions with Technical/Functional experts, Manager/Senior Manager, Development teams, Business Analysts Key player in important migration activities (DB migrations, Cloud migration, mass cutover activities etc) Excellent team player Flexible for different types of tasks as application owner (Solution design, Sizing assessment, Development, Maintenance, Application/transversal activities) Be part of the experts community in the department level at least and share opinion for solutions during critical issues discussed in this forum. Share best practices with other colleagues Competencies Technical / Functional and Managerial Technical: C++ , Unix Environment ( Linux/AIX/HP UX), Oracle/MySQL Detailed : Excellent command on OOPS, Unix Good Knowledge on Database (Oracle Preferred) Hands on experience of using data structures, STL, Boost libraries, Design patterns Good to have exposure to cloud technologies Experience in XML is mandatory and Edifact is preferable Excellent troubleshooting skills using the tools like GDB, Valgrind etc Deep understanding of non-functional requirements (NFR) and/or underlying technologies impacting final solution Able to convey technical information to stakeholders and/ or be able to influence technical decisions Awareness of latest technology trends and standards in the industry. Processes: Scrum, waterfall Methodologies Good Troubleshooting skills, Good Communication Skills Code reviews Weekly reports on status of the items worked Proposals, implementations of best processes and standard practices within the team Immediate joiners are preferred, apply here or connect me zahid.h@acldigital.com

Experience in working with Bluetooth profiles and ability to do analyze air traces to root cause issues Experience in Automotive Infotainment Domain Experience in Modern C++14/17, OOPs, Design patterns. Knowhow with coding guidelines/standards (e.g. MISRA C/C++, CERT C/C++) Experience in Multi-Threading, IPC, RPCThrift, DBUS, gRPC, Sockets. Experience in Build tools like Make, CMake and Git workflow. Experience in Linux, GDB, Valgrind, System Debugging skills. Experience with Test-Driven Development, Google-Test, Robot Framework, Python. Shell Understanding Infotainment System Architecture, Design Principles. Know how on Agile Frameworks and toolsScrum/Kanban, JIRA, Confluence, TMX, R4J Nice to have Experience with Embedded Linux / Yocto/ QNX Knowledge of ASPICE V-Model Processes. Understanding/Experience in containers, hyper visor, virtualization. Experience in Media player, Bluetooth, IAP, Android auto, Device manager, Remote UI. Experience with DevOps-CI/CD. Experience with AppArmour, Threat Modeling, TrustZone, Ability to understand and address Bluetooth security vulnerabilities reported by various research organizations.

About the Role : We're seeking an experienced Runtime Engineer to develop and optimize software systems for our silicon platform. This role focuses on building efficient runtime systems that maximize chip performance while ensuring reliability and ease of use. Key Responsibilities : - Design and implement runtime systems for AI accelerator execution and memory management - Develop and optimize runtime libraries for high-performance tensor operations - Create efficient memory allocation and scheduling algorithms for ML workloads - Interface with hardware subsystems through PCIe interface for optimal data transfer - Build and maintain runtime profiling and debugging tools - Work closely with hardware team to optimize end-to-end performance - Document runtime architecture and implementation strategies - Perform thorough testing and performance analysis of runtime components Required Qualifications : - BTech/MTech in Computer Science or Electronics & Communication - 4+ years of experience in systems programming with C/C++ - Strong understanding of concurrent programming and multithreading - Proficiency with debugging and profiling tools (gdb, valgrind, WinDbg, address sanitizer) - Experience with performance optimization and low-level system interfaces - Knowledge of memory management and scheduling algorithms Nice To Have : - Experience with ML frameworks (TensorFlow, PyTorch) and their runtime systems - Understanding of AI/ML workload characteristics - Background in driver development or hardware interfaces

About The Role - Grade Specific Capgemini is hiring for below Embedded C, Linux(Wifi/BT) interested candidates please apply. About The Role : Experience in design and development of an Embedded Systems. Expert knowledge in developing modular application software using C for an Embedded Linux system. Experience in writing multithreaded application softwares and libraries for Embedded Linux system. Good knowledge of Hardware/Software interfaces and reading schematics. Experience in communication interfaces like CAN, RS232, I2C, SPI, Bluetooth/BLE & GSM AT Commands. Experience in standard automotive communication protocols like J1939. Experience in using various tools like static code analysis, run time debugging tools like GDB & memory debugging tools like Valgrind. An innovative approach to improve processes and solve problems. Good working knowledge in agile-based product development methodology. Effective communication, interpersonal, analytical and problem-solving skills. Experience in Telematics domain is an added advantage. A degree in engineering with 8+ years of experience in embedded software development. Notice Period Immediate to 30days LocationBangalore

Description [Technology and Sub-technology] Good in C++ and OOPS concepts and design patterns Hands on experience with Gstreamer Hands on experience in multithreading, IPC mechanism and linux system programming Understanding of OS concepts and RTOS Good knowledge on Linux Operating System Good debugging skills with GDB, memory analysing with Valgrind [Base Location] Bangalore [Type] Hybrid/WFH/In-office [Qualifications] BTech/BE in computer science/electronics 3-4 years experience in working with linux based system [Job Overview]C++ Developer with good debugging skills [Primary Skills] C++ Programming skills work experience with Gstreamer plugins [Good to have Skills] ROS experience Gstreamer and Gstreamer plugin development C, Python, Bash scripting Git usage and commands [Responsibilities and Duties] Cooperate with team and supportive handle customer/leaders request with priority and timeliness. Proactive to take responsibility Named Job Posting? (if Yes - needs to be approved by SCSC) Additional Details Global Grade B Level To Be Defined Named Job Posting? (if Yes - needs to be approved by SCSC) No Remote work possibility No Global Role Family To be defined Local Role Name To be defined Local Skills C++;C;GStreamer Languages RequiredENGLISH Role Rarity To Be Defined

About The Role Skill Description Experience in working with Bluetooth profiles and ability to do analyze air traces to root cause issues Experience in Automotive Infotainment Domain Experience in Modern C++14/17, OOPs, Design patterns . Knowhow with coding guidelines/standards (e.g. MISRA C/C++, CERT C/C++) Experience in Multi-Threading, IPC, RPCThrift, DBUS, gRPC , Sockets. Experience in Build tools like Make, CMake and Git workflow. Experience in Linux, GDB, Valgrind, System Debugging skills. Experience with Test-Driven Development, Google-Test, Robot Framework, Python. Shell Understanding Infotainment System Architecture, Design Principles. Know how on Agile Frameworks and toolsScrum/Kanban, JIRA, Confluence, TMX, R4J Nice to have Experience with Embedded Linux / Yocto/ QNX Knowledge of ASPICE V-Model Processes. Understanding/Experience in containers, hyper visor, virtualization. Experience in Media player, Bluetooth, IAP, Android auto, Device manager , Remote UI. Experience with DevOps-CI/CD. Experience with AppArmour, Threat Modeling, TrustZone, Ability to understand and address Bluetooth security vulnerabilities reported by various research organizations. Works in the area of Software Engineering, which encompasses the development, maintenance and optimization of software solutions/applications.1. Applies scientific methods to analyse and solve software engineering problems.2. He/she is responsible for the development and application of software engineering practice and knowledge, in research, design, development and maintenance.3. His/her work requires the exercise of original thought and judgement and the ability to supervise the technical and administrative work of other software engineers.4. The software engineer builds skills and expertise of his/her software engineering discipline to reach standard software engineer skills expectations for the applicable role, as defined in Professional Communities.5. The software engineer collaborates and acts as team player with other software engineers and stakeholders. Skills (competencies) Verbal Communication

About The Role : Experience in working with Bluetooth profiles and ability to do analyze air traces to root cause issues Experience in Automotive Infotainment Domain Experience in Modern C++14/17, OOPs, Design patterns. Knowhow with coding guidelines/standards (e.g. MISRA C/C++, CERT C/C++) Experience in Multi-Threading, IPC, RPC:Thrift, DBUS, gRPC, Sockets. Experience in Build tools like Make, CMake and Git workflow. Experience in Linux, GDB, Valgrind, System Debugging skills. Experience with Test-Driven Development, Google-Test, Robot Framework, Python. Shell Understanding Infotainment System Architecture, Design Principles. Know how on Agile Frameworks and tools:Scrum/Kanban, JIRA, Confluence, TMX, R4J Nice to have Experience with Embedded Linux / Yocto/ QNX Knowledge of ASPICE V-Model Processes. Understanding/Experience in containers, hyper visor, virtualization. Experience in Media player, Bluetooth, IAP, Android auto, Device manager, Remote UI. Experience with DevOps-CI/CD. Experience with AppArmour, Threat Modeling, TrustZone, Ability to understand and address Bluetooth security vulnerabilities reported by various research organizations. Works in the area of Software Engineering, which encompasses the development, maintenance and optimization of software solutions/applications.1. Applies scientific methods to analyse and solve software engineering problems.2. He/she is responsible for the development and application of software engineering practice and knowledge, in research, design, development and maintenance.3. His/her work requires the exercise of original thought and judgement and the ability to supervise the technical and administrative work of other software engineers.4. The software engineer builds skills and expertise of his/her software engineering discipline to reach standard software engineer skills expectations for the applicable role, as defined in Professional Communities.5. The software engineer collaborates and acts as team player with other software engineers and stakeholders.

Noida, Uttar Pradesh, India Category: Engineering Hire Type: Employee Job ID 10737 Date posted 04/23/2025 We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation. You Are: You are a seasoned engineer with a passion for pushing the boundaries of technology. With 8-15 years of experience, you bring a wealth of knowledge in software architecture and leadership. You excel in C/C++ software development, and your strong background in design patterns, data structures, and algorithms sets you apart. You thrive in multi-threaded and distributed code environments, and your familiarity with ASIC design flow and EDA tools is second to none. Your expertise in Verilog, SystemVerilog, and VHDL HDL, coupled with your experience in Unix/Linux platforms, makes you a valuable asset. You are well-versed in developer tools like gdb and Valgrind, and you understand the importance of source code control tools such as Perforce. Your analytical and problem-solving skills are top-notch, and you are always eager to learn and explore new technologies. As a highly enthusiastic and energetic team player, you are ready to go the extra mile to achieve success. What You’ll Be Doing: - Designing, developing, and troubleshooting core algorithms for word-level synthesis. - Collaborating with local and global teams to enhance synthesis QoR, performance, and logic interference. - Engaging in pure technical roles focused on software development and architecture. - Implementing multi-threaded and distributed code solutions. - Utilizing your knowledge of ASIC design flow and EDA tools to drive innovation. - Leveraging your expertise in Verilog, SystemVerilog, and VHDL HDL to develop cutting-edge solutions. The Impact You Will Have: - Driving technological innovation in chip design and verification. - Enhancing the performance and quality of synthesis tools used globally. - Solving complex logic interference problems to improve design accuracy. - Contributing to the development of high-performance silicon chips and software content. - Collaborating with cross-functional teams to achieve project milestones. - Pioneering new software architectures that set industry standards. What You’ll Need: - Strong hands-on experience in C/C++ based software development. - Deep understanding of design patterns, data structures, algorithms, and programming concepts. - Familiarity with multi-threaded and distributed code development. - Knowledge of ASIC design flow and EDA tools and methodologies. - Proficiency in Verilog, SystemVerilog, and VHDL HDL. Who You Are: - Highly enthusiastic and energetic team player with excellent communication skills. - Strong desire to learn and explore new technologies. - Effective problem-solver with a keen analytical mind. - Experienced in working on Unix/Linux platforms. - Adept at using developer tools such as gdb and Valgrind. The Team You’ll Be A Part Of: You will be part of the word-level synthesis team, catering to multiple EDA products. This team focuses on developing innovative solutions to improve synthesis quality of results (QoR), performance, and logic interference. You will work closely with both local and global teams to drive technological advancements and achieve project goals. Rewards and Benefits: We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process. At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

We are looking for an experienced Staff Software Engineer to design, develop, and optimize embedded networking solutions with a strong focus on prplOS, RDK-B, and OpenWRT. The ideal candidate will have expertise in C, C++, Python, Yocto, Linux, IoT protocols, and WiFi, along with experience integrating prplOS-based networking solutions. Key Responsibilities Develop and integrate prplOS and prplMesh into networking platforms. Contribute to embedded Linux-based firmware development , debugging, and optimization. Enhance broadband gateway features, WiFi management, and device security. Integrate prplOS and prplMesh (RDK-B and/or OpenWRT). Work with messaging and communication protocols ( NATS, TR-069, TR-369, MQTT , etc.). Implement embedded AI/ML solutions for network performance optimization, such as traffic pattern analysis and adaptive QoS. Participate in code reviews, testing, and continuous integration workflows. Work closely with hardware and cloud teams to deliver end-to-end solutions. Required Qualifications Bachelor s or Master s degree in Embedded Systems, Computer Engineering, or a related field. 7+ years of experience in embedded software development . Proficiency in C, C++, and Python for embedded systems development . Strong knowledge of prplOS , prplMesh , RDK-B, OpenWRT, and Yocto build systems. Deep understanding of WiFi networking, TCP/IP, DNS, DHCP, VLANs, and security protocols. Experience with Linux kernel, drivers , and networking stacks . Hands-on experience with communication protocols ( NATS, TR-069, TR-369, MQTT, etc. ). Experience working with broadband gateways, Mesh WiFi, and networking hardware. Familiarity with containerization technologies ( Docker, LXC, crun ). Strong problem-solving and debugging skills using tools like gdb, Wireshark, and Valgrind . Preferred Qualifications Experience with Qualcomm, Broadcom, or MediaTek WiFi chipset SDKs. Knowledge of edge computing and AI-driven networking optimizations . Understanding of ARM, MIPS architectures , and real-time processing constraints. Familiarity with security hardening, secure boot , and Trusted Platform Modules ( TPM ). Experience with Agile development and DevOps/CI-CD practices.

Experience in working with Bluetooth profiles and ability to do analyze air traces to root cause issues Experience in Automotive Infotainment Domain Experience in Modern C++14/17, OOPs, Design patterns. Knowhow with coding guidelines/standards (e.g. MISRA C/C++, CERT C/C++) Experience in Multi-Threading, IPC, RPC:Thrift, DBUS, gRPC, Sockets. Experience in Build tools like Make, CMake and Git workflow. Experience in Linux, GDB, Valgrind, System Debugging skills. Experience with Test-Driven Development, Google-Test, Robot Framework, Python. Shell Understanding Infotainment System Architecture, Design Principles. Know how on Agile Frameworks and tools:Scrum/Kanban, JIRA, Confluence, TMX, R4J Nice to have Experience with Embedded Linux / Yocto/ QNX Knowledge of ASPICE V-Model Processes. Understanding/Experience in containers, hyper visor, virtualization. Experience in Media player, Bluetooth, IAP, Android auto, Device manager, Remote UI. Experience with DevOps-CI/CD. Experience with AppArmour, Threat Modeling, TrustZone, Ability to understand and address Bluetooth security vulnerabilities reported by various research organizations.

1.Good experience in Advance version on C++(C++11, C++14, C++17) programing. 2. Good experience in Linux. 3. Automotive knowledge. Skills and Experience: Strong proficiency in C++ (C++11, C++14, C++17) including memory management, threading, and common debugging patterns Experience with debugging tools such as GDB, ASan, Valgrind, as well as AI tools such as Cursor for analyzing core dumps and runtime failures Understanding of OS-level concepts like process memory layout, stack/heap segmentation, and signal handling (especially in Linux/Unix environments) Ability to read and interpret stack traces and logs to identify root causes of crashes, exceptions, or performance issues efficiently Experience with Bazel build system and proficiency in Python required Responsibilities: Analyze core dumps, stack traces, and runtime logs to diagnose and resolve crashes, memory issues, and other bugs in C++ applications Reproduce bugs, identify root causes, and implement robust code fixes Utilize debugging tools such as GDB, ASan, Valgrind, etc. to perform deep analysis of application failures across various platforms. Maintain and improve internal debugging workflows, including symbol management, logging practices, and post-mortem analysis tools. Contribute to code reviews and incident postmortems to ensure long-term stability and reliability of the software system. Show more Show less

The candidate will be part of the Static Verification team, a group of talented engineers dedicated to developing and enhancing platform for our static verification products. This team collaborates closely with other departments, including design, development, and customer support, to ensure seamless integration and execution. Together, the candidate will work on cutting-edge projects that push the boundaries of technology and contribute to the success of Synopsys and its customers. Person will work in platform team of static verification. Platform team provides support to various apps which are part of static verification. The hired candidate will provide features and support needed for successful deployment and ongoing business for apps of static verification. He might also work in developing GenAI application related to static platform. Technical competencies required for the role Strong hands-on experience in C/C++ based Object Oriented large and complex enterprise software development. Strong background in Design Patterns, Data Structure, Algorithms, and programming concepts. Well versed with Software Engineering and development processes. Experience with popular AI/ML frameworks (e.g., TensorFlow, PyTorch) is desirable. Experience with production code development on Unix/Linux platforms. Ability to develop new architectures and demonstrate strong leadership skills. Ability to troubleshoot, debug, and support software applications. Good analysis and problem-solving skills. 4+ years of software development experience. Preferable skills Experience in EDA/AI/ML research and development Exposure to Tcl, Python, Shell scripting and/or Vim Exposure to developer tools such as gdb, Valgrind, Visual Studio and Eclipse. Exposure with source code control tool like Perforce, Clearmake, CVS or Git. Show more Show less

Experience: 14+ Years Education: BE / B. Tech / M. Tech or equivalent in Computer Science or Electronics Description Candidate will be part of word level Synthesis team (catering to multiple EDA products). Design, develop, troubleshoot the core algorithms. Will be working with local and global teams. Will be working on Synthesis QoR, Performance and logic interference problems It is a pure technical role. Will need to drive projects , solutions to complex problem with other team members Essential Skills: Ability to develop new software architecture and good leadership skills. Strong hands-on experience in C/C++ based software development. Strong background in Design Patterns, Data Structure, Algorithms, and programming concepts. Familiarity with multi-threaded and distributed code development. Familiarity with ASIC design flow and the EDA tools and methodologies used therein. Good knowledge of Verilog, SystemVerilog & VHDL HDL Well versed with Software Engineering and development processes Experience of production code development on Unix/Linux platforms. Exposure to developer tools such as gdb, Valgrind Exposure with source code control tool like Perforce. Good analysis and problem-solving skills. Desirable Skills: Work experience in Synthesis tools Work experience in EDA Experience in technically leading significant size projects Personal Attributes: Highly enthusiastic and energetic team player with the ability to go an extra mile. Good written and verbal communication skills. Strong desires to learn and explore new technologies. Show more Show less

Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more efficiently. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design. Job Duties: We are seeking a motivated and quick-to-learn Software Engineer to join the Electronic Design Automation (EDA) field, specifically to advance the Questa formal verification product family. In this multifaceted role, you will be involved in the entire project lifecycle, from writing functional specifications to designing algorithms, coding, and creating test plans. Collaboration with a team of talented engineers and supporting top-tier industry customers will be essential. The ideal candidate will have extensive software development experience, particularly in developing and customizing components around graph-based formal models, with hands-on programming and expertise in crafting efficient netlist representation models for formal applications. Our primary responsibilities will include crafting and developing new features, customizing existing solutions, and improving software components for formal verification, ensuring quality, scalability, modifiability, and testability. You will collaborate with other engineering teams, take ownership of specific components, and drive them to excellence. Additionally, you will help drive the best software practices within the team and mentor other specialists as needed, all while contributing to the business’s overall needs. Job Qualifications: We require candidates to have a BE/B-Tech/M.Tech in CSE/ECE from a reputed engineering college. We are looking for candidates with 5-10 years of software experience, preferably in the Design and Verification domain. Expert in C++, design patterns, and algorithms. Strong understanding of data structures and algorithm complexities. Proficient in advanced data structures and their applications. Expert in one of the following hardware description languages: Verilog, System Verilog, or VHDL. Knowledge of scripting languages like Perl, Python, Bash, or Tcl. Proficient with development tools such as Makefile, gdb, valgrind, perforce/git, gcov, editors, and IDEs. Strong problem-solving and analytical skills. Experienced in the development and delivery of multi-man-month projects from start to finish. Familiarity with Linux platforms. Exposure to formal-based verification methodologies (model checking, equivalence checking, automated reasoning) is a plus. Soft Skills: Self-motivated and committed to work. Strong team player with the ability to work independently. Hardworking, sincere, and open to constructive feedback. Able to work in challenging environments and collaborate effectively with multi-cultural technical teams. Good to Have: Exposure to Synthesis, Simulation, and other verification methodologies like Assertion, Coverage, etc. Strong presentation, listening, and communication skills for effective team interactions. We are Siemens A collection of over 377,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality, and we encourage applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit and business need. Bring your curiosity and creativity and help us shape tomorrow! We offer a comprehensive reward package which includes a competitive basic salary, variable pay, other benefits, pension, healthcare and actively support working from home. We are an equal opportunity employer and value diversity at our company. We do not discriminate based on race, religion, color, national origin, sex, gender, gender expression, sexual orientation, age, marital status, veteran status, or disability status. Show more Show less

Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more efficiently. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design. Job Duties: We are seeking a motivated and quick-to-learn Software Engineer to join the Electronic Design Automation (EDA) field, specifically to advance the Questa formal verification product family. In this multifaceted role, you will be involved in the entire project lifecycle, from writing functional specifications to designing algorithms, coding, and creating test plans. Collaboration with a team of talented engineers and supporting top-tier industry customers will be essential. The ideal candidate will have extensive software development experience, particularly in developing and customizing components around graph-based formal models, with hands-on programming and expertise in crafting efficient netlist representation models for formal applications. Our primary responsibilities will include crafting and developing new features, customizing existing solutions, and improving software components for formal verification, ensuring quality, scalability, modifiability, and testability. You will collaborate with other engineering teams, take ownership of specific components, and drive them to excellence. Additionally, you will help drive the best software practices within the team and mentor other specialists as needed, all while contributing to the businesss overall needs. Job Qualifications: We require candidates to have a BE/B-Tech/M.Tech in CSE/ECE from a reputed engineering college. We are looking for candidates with 5-10 years of software experience, preferably in the Design and Verification domain. Expert in C++ , design patterns, and algorithms. Strong understanding of data structures and algorithm complexities . Proficient in advanced data structures and their applications. Expert in one of the following hardware description languages: Verilog , System Verilog , or VHDL . Knowledge of scripting languages like Perl , Python , Bash , or Tcl . Proficient with development tools such as Makefile , gdb , valgrind , perforce/git , gcov , editors , and IDEs . Strong problem-solving and analytical skills . Experienced in the development and delivery of multi-man-month projects from start to finish. Familiarity with Linux platforms . Exposure to formal-based verification methodologies (model checking, equivalence checking, automated reasoning) is a plus. Soft Skills: Self-motivated and committed to work. Strong team player with the ability to work independently. Hardworking, sincere, and open to constructive feedback. Able to work in challenging environments and collaborate effectively with multi-cultural technical teams. Good to Have: Exposure to Synthesis, Simulation, and other verification methodologies like Assertion, Coverage, etc. Strong presentation, listening, and communication skills for effective team interactions.

Job Function, Roles & Responsibilities:Able to execute & technically lead multiple projects at the same time.Lead a team of 10 – 20 engineers.Customer front facing, Customer Communication, Customer value addition.Hands-on programming/coding, and debugging.Continuous development of the team to serve customer requirements in a faster & efficient way.Fit for onsite Assignments.Ability for Pre-Sales Support / Proposal Preparation.Ability for Building/Mentoring team members.Openness to work on various technologies.Full knowledge of entire SDLC - Requirement, Design, Development, Reviews, Testing, Deployment, Bug Fixing. Review & Documentation - PRS, Design, Test Plan/Test Cases. On-Time & Quality Deliverable. New Candidate Interview and Evaluation. Area of Expertise:Expert in C and OOPS Programming languages, data structure, and design patterns in C++ programming languages, focusing on embedded systems, developing C/C++ libraries designing algorithms.Expert in bootloader (U-Boot) development for embedded systems, Hands-on experience in board bring-up processes SoCs like Marvell, NXP, TI, ST, ARM, AVR etc.Strong working experience in Linux Kernel programming and device driver development, in developing multi-threaded applications, and inter-process communication mechanisms such as shared memory, signals, message queues, pipes, and system calls, and Shell scripting, including Bash, and Python.Working experience in Zigbee, Zwave, Matter, BLE, Threads, Wi-Fi, and Sub-GHz technologiesExpertise in RTOS user space and low-level driver developmentExpert in at least one Linux subsystem and experience in developing drivers from scratchExperience in different distributions such as Yocto, and OpenWRT.Hands-on experience with debugging tools such as KGDB, GDB, Valgrind, and static code analyzersWorking experience in networking protocols including TCP/IP, UDP, MQTT, HTTP, GSM, GPRS, and serial communication protocols like RS232, RS485, I2C, SPI, Modbus and CANWorking on various processor and microcontroller architectures including Cortex-A series,ARM/STM/ARC/PowerPC series, and other general-purpose microcontrollers Experience in Embedded GUI Development, particularly with QT or similar frameworks, is advantageous. MUST have SkillsExpert in Linux kernel development with low-level driver experience, BSP, the board bring-up SDK development knowledge.Programming Languages: C, CPP, and Python Hands-on BSP, board bring up development experience.Interfaces: PCIE, USB, I2C, SPI, MDIO, MQTT, Rest API.Wireless: Z Wave/ZigBee/Matter/Thread/BLE/WIFI. Hardware schematics review and PCB debugging. Microcontroller/Microprocessors: 16/32-bit Debugging applications using debugging tools. Debugging Hardware and low-level firmware using schematics. Debugging tools: like logic analyzer, digital oscilloscope, JTAG, KGDB, JDB. Expert in USB, AUDIO/VIDEO, RF protocols. Cloud communication: AWS or Azure or customer cloud. Build system: Yocto, OpenWRT, Makefiles etc. Embedded GUI Development – QT or similar. Expertise in at least one technology - Wi-Fi, audio/video, display, camera. Experienced with SCRUM-based project management tools such as JIRA, DOORS, Agile Version One. NICE to have: Linux kernel development experience Embedded GUI Development – QT or similar. Working experience in security algorithms encryption and decryption. Debugging Hardware and low-level firmware using schematics. Debugging tools: like logic analyzer, digital oscilloscope. Complete SDLC life cycle understanding. Scrum master certifications in team management. Soft Skills:Direct customer (US or Europe-based) interaction will be an added advantage.Write high-quality, efficient, extensible, and maintainable code in a fast-paced Agile environment.Participate in feature and design discussions within and across teams.Evangelize and inform with well-written design documents and conduct peer reviews.Review code, develop documentation and capacity plans, and debug the hardest problems live on some of the most innovative IoT devices.Excellent written and verbal communication. Education:BE/ME/B.Tech/M.Tech – Electronics / Electronics & Communications.

Immediate Joiner Preferred Experience Required: 6 to 9 years C/C++ System Programmer – Linux PlatformExperience:Job Summary:We are seeking a skilled System Programmer with expertise in C/C++ development and low-level Linux programming. The ideal candidate will be responsible for designing, developing, and maintaining efficient system-level software that interacts closely with the Linux OS, drivers, and hardware interfaces.Key Responsibilities:Develop high-performance C/C++ applications for Linux environments.Work on system-level programming including memory management, IPC, multi-threading, sockets, etc.Implement and optimize Linux services, daemons, and background processes.Interface with hardware through device drivers, kernel modules (if required).Debug, profile, and tune software for performance and resource usage.Collaborate with QA and hardware teams to test and validate system functionality.Maintain and contribute to build systems (Make, CMake, etc.) and version control systems (Git).Required Skills:Strong programming skills in C and C++ (including C++11/14/17 features).Proficiency in Linux system programming – including POSIX APIs, process/thread management, signals, file systems.Experience with IPC mechanisms: pipes, shared memory, message queues, semaphores.Familiarity with multi-threading and synchronization primitives (mutex, condition variables, etc.).Hands-on experience with network programming (TCP/UDP sockets).Proficient with GDB, Valgrind, and other debugging/profiling tools.Good understanding of Linux internals, performance monitoring, and resource optimization.Good to Have:Experience with real-time systems or embedded Linux.Exposure to kernel modules, device drivers, or character drivers.Familiarity with Yocto, Buildroot, or other Linux build systems.Basic scripting knowledge (Shell, Python).Knowledge of CI/CD and source control practices (e.g., Git, Jenkins).