11+ Formal verification Jobs in India

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.

Required Skills: Advanced Hardware Board Design Expertise, Signal Integrity, EMI/EMC & Design Analysis, Board Bring-Up & Troubleshooting, EDA Tools & Technical Documentation, Cross-Functional & Supply Chain Coordination

Criteria:

• Education: B.Tech / M.Tech in ECE / CSE / IT
• Experience: 10–12 years in hardware board design, system hardware engineering, and full product deployment cycles
• Proven expertise in digital, analog, and power electronic circuit analysis & design
• Strong hands-on experience designing boards with SoCs, FPGAs, CPLDs, and MPSoC architectures
• Deep understanding of signal integrity, EMI/EMC, and high-speed design considerations
• Must have successfully completed at least two hardware product development cycles from high-level design to final deployment
• Ability to independently handle schematic design, design analysis (DC drop, SI), and cross-team design reviews
• Experience in sourcing & procurement of electronic components, PCBs, and mechanical parts for embedded/IoT/industrial hardware
• Strong experience in board bring-up, debugging, issue investigation, and cross-functional triage with firmware/software teams
• Expertise in hardware validation, test planning, test execution, equipment selection, debugging, and report preparation
• Proficiency in Cadence Allegro or Altium EDA tools (mandatory)
• Experience coordinating with layout, mechanical, SI, EMC, manufacturing, and supply chain teams
• Strong understanding of manufacturing services, production pricing models, supply chain, and logistics for electronics/electromechanical components

Description

REQUIRED SKILLS:

• Extensive experience in hardware board designs and towards multiple product field deployment cycle.

• Strong foundation and expertise in analyzing digital, Analog and power electronic circuits.

• Proficient with SoC, FPGAs, CPLD and MPSOC architecture-based board designs.

• Knowledgeable in signal integrity, EMI/EMC concepts for digital and power electronics.

• Completed at least two project from high-level design to final product level deployment.

• Capable of independently managing product’s schematic, design analysis DC Drop, Singal Integrity, and coordinating reviews with peer of layout, mechanical, SI, and EMC teams.

• Sourcing and procurement of electronic components, PCBs, and mechanical parts for cutting-edge IoT, embedded, and industrial product development.

• Experienced in board bring-up, issue investigation, and triage in collaboration with firmware and software teams.

• Skilled in preparing hardware design documentation, validation test planning, identify necessary test equipment, test development, execution, debugging, and report preparation.

• Effective communication and interpersonal skills for collaborative work with cross-functional teams, including post-silicon bench validation, BIOS, and driver development/QA.

• Hands-on experience with Cadence Allegro/Altium EDA tools is essential.

• Familiarity with programming and scripting languages like Python and Perl, and experience in test automation is advantageous.

• Should have excellent exposure with coordination of Manufacturing Services, pricing model for production value supply chain & Logistics in electronics and electromechanical components domain.

Education Requirements: 

B. Tech / M. Tech (ECE/ CSE/ IT)

Experience - 10 to 12 Years

MANDATORY CRITERIA:

• Education: B.Tech / M.Tech in ECE / CSE / IT
• Experience: 10–12 years in hardware board design, system hardware engineering, and full product deployment cycles
• Proven expertise in digital, analog, and power electronic circuit analysis & design
• Strong hands-on experience designing boards with SoCs, FPGAs, CPLDs, and MPSoC architectures
• Deep understanding of signal integrity, EMI/EMC, and high-speed design considerations
• Must have successfully completed at least two hardware product development cycles from high-level design to final deployment
• Ability to independently handle schematic design, design analysis (DC drop, SI), and cross-team design reviews
• Experience in sourcing & procurement of electronic components, PCBs, and mechanical parts for embedded/IoT/industrial hardware
• Strong experience in board bring-up, debugging, issue investigation, and cross-functional triage with firmware/software teams
• Expertise in hardware validation, test planning, test execution, equipment selection, debugging, and report preparation
• Proficiency in Cadence Allegro or Altium EDA tools (mandatory)
• Experience coordinating with layout, mechanical, SI, EMC, manufacturing, and supply chain teams
• Strong understanding of manufacturing services, production pricing models, supply chain, and logistics for electronics/electromechanical components

DESCRIPTION:

COMPANY OVERVIEW:

The company is a semiconductor and embedded system design company with a focus on Embedded, Turnkey ASICs, Mixed Signal IP, Semiconductor & Product Engineering and IoT solutions catering to Aerospace & Defence, Consumer Electronics, Automotive, Medical and Networking & Telecommunications.

REQUIRED SKILLS:

• Extensive experience in hardware board designs and towards multiple product field deployment cycles.
• Strong foundation and expertise in analyzing digital, Analog and power electronic circuits.
• Proficient with SoC, FPGAs, CPLD and MPSOC architecture-based board designs.
• Knowledgeable in signal integrity, EMI/EMC concepts for digital and power electronics.
• Completed at least two project from high-level design to final product level deployment.
• Capable of independently managing product’s schematic, design analysis DC Drop, Signal Integrity, and coordinating reviews with peer of layout, mechanical, SI, and EMC teams.
• Sourcing and procurement of electronic components, PCBs, and mechanical parts for cutting-edge IoT, embedded, and industrial product development.
• Experienced in board bring-up, issue investigation, and triage in collaboration with firmware and software teams.
• Skilled in preparing hardware design documentation, validation test planning, identifying necessary test equipment, test development, execution, debugging, and report preparation.
• Effective communication and interpersonal skills for collaborative work with cross-functional teams, including post-silicon bench validation, BIOS, and driver development/QA.
• Hands-on experience with Cadence Allegro/Altium EDA tools is essential.
• Familiarity with programming and scripting languages like Python and Perl, and experience in test automation is advantageous.
• Should have excellent exposure with coordination of Manufacturing Services, pricing model for production value supply chain & Logistics in electronics and electromechanical components domain.

