
Similar jobs
Mode Employment – Fulltime and Permanent
Working Location: Bommasandra Industrial Area, Hosur Main Road, Bangalore
Working Days: 5 days
Working Model: Hybrid - 3 days WFO and 2 days Home
Responsibilities
- Design, implement, and test embedded software for industrial automation products
- Collaborate within an agile team on industrial communication, cybersecurity, and closed-loop control projects
- Assist in developing and enhancing infrastructure for continuous integration and industrial Ethernet
- Integrate and reuse software components from the embedded platform
- Ensure software meets quality, performance, and functional standards
- Troubleshoot, test, and support embedded software throughout the development lifecycle
Qualification
- Degree in Computer Science, Software Engineering, Electrical Engineering, or related field.
- Familiarity with electric and pneumatic systems and willingness to engage with them
- 5 to 8 years of experience in embedded systems and industrial communication software development
- Proficiency in object-oriented design, C++, Python for scripting and automation
- Knowledge of version control with Git, unit and integration testing, and troubleshooting embedded software
- Familiarity with ARM v7/v8 Cortex-M / Cortex-A microcontrollers and their ecosystems
- Understanding industrial communication protocols (EtherCAT, Profinet, Modbus, IO-Link) and controllers (SIEMENS, Beckhoff)
- Experience with modern development tools such as VS Code, LLVM, GitLab, CMake, and Conan Awareness of software development processes, architectural design principles, and quality best practice
- Excellent written and spoken English communication skills
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.
What will you do?
- Oversees testing, deployment & maintenance of the Voice infrastructure.
- Performing a variety of tasks associated with user provisioning and call routing within the assigned platform
- Build loaders for internal systems ensuring tasks are completed accurately and in a timely manner
- Participate in meetings with clients and internal departments to understand the requirements of call routing
- Document and design call flow diagrams to ensure that all call variables have been accounted for in preparing a routing plan
- Support the clients solution by correcting any issues with call routing or provisioning during the initial implementation phase, constantly communicating status of any issues with client
- Complete testing to ensure that call flow is operating properly
- Monitors and ensures compliance to standards, policies, and procedures
What are we looking for?
- 0.6~2 year’s implementation experience in Asterisk PBX, IP Telephony, SIP.
- Able to thrive in a demanding and team-oriented environment
- Basic and strong knowledge of the Linux operating system.
- Knowledge of bash and perl shell scripting is an added advantage.
- RHCE Certification is an added advantage.
About us
ob Description
We are seeking candidates who can have a great conversation with Window/*nix kernel in C/C++ or Rust. The candidate will work with eBPF and Windows/Linux Kernel. The candidate will work closely with the Computation Engineer to port the ML layer into the kernel module.
Requirements
- C/C++ is a must. Rust knowledge is a huge plus.
- Good exposure to debugging (more than just `!analyze -v`). We suck at debugging here, so can use your help!
- Great version control (Git) hygiene and familiarity with CI/CD. Test- and issue-driven development (that's our new term).
- Candidate should prioritize documentation to meeting (can't emphasize enough). Who has time to talk and listen (and forget) when one can write and read? During the interview, we may ask you how to organize your notes, references, and knowledge.
- Familiarity with scripting languages such as Python/Powershell/bash is appreciated. Python is used a scripting language everywhere in our stack.
- If you don't know Java, that's +1 ;-p (just kidding).
Regards
Team Merito

Software Developer (B.Tech, Linux+CPP+ROS)
Job Description:
- Design, implement and deliver custom solutions using the current robotics framework.
- Bug fixing and improving of current application framework.
- Design and implement tools to facilitate application development and testing.
- Work with team members in deployment and field testing.
Requirements:
- Bachelor Degree / Masters in Engineering (ECE and CSE preferred)
- Work experience of 3 to 10 years in software programming.
- Full understanding of software engineering.
- Proficiency in C/C++ and Python programming for Linux based systems.
- Basic Knowledge of Robot Operating System(ROS) is mandatory.
- Good understanding of the algorithms and control loops.
- Able to use tools to manage source code, preferably Git / GitHub.
- Knowledge of video streaming from edge devices is a plus.
Perks and Benefits for the employees
- Paid Leaves (12CL+12SL+12 public holidays )
- career development
- Health insurance
- Work life balance
- Employee recognition and reward programs
- Flexible work hours
- Five working days.
- Remote job for now
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!
- Programming experience in embedded C and python
- Experience in embedded systems development and troubleshooting and with real-time operating systems.
- Experience with embedded C programming for microcontrollers like PIC, Microchip in MPLAB
- Basic execution of process commands in Linux
- Experience in handling the raspberry pi
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.
Experience in Object-Oriented design and Multithreaded programming
Strong analytical and problem solving skills
Strong understanding of computer systems e.g. operating systems, networks, performance optimization, etc
Degree in Computer Science or Computer Engineering or related field
Independent team player with an eye for details and report on status and planning of own work.








