Baya Systems

Job Title: Software Engineer Location: Bengaluru, India ((NOTE: This position requires experience in c++ primarily as well as python and hardware architecture. Writing software for hardware, coming from the Semiconductor/IP industry is highly preferred. Were not able to reply or screen all resumes that have been added to this role from software engineers from totally unrelated backgrounds and stacks. Thanks for being mindful of this)) About the role: We are seeking a seasoned Software Engineer with a strong background in computer architecture or networking. The ideal candidate will play a key role in shaping our technology portfolio, bringing expertise and creativity to our solutions Responsibilities​: Develop Baya’s system software in Python and C++ Develop core software optimization algorithms and platforms Build performance models of different IP’s Work closely with hardware teams to implement configuration knobs for IP’s Execute verification test plans to produce high quality software​ Qualifications: BS, MS in Computer Science, Computer Engineering or Electrical Engineering 2+ years of hands-on experience in the semiconductor or CAD industry Strong object-oriented programming skills with Python and C++ Expert level knowledge of Data Structures and Algorithms Expert level knowledge of building concurrent system models Strong understanding of computer architecture, memory hierarchies and networking concepts Understanding of software systems design and modelling Experience with modern code development practices: Git, CI, UI Excellent problem-solving skills and attention to detail Strong communication and collaboration skills rich.goldstein@bayasystems.com Show more Show less

Job Title: Software Verification Engineer Location: Bengaluru, India About the role: We are seeking a seasoned Software Verification designer with a strong background in building infrastructure and writing test sequences for complex software platforms. The ideal candidate will play a key role in shaping our technology portfolio, bringing expertise and creativity to our solutions Please allow me to add: -that this IS NOT a QA role -that this is not a Java role -that this is not a full-stack role -that this is not a CI/CD role While I/Baya appreciate the interest, we are only able to evaluate and reply to applicants that have relatively strong c++, python, computer architecture Responsibilities​: Own functional and performance verification of Baya’s software platforms Define software verification infrastructure and processes to ensure high quality and performance Develop and execute software test plans, verification convergence plans and monitor quality metrics Collaborate with architects to define and verify performance metrics of the IP Guide engineers on verification closure Manage regressions, triaging and debugging Sign-off on verification and quality for release milestones​ Qualifications: BS, MS in Computer Science, Computer Engineering or Electrical Engineering (or equivalent experience) 4+ years of experience in SW or HW verification in the semiconductor, CAD or automotive industry Proficiency in Python and C++ Proficiency with System C is a plus Excellent problem-solving skills and attention to detail Familiarity with ARM CHI and AXI protocols is a plus Understanding of software systems design and modeling Understanding of computer architecture and networking concepts Understanding of System/SoC architecture Experience with modern code development practices: Git, CI, UI Strong communication and collaboration skills Show more Show less

Job Title: Microarchitect & RTL Design Engineer Location: Bangalore, India About the Role: We are seeking a seasoned Microarchitect and RTL Design Engineer with a strong background in microarchitecture and RTL coding. The ideal candidate will play a key role in shaping our technology portfolio, bringing expertise and creativity to our solutions Key Responsibilities: Design and develop microarchitectures for a set of highly configurable IPs Microarchitecture and RTL coding ensuring optimal performance, power, area Collaborate with software teams to define configuration requirements, verification collaterals etc. Work with verification teams on assertions, test plans, debug, coverage etc. Qualifications: BS, MS in Electrical Engineering, Computer Engineering or Computer Science 8+ years and current hands-on experience in microarchitecture and RTL development Proficiency in Verilog, System Verilog Familiarity with industry-standard EDA tools and methodologies Experience with large high-speed, pipelined, stateful designs, and low power designs In-depth understanding of on-chip interconnects and NoCs Experience within ARM ACE/CHI or similar coherency protocols Experience designing IP blocks for caches, cache coherency, memory subsystems, interconnects and NOCs Familiarity with RAS designs, QoS in fabrics, PCIe/IO is a plus Experience with modern programming languages like Python is a plus Excellent problem-solving skills and attention to detail Strong communication and collaboration skills rich.goldstein@bayasystems.com Show more Show less