• Create/modify scripts using a scripting language such as Perl and the Bitbucket REST API to disable users who have not logged in within a certain timeframe, and to monitor user project/repo permissions based on last commit date/time.
• Every 3 months, run the Jenkins jobs to reprovision the Bitbucket test servers, verify Bitbucket functions properly, then plan and execute the reprovisioning of the production Bitbucket servers
• Every 2 years, plan, install and deploy the latest Bitbucket version in our test environment, updating the Terraform code and Artifactory as required. Upgrade all plugins, test thoroughly, and work with various development teams to have them test as well. Once testing is complete and sign-off has been achieved, plan and run the Jenkins jobs to deploy the latest version of Bitbucket to the production servers.
• Create scripts using a scripting language such as Perl and the Confluence and/or Atlassian Access REST API to disable users who have not logged in within a given amount of time
• Good to have knowledge on BigPicture, EasyBI, Report2Web

Critical Skills to Possess:

• 5+ years of experience in JIRA administration and Bitbucket 
• Experience in Jira, Bitbucket application upgrade on data center.
• Experience re-provisioning of Bitbucket using Jenkins.
• Excellent in Groovy, Java scripting and Perl.
• Experience in SSO implementation on Atlassian tool
• Experience in Atlassian and third part application integration.
• Strong problem solving and analytical skills to solve problems at their root.
• Excellent time management and prioritization of tasks

Must have: ATLASSIAN PTY LTD Ver 7.17.0, Atlassian Cloud, ATLASSIAN PTY LTD Ver 8.6.1 Perl/Python, VB Script, Bitbucket REST API, Bitbucket SSH API, JQL

Good to have: Tomcat, Git, SourceTree, Linux, Terraform, Azure AD SSO, Oracle DB

Preferred Qualifications:

BS degree in Computer Science or Engineering or equivalent experience

Roles & Responsibilities

Roles and Responsibility:

1. Upgrade & Maintenance Expertise

• Proven experience upgrading Jira and Bitbucket (Server or Data Center):
• Integration with Jira and webhook/API-based automation
• Perform pre-upgrade tests and staging environment setup
• Apply patches, hotfixes, and troubleshoot upgrade failures.
• YAML configuration for builds, tests, deploys.

2. System Administration

• Proficiency with Linux/Unix OS (file systems, services, shell scripting)
• Manage file permissions, processes, and system logs
• Deep understanding of project configurations (schemes, workflows, screens, custom fields)
• Advanced Jira workflow design (including conditions, validators, post-functions)
• Automation using Groovy scripting 

3. Network Config, Authentication & Security

• Manage SSL certificates, custom domains, and HTTPS configurations
• Integration with LDAP / Active Directory and troubleshooting of SAML SSO (Okta, Azure AD, etc.)

4. CI/CD Pipelines (Bitbucket Pipelines):

• Running pipeline for the OS remediation

1. Coding and Debugging in C language.
2. Knowledge on ARM based architectures of 8/16/32 Microcontrollers,UART, ADC, DAC,Ethernet, SPI,CAN,I2C and I2S.
3. FPGA RTL coding and Simulation using Verilog/VHDL

Qualification - BE/B.Tech (ECE), M.Sc.(Electronics)

Only Defense and Aerospace, Electronics, Semi-Conductors,

(No Automative industry)

AVANTEL LIMITED is a technology driven public limited company with focus on developing innovative wireless communication products and solutions to meet unique requirements of defense, railways, and telecom sectors. The organization is certified against AS 9100D and ISO 9001:2015 standards for Quality Management System. For more details visit www.avantel.in.

Summary: 

Hyperspec is building a real time local map for self-driving cars and using cross view localization to enable ubiquitous autonomy. Hyperspec is a VC funded startup.

The principal embedded systems engineer will have deep expertise in embedded systems design, development and worked for years on embedded systems teams. This person is a leader and mentor to junior engineers and shares knowledge about the design and development of embedded systems.

Responsibilities:

• Serves as an expert in all aspects of embedded projects and embedded systems—including designing, developing, testing, and perfecting designs 
• Responsible for updating and working with executive leadership on the development of embedded systems and status of projects 
• Provides guidance and mentoring to other members of the team

Requirements:

• Minimum of bachelors' degree in computer science or engineering
• At least ten years of engineering experience with expertise in software engineering, data structures, and programming techniques
• Deep expertise in C/C++ programming
• Experience with FPGAs, PCB, Xilinx, Altera, or similar SoCs.
• Experience with ISPs, Cameras, Switches a plus.
• Experience in working with real-time operating systems, communications protocols and firmware design.

• Experience in interfaces, IP protocols, and hardware subsystems.
• Experience in working as part of a team and leading teams.