7 Model Checking Jobs

Are you interested in working with a world-class CPU design team, contributing to the development of the next generation of formal methodologies in the verification of application processors at Qualcomm India Private Limited Qualcomm's CPU team comprises some of the best CPU architects and engineers, who are dedicated to developing processors that will power the future. Join us on this exciting adventure and sharpen your formal verification skills on complex designs like never before. In this role, you will collaborate with the design team to grasp design intent and create verification plans that focus on the end-to-end formalization process from architecture to micro-architecture. You will define formal verification architecture, develop test plans, and establish formal sign-off environments for Qualcomm CPU components. Additionally, you will deploy model-checking technology to hardware designs, including property verification, math proofs, architectural modeling, and validation in various cutting-edge application areas. To succeed in this position, you should possess a BA/BS degree in CS/EE with at least 8 years of practical experience in applying formal methods in hardware or software. A strong background in model checking or theorem proving for verifying complex systems is essential, along with experience in writing assertions and modeling code in Hardware Description Languages or proving correctness of architectural specifications using formal methods. Familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL is preferred. The ideal candidate for this role would hold an MS/PhD degree in CS/EE with a minimum of 4 years of practical experience. They should have a solid foundation in formal methods and their application to hardware specifications and/or implementations, coupled with domain knowledge in areas such as microprocessor architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, and security architectures. Strong software engineering skills with proficiency in automation and at least one programming language (C++, Python, TCL, etc.) are highly desirable. Qualcomm is an equal opportunity employer and is committed to providing accessible processes for individuals with disabilities during the application/hiring process. Reasonable accommodations are available upon request. The company expects its employees to adhere to all applicable policies and procedures, including those related to the protection of confidential information. If you are passionate about formal verification and have a background in hardware engineering, this opportunity at Qualcomm offers an exciting platform to showcase your skills and contribute to cutting-edge CPU designs. Join us in shaping the future of technology!,

Skills Required Checking Model, GA & Assembly drawings as against contract drawings Thorough checking of fabrication, assembly, single parts and erection drawings Be able to give guidance to Editors to achieve the desired results Ensure the drawings submitted to clients are accurate and per client specifications and requirements Working experience with AISC, OSHA and ADA Standards Knowledge in creating of various reports as per client Standards Responsible to complete the projects within the target date with good quality Desired Candidate Profile 5+ years of experience in structural steel checking with Tekla Structures and AISC Standards Experience in both Structural and Misc. components Candidate must have worked on US projects Candidate must be flexible to work in shifts

Job Description for Structural Steel Checker Skills Required Checking Model, GA & Assembly drawings as against contract drawings Thorough checking of fabrication, assembly, single parts and erection drawings Be able to give guidance to Editors to achieve the desired results Ensure the drawings submitted to clients are accurate and per client specifications and requirements Working experience with AISC, OSHA and ADA Standards Knowledge in creating of various reports as per client Standards Responsible to complete the projects within the target date with good quality Desired Candidate Profile 5+ years of experience in structural steel checking with Tekla Structures and AISC Standards Experience in both Structural and Misc. components Candidate must have worked on US projects Candidate must be flexible to work in shifts

Skills Required Checking Model, GA & Assembly drawings as against contract drawings Thorough checking of fabrication, assembly, single parts and erection drawings Be able to give guidance to Editors to achieve the desired results Ensure the drawings submitted to clients are accurate and per client specifications and requirements Working experience with AISC, OSHA and ADA Standards Knowledge in creating of various reports as per client Standards Responsible to complete the projects within the target date with good quality Desired Candidate Profile 5+ years of experience in structural steel checking with Tekla Structures and AISC Standards Experience in both Structural and Misc. components Candidate must have worked on US projects Candidate must be flexible to work in shifts

