

QFocus AI
https://qfocustech.comJobs at QFocus AI
The recruiter has not been active on this job recently. You may apply but please expect a delayed response.
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.
Similar companies
About the company
We are Proximity - a global team of coders, designers, product managers, geeks and experts. We solve hard, long-term engineering problems and build cutting edge tech products.
About us
Born in 2019, Proximity Works is a global, fully distributed tech firm headquartered in San Francisco - with hubs across Mumbai, Dubai, Toronto, Stockholm, and Bengaluru. We’re in the business of solving high-stakes engineering challenges with AI-powered solutions tailored for industries like sports, media & entertainment, fintech, and enterprise platforms. From real-time game analytics and ticketing workflows to creative content generation, we help build software that serves millions every day.
About the Founders
At the helm is Hardik Jagda, CEO - a technologist with a startup DNA who brings clarity to complexity and a passion for building delightful experiences.
Milestones & Impact
- Trusted by some of the world’s biggest players - from major media & entertainment giants to one of the world’s largest cricket websites and the second-largest stock exchange in the world.
- Delivered game-changing tech: slashing content creation by 90%, doubling performance metrics for NASDAQ clients, and accelerating speed/performance wins for platforms like Dream11.
Culture & Why It Matters
- Fully distributed and flexible: work 100% remotely, design your own schedule, build habits that work for you and not the other way around.
- People-first culture: Community events, “Proxonaut battles,” monthly off-sites, and a liberal referral policy keep us connected even when we’re apart.
- High-trust environment: autonomy is encouraged. You’re empowered to act, learn fast, and iterate boldly. We know great work comes when talented people have space to think and create.
Jobs
2
About the company
About Us
HighLevel is an AI powered, all-in-one white-label sales & marketing platform that empowers agencies, entrepreneurs, and businesses to elevate their digital presence and drive growth. We are proud to support a global and growing community of over 2 million businesses, comprised of agencies, consultants, and businesses of all sizes and industries. HighLevel empowers users with all the tools needed to capture, nurture, and close new leads into repeat customers. As of mid 2025, HighLevel processes over 15 billion API hits and handles more than 2.5 billion message events every day. Our platform manages over 470 terabytes of data distributed across five databases, operates with a network of over 250 microservices, and supports over 1 million domain names.
Our People
With over 1,500 team members across 15+ countries, we operate in a global, remote-first environment. We are building more than software; we are building a global community rooted in creativity, collaboration, and impact. We take pride in cultivating a culture where innovation thrives, ideas are celebrated, and people come first, no matter where they call home.
Our Impact
As of mid 2025, our platform powers over 1.5 billion messages, helps generate over 200 million leads, and facilitates over 20 million conversations for the more than 2 million businesses we serve each month. Behind those numbers are real people growing their companies, connecting with customers, and making their mark - and we get to help make that happen.
EEO Statement:
At HighLevel, we value diversity. In fact, we understand it makes our organisation stronger. We are committed to inclusive hiring/promotion practices that evaluate skill sets, abilities, and qualifications without regard to any characteristic unrelated to performing the job at the highest level. Our objective is to foster an environment where really talented employees from all walks of life can be their true and whole selves, cherished and welcomed for their differences while providing excellent service to our clients and learning from one another along the way! Reasonable accommodations may be made to enable individuals with disabilities to perform essential functions.
Jobs
9
About the company
Why Explore a Career at Voiceoc:
1) Be a part of the process of scaling a young startup to a global company.
2) Work directly with co-founders & take up challenging tasks daily that would uplift your own persona.
3) Work on exciting projects of global leading companies
4) Competitive salary & perks.
5) Flexible work schedule & complete ownership of responsibilities.
6) A cool working environment that will make each day at Voiceoc full of fun & new learning.
Jobs
5
About the company
Actosoft is a software developing and digital marketing company that offers complete IT solutions. We are a part of the digitally-fluent force that’s improving economies, increasing businesses, and creating success stories, just like ours.
Jobs
2
About the company
We are an InsurTech start-up based out of Bangalore, with a focus on Healthcare. CoverSelf empowers healthcare insurance companies with a truly NEXT-GEN cloud-native, holistic & customizable platform preventing and adapting to the ever-evolving claims & payment inaccuracies. Reduce complexity and administrative costs with a unified healthcare dedicated platform.
Jobs
1
About the company
At Hunarstreet Technologies Pvt Ltd, we specialize in delivering India’s fastest hiring solutions, tailored to meet the unique needs of businesses across various industries. Our mission is to connect companies with exceptional talent, enabling them to achieve their growth and operational goals swiftly and efficiently.
We are able to achieve a success rate of 87% in relevancy of candidates to the job position and 62% success rate in closing positions shared with us.
Jobs
588
About the company
Peak Hire Solutions is a leading Recruitment Firm that provides our clients with innovative IT / Non-IT Recruitment Solutions. We pride ourselves on our creativity, quality, and professionalism. Join our team and be a part of shaping the future of Recruitment.
Jobs
236
About the company
Jobs
2
About the company
Jobs
9
About the company
Jobs
1