SENIOR FIELD APPLICATIONS ENGINEER BENGALURU, INDIA About the role: If you are skilled and have experience as a Senior Field Applications Engineer, you will play a critical role in providing technical expertise and support to our customers. You will empower and guide them on designing and deploying Baya technologies into their products. You will work closely with our sales and engineering teams to understand customer requirements, troubleshoot technical issues, and deliver customized solutions that exceed expectations. Responsibilities: Serve as the primary technical point of contact for key customers, providing guidance and support throughout the product development lifecycle. Assist in the design and implementation of customized solutions to meet customer-specific requirements. Develop and deliver technical presentations, demonstrations, and training sessions to customers, partners, and internal teams. Provide timely resolution to customer inquiries, issues, and concerns, ensuring high levels of customer satisfaction. Stay current with industry trends, technologies, and standard methodologies to effectively advise customers on product development strategies. Skills and Experience: 5+ years of experience in a field application engineering or customer-facing technical role, with a master’s degree in electrical engineering, Computer Engineering, or related field. Experience in designing or supporting complex SoC, from architecture definition to tape-out, addressing implementation challenges on advanced process nodes. Understanding of RAS and reliability for enterprise and infrastructure markets is a plus. Understanding of functional safety standards and certification. Excellent communication and interpersonal skills, with the ability to effectively engage with customers, colleagues, and partners at all levels. The role will involve travel to customer sites and events. Show more Show less

Job Title: Senior Hardware Verification Engineer Location: Bangalore, India About the Role: We are seeking a seasoned Design Verification designer with a strong background in building testbenches and writing test sequences for complex IPs. The ideal candidate will play a key role in shaping our technology portfolio, bringing expertise and creativity to our solutions Responsibilities​: Collaborate with design and architecture teams to create test plans for highly configurable IPs meant to provide interconnectivity between components across an SOC, chiplet or multi chiplet systems Write UVM/SystemVerilog code to implement the test plan, checkers and scoreboards Collaborate with software teams to define and implement configurable testbenches Work with design and DV engineers to implement the test plan, debug failures, close coverage, etc. Qualifications: BS/MS in Electrical Engineering, Computer Engineering or Computer Science 8+ years and current hands-on experience in block-level/IP-level/SOC-level verification Proficiency in Verilog, SystemVerilog Familiarity with industry-standard EDA tools for simulation and debug Deep experience with UVM-based testbenches Experience with modern programming languages like Python Knowledge of ARM AMBA protocols such as AXI, APB, and AHB Understanding of ARM CHI protocol is a plus Experience on working with IPs for caches, cache coherency, memory subsystems, interconnects and NOCs Experience with formal verification techniques, emulation platforms is a plus Excellent problem-solving skills and attention to detail Strong communication and collaboration skills Show more Show less

Job Title: Solutions Architect Location: Bengaluru, India About the role: If you are skilled and have experience as a Technical Lead in semiconductor system design and verification, and/or domain expertise in verticals like datacenter, automotive, infrastructure, or in application areas like functional safety, you will play a critical role in providing leadership in applying Baya’s technology to solve customer problems, and drive Baya product and technology forward. You will help understand key system design challenges and help design with and deploy Baya Technologies. You will work closely with our sales and engineering teams to understand customer requirements, troubleshoot technical issues, and deliver customized solutions that exceed expectations. Responsibilities: Serve as the primary technical point of contact for general or specialized solutions built on Baya technology, providing guidance and support throughout the product development lifecycle. Assist in the design and implementation of customized solutions to meet customer-specific requirements. Develop and deliver technical presentations, demonstrations, and training sessions to customers, partners, and internal teams. Stay current with industry trends, technologies, and standard methodologies to effectively advise customers on product development strategies. Provide timely resolution to customer inquiries, issues and concerns, ensuring high levels of customer satisfaction. Qualifications: 10+ Experience in designing or supporting complex SoC, from architecture definition to tape-out, addressing implementation challenges on advanced process nodes. 5+ years of experience in a solution architecture or customer-facing technical role is preferred. Master’s degree in electrical engineering, Computer Engineering, or related field is preferred. Understanding of RAS and reliability for enterprise and infrastructure markets is a plus. Understanding of functional safety standards and certification. Excellent communication and interpersonal skills, with the ability to effectively engage with customers, colleagues, and partners at all levels. The role will involve travel to customer sites and events Show more Show less

Baya Systems is seeking an experienced Formal Verification specialist to join the DV team in Bengaluru. This position is full onsite in the Whitefield office. Overall, we are looking for at least 6/7 years of industry experience. Develop detailed formal verification (FV) test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications. Identify key logic components and critical micro-architectural properties essential for ensuring design correctness. Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs. Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth. Develop and maintain scripts to enhance FV productivity and streamline verification processes. Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels. Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, area (PPA) metrics based on formal analysis feedback. Strong proficiency in System Verilog/Verilog. Good scripting abilities with Python or Perl. Preferred Experience: Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold. Experience with both bug hunting and static proof verification techniques. Familiarity with automating formal verification workflows within a CI/CD environment. For those interested, please apply to the job posting below or contact: Richard Goldstein Manager, Talent Acquisition Baya Systems Email: rich.goldstein@bayasystems.com