Are you interested in working with a world-class CPU design team at Qualcomm India Private Limited Do you have a passion for applying formal methods to verify application processors and contributing to the development of next-generation formal methodologies Qualcomm's CPU team is at the forefront of developing processors that will power the future. Join us on this exciting adventure and maximize your formal verification skills on complex designs. As a member of the CPU design team, you will collaborate closely with the design team to grasp design intent and establish verification plans with a focus on end-to-end formalization from architecture to micro-architecture refinement. Your responsibilities will include defining formal verification architecture, creating test plans, and constructing formal sign-off environments for Qualcomm CPU components. You will deploy model-checking technology across hardware designs, encompassing property verification, mathematical proofs, architectural modeling, and validation in cutting-edge application areas. To excel in this role, you should hold a BA/BS degree in CS/EE with over 8 years of practical experience in applying formal methods in hardware or software. A solid background in model checking or theorem proving for complex systems is essential. Proficiency in writing assertions, developing modeling code in Hardware Description Languages, or ensuring correctness of architectural specifications using formal methods is required. Familiarity with model checkers like Jaspergold and VC-Formal, or theorem-proving tools such as ACL2 and HOL, is advantageous. The ideal candidate would possess an MS/PhD degree in CS/EE with at least 4 years of practical experience and a strong foundation in formal methods applied to hardware specifications or implementations. Domain knowledge in areas such as microprocessor architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, and security architectures is beneficial. Additionally, strong software engineering skills, automation abilities, and proficiency in programming languages like C++, Python, or TCL are preferred. Minimum Qualifications: - Bachelor's degree in Computer Science, Electrical/Electronics Engineering, or related field with 4+ years of Hardware Engineering experience OR - Master's degree in Computer Science, Electrical/Electronics Engineering, or related field with 3+ years of Hardware Engineering experience OR - PhD in Computer Science, Electrical/Electronics Engineering, or related field with 2+ years of Hardware Engineering experience Qualcomm is an equal opportunity employer that provides accommodations for individuals with disabilities during the application and hiring process. If you require assistance, please contact disability-accommodations@qualcomm.com. Qualcomm expects employees to adhere to all applicable policies and procedures, including security and confidentiality requirements. For further information about this role, please reach out to Qualcomm Careers.,

What You'll Be Doing: Leading and mentoring a team of formal verification engineers to ensure high-quality IP delivery. Developing and driving formal verification plans, aligning with project timelines and IP deliverables. Defining test plans tailored to high-complexity digital IPs such as UFS MIPI Unipro I3C, AMBA, and other interconnect protocols. Identifying and implementing state-of-the-art formal verification methodologies and tools, including assertions, SystemVerilog Assertions (SVA), and custom verification environments. Driving innovation to enhance verification efficiency and coverage. Evaluating and mitigating verification risks early in the design phase to ensure IPs meet high-quality standards. The Impact You Will Have: Ensuring the robustness and quality of our digital design hardware IPs. Delivering best-in-class, verified IPs to semiconductor design companies globally. Enhancing verification efficiency and coverage through innovative methodologies. Mitigating verification risks early in the design phase, ensuring timely and high-quality IP releases. Contributing to the development of high-performance silicon chips and software content. Driving continuous technological innovation in chip design and verification. What You'll Need: Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related field. Advanced degrees preferred. 2 6 years of experience in formal verification of digital design IPs, with a strong track record in verifying complex IPs. Deep understanding of formal verification methodologies, including property-based and equivalence checking, SystemVerilog Assertions (SVA), and protocol compliance. Strong familiarity with industry-standard formal verification tools, such as Cadence JasperGold, Synopsys VC Formal, or Mentor Questa Formal. Extensive experience in digital design and verification for high-speed interconnect protocols. Who You Are: An excellent problem solver with a proactive approach to identifying and addressing verification challenges. A collaborative team player who thrives in a dynamic environment. An effective communicator who can lead and mentor junior engineers. An innovative thinker who drives continuous improvement in verification methodologies. A detail-oriented professional committed to delivering high-quality IPs.

Job Description for Structural Steel Checker Skills Required Checking Model, GA & Assembly drawings as against contract drawings Thorough checking of fabrication, assembly, single parts and erection drawings Be able to give guidance to Editors to achieve the desired results Ensure the drawings submitted to clients are accurate and per client specifications and requirements Working experience with AISC, OSHA and ADA Standards Knowledge in creating of various reports as per client Standards Responsible to complete the projects within the target date with good quality Desired Candidate Profile 5+ years of experience in structural steel checking with Tekla Structures and AISC Standards Experience in both Structural and Misc. components Candidate must have worked on US projects Candidate must be flexible to work in shifts