{"version":"0.1","company":{"name":"YubHub","url":"https://yubhub.co","jobsUrl":"https://yubhub.co/jobs/skill/arithmetic"},"x-facet":{"type":"skill","slug":"arithmetic","display":"Arithmetic","count":4},"x-feed-size-limit":100,"x-feed-sort":"enriched_at desc","x-feed-notice":"This feed contains at most 100 jobs (the most recently enriched). For the full corpus, use the paginated /stats/by-facet endpoint or /search.","x-generator":"yubhub-xml-generator","x-rights":"Free to redistribute with attribution: \"Data by YubHub (https://yubhub.co)\"","x-schema":"Each entry in `jobs` follows https://schema.org/JobPosting. YubHub-native raw fields carry `x-` prefix.","jobs":[{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_50aba3e4-be8"},"title":"Applications Engineering, Sr Director-Formal Verification","description":"<p><strong>Engineer the Future with Us</strong></p>\n<p>We currently have 700 open roles.</p>\n<p><strong>Innovation Starts Here</strong></p>\n<p>Find Jobs For</p>\n<p>Where?When autocomplete results are available use up and down arrows to review and enter to select. Touch device users, explore by touch or with swipe gestures.</p>\n<p><strong>Applications Engineering, Sr Director-Formal Verification</strong></p>\n<p>Bengaluru, Karnataka, India</p>\n<p>Save</p>\n<p><strong>We Are:</strong></p>\n<p>At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.</p>\n<p><strong>You Are:</strong></p>\n<p>You are a dynamic leader with a passion for technology and a proven track record in formal verification. You thrive in collaborative environments, bringing together diverse talents and perspectives to solve complex challenges. Your expertise spans RTL design and verification methodologies, and you have a deep understanding of assertion-based verification. You are adept at managing and mentoring medium to large teams, fostering a culture of innovation, inclusion, and continuous learning. With a strategic mindset, you excel at building partnerships with customers, driving technical reviews, and identifying opportunities for differentiation. Your communication skills enable you to articulate complex technical concepts clearly to both internal and external stakeholders. You are committed to delivering high-quality solutions that advance customer productivity and satisfaction. As an advocate for diversity, you ensure that every team member feels valued and empowered. Your leadership inspires others to pursue excellence, adapt to evolving industry requirements, and embrace new technologies. You are resilient, adaptable, and eager to take on new challenges in a fast-paced, impact-driven environment. Your vision aligns with Synopsys’ mission to transform the future through technological innovation, and you are ready to make your mark as a Senior Manager in Formal Verification Applications Engineering.</p>\n<p><strong>What You’ll Be Doing:</strong></p>\n<ul>\n<li>Managing a team of product application engineers to champion the adoption of Synopsys Formal Verification Applications across strategic customer accounts.</li>\n</ul>\n<ul>\n<li>Developing and nurturing strategic partnerships with top-tier customers to understand and address their evolving verification needs.</li>\n</ul>\n<ul>\n<li>Driving and facilitating management and technical review meetings with customers, ensuring alignment and value delivery.</li>\n</ul>\n<ul>\n<li>Performing competitive analysis to inform the development of innovative formal verification technologies and methodologies.</li>\n</ul>\n<ul>\n<li>Collaborating closely with R&amp;D and Product Management teams to define and implement new verification flows and functionalities.</li>\n</ul>\n<ul>\n<li>Scoping and executing formal consulting services, ensuring successful delivery and customer satisfaction.</li>\n</ul>\n<ul>\n<li>Defining formal verification methodologies to enhance customer productivity and streamline verification processes.</li>\n</ul>\n<ul>\n<li>Leading the development of assertion IPs tailored to meet specific customer requirements.</li>\n</ul>\n<p><strong>The Impact You Will Have:</strong></p>\n<ul>\n<li>Accelerate the adoption of industry-leading formal verification solutions, enabling customers to achieve robust, high-quality silicon designs.</li>\n</ul>\n<ul>\n<li>Strengthen Synopsys’ reputation as a trusted partner for verification innovation and excellence.</li>\n</ul>\n<ul>\n<li>Drive customer success by delivering tailored consulting services and assertion IPs that address complex verification challenges.</li>\n</ul>\n<ul>\n<li>Enhance productivity and efficiency for customers through advanced formal methodologies and flows.</li>\n</ul>\n<ul>\n<li>Influence the direction of formal verification technology by collaborating with R&amp;D and Product Management teams.</li>\n</ul>\n<ul>\n<li>Foster a culture of technical excellence and inclusion within your team, empowering members to grow and contribute meaningfully.</li>\n</ul>\n<ul>\n<li>Enable strategic customers to meet critical industry requirements such as design security, automotive safety, and verification signoff.</li>\n</ul>\n<p><strong>What You’ll Need:</strong></p>\n<ul>\n<li>Bachelor’s degree in Electrical Engineering from a reputed institution; postgraduate degree preferred.</li>\n</ul>\n<ul>\n<li>15+ years of industry experience in RTL design or verification, particularly using simulation-based methodologies.</li>\n</ul>\n<ul>\n<li>At least 5 years of experience managing medium to large engineering teams.</li>\n</ul>\n<ul>\n<li>In-depth knowledge of assertion-based verification using both formal and simulation methods.</li>\n</ul>\n<ul>\n<li>Strong understanding of hardware design languages (Verilog/VHDL) and micro-architecture.</li>\n</ul>\n<ul>\n<li>Expertise in Unix/Linux automation shell scripting (bash, csh) and programming languages such as Tcl, Perl, and Python.</li>\n</ul>\n<ul>\n<li>Experience in formal property verification testbench development, floating point arithmetic operations, C/C++, IEEE math libraries, security architecture, automotive safety (FuSa), and verification signoff with formal.</li>\n</ul>\n<ul>\n<li>Exceptional oral and written communication skills to engage effectively with customers and internal teams.</li>\n</ul>\n<p><strong>Who You Are:</strong></p>\n<ul>\n<li>Inclusive and empathetic leader who champions diversity and fosters a supportive team environment.</li>\n</ul>\n<ul>\n<li>Strategic thinker with strong problem-solving abilities and a proactive approach to challenges.</li>\n</ul>\n<ul>\n<li>Collaborative and adaptable, able to partner across functions and with global customers.</li>\n</ul>\n<ul>\n<li>Highly organized, detail-oriented, and able to manage multiple priorities efficiently.</li>\n</ul>\n<ul>\n<li>Motivator who inspires team members to pursue continuous learning and professional growth.</li>\n</ul>\n<p><strong>The Team You’ll Be A Part Of:</strong></p>\n<p>The Formal Verification Team is a core part of Synopsys’ EDA Group, dedicated to deploying high-quality verification solutions for industry-leading customers. The team tackles diverse verification challenges, including property verification, data path verification, clock-gating checks, design security, and automotive safety. We foster a collaborative environment where every member can explore different aspects of design verification and contribute to innovative solutions.</p>\n<p><strong>Rewards and Benefits:</strong></p>\n<p>We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.</p>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_50aba3e4-be8","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Synopsys","sameAs":"https://careers.synopsys.com","logo":"https://logos.yubhub.co/careers.synopsys.com.png"},"x-apply-url":"https://careers.synopsys.com/job/bengaluru/applications-engineering-sr-director-formal-verification/44408/93365523248","x-work-arrangement":"onsite","x-experience-level":"senior","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["RTL design and verification methodologies","Assertion-based verification","Unix/Linux automation shell scripting","Programming languages such as Tcl, Perl, and Python","Formal property verification testbench development","Floating point arithmetic operations","C/C++","IEEE math libraries","Security architecture","Automotive safety (FuSa)","Verification signoff with formal"],"x-skills-preferred":[],"datePosted":"2026-04-24T14:19:31.761Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Bengaluru"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Technology","skills":"RTL design and verification methodologies, Assertion-based verification, Unix/Linux automation shell scripting, Programming languages such as Tcl, Perl, and Python, Formal property verification testbench development, Floating point arithmetic operations, C/C++, IEEE math libraries, Security architecture, Automotive safety (FuSa), Verification signoff with formal"},{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_39cdb2e2-613"},"title":"Structures Technician","description":"<p>We are seeking a skilled Structures Technician to join our team. As a Structures Technician, you will perform complex assembly, fitting of detail parts, and installation at high-level productivity rates within various manufacturing processes. You will ensure that parts assembly meets or exceeds specifications.</p>\n<p>Key responsibilities include: Performing complex assembly, fitting of detail parts, and structures, and installation throughout varied drilling and riveting operations, under limited to zero direct supervision. Completing routine and build tasks completion parameters as defined by management. Completing frequent special assignments and complex repairs. Participating actively in the mentor program and training others to perform tasks. Maintaining a clean and organized work area and supporting the company&#39;s 5S program. Participating and satisfactorily completing HACI certification eligibility requirements for internal aircraft process specifications.</p>\n<p>Requirements include: High School Diploma or equivalent. Relevant experience or demonstrated knowledge, skills, and abilities to perform the above-mentioned tasks. A&amp;P and/or other related licensure highly desired.</p>\n<p>Preferred qualifications include: Experience working directly with outside customers. Exhibiting teamwork and strong work ethics. Ability to work overtime, call in, call back, and on-call duty if so requested by management. Intermediate working knowledge of SAP and TCM beginner level. May be requested to travel nationally and internationally.</p>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_39cdb2e2-613","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Honda Aircraft Company","sameAs":"https://careers.honda.com","logo":"https://logos.yubhub.co/careers.honda.com.png"},"x-apply-url":"https://careers.honda.com/us/en/job/10601/Structures-Technician","x-work-arrangement":"onsite","x-experience-level":"entry","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["Arithmetic","Instruments","Blueprints","Microsoft Office applications (Word, Excel, Lotus Notes, and PowerPoint)","SAP","TCM"],"x-skills-preferred":["A&P and/or other related licensure","Experience working directly with outside customers","Exhibiting teamwork and strong work ethics","Ability to work overtime, call in, call back, and on-call duty if so requested by management"],"datePosted":"2026-04-22T17:22:56.423Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Greensboro"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Automotive","skills":"Arithmetic, Instruments, Blueprints, Microsoft Office applications (Word, Excel, Lotus Notes, and PowerPoint), SAP, TCM, A&P and/or other related licensure, Experience working directly with outside customers, Exhibiting teamwork and strong work ethics, Ability to work overtime, call in, call back, and on-call duty if so requested by management"},{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_07a3c83e-51e"},"title":"Research Engineer, Infrastructure, Numerics","description":"<p>We&#39;re looking for an infrastructure research engineer to design and build the core systems that enable efficient large-scale model training with a focus on numerics. You will focus on improving the numerical foundations of our distributed training stack, from precision formats and kernel optimizations to communication frameworks that make training trillion-parameter models stable, scalable, and fast.</p>\n<p>This role is ideal for someone who thrives at the intersection of research and systems engineering: a builder who understands both the math of optimization and the realities of distributed compute.</p>\n<p>Responsibilities:</p>\n<ul>\n<li>Design and optimize distributed training infrastructure for large-scale LLMs, focusing on performance, stability, and reproducibility across multi-GPU and multi-node setups.</li>\n<li>Implement and evaluate low-precision numerics (for example, BF16, MXFP8, NVFP4) to improve efficiency without sacrificing model quality.</li>\n<li>Develop kernels and communication primitives that use hardware-level support for mixed and low-precision arithmetic.</li>\n<li>Collaborate with research teams to co-design model architectures and training recipes that align with emerging numeric formats and stability constraints.</li>\n<li>Prototype and benchmark scaling strategies such as data, tensor, and pipeline parallelism that integrate precision-adaptive computation and quantized communication.</li>\n<li>Contribute to the design of our internal orchestration and monitoring systems to ensure that thousands of distributed experiments can run efficiently and reproducibly.</li>\n<li>Publish and share learnings through internal documentation, open-source libraries, or technical reports that advance the field of scalable AI infrastructure.</li>\n</ul>\n<p>Skills and Qualifications:</p>\n<p>Minimum qualifications:</p>\n<ul>\n<li>Bachelor’s degree or equivalent experience in computer science, electrical engineering, statistics, machine learning, physics, robotics, or similar.</li>\n<li>Understanding of deep learning frameworks (e.g., PyTorch, JAX) and their underlying system architectures.</li>\n<li>Thrive in a highly collaborative environment involving many, different cross-functional partners and subject matter experts.</li>\n<li>A bias for action with a mindset to take initiative to work across different stacks and different teams where you spot the opportunity to make sure something ships.</li>\n<li>Strong engineering skills, ability to contribute performant, maintainable code and debug in complex codebases in areas such as floating-point numerics, low-precision arithmetic, and distributed systems.</li>\n</ul>\n<p>Preferred qualifications , we encourage you to apply if you meet some but not all of these:</p>\n<ul>\n<li>Familiarity with distributed frameworks such as PyTorch/XLA, DeepSpeed, Megatron-LM.</li>\n<li>Experience implementing FP8, INT8, or block-floating point (MX) formats and understanding their numerical trade-offs.</li>\n<li>Prior contributions to open-source deep learning infrastructure such as PyTorch, DeepSpeed, or XLA.</li>\n<li>Publications, patents, or projects related to numerical optimization, communication-efficient training, or systems for large models.</li>\n<li>Experience training and supporting large-scale AI models.</li>\n<li>Track record of improving research productivity through infrastructure design or process improvements.</li>\n</ul>\n<p>Logistics:</p>\n<ul>\n<li>Location: This role is based in San Francisco, California.</li>\n<li>Compensation: Depending on background, skills and experience, the expected annual salary range for this position is $350,000 - $475,000 USD.</li>\n<li>Visa sponsorship: We sponsor visas. While we can&#39;t guarantee success for every candidate or role, if you&#39;re the right fit, we&#39;re committed to working through the visa process together.</li>\n<li>Benefits: Thinking Machines offers generous health, dental, and vision benefits, unlimited PTO, paid parental leave, and relocation support as needed.</li>\n</ul>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_07a3c83e-51e","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Thinking Machines Lab","sameAs":"https://thinkingmachines.ai/","logo":"https://logos.yubhub.co/thinkingmachines.ai.png"},"x-apply-url":"https://job-boards.greenhouse.io/thinkingmachines/jobs/5013937008","x-work-arrangement":"onsite","x-experience-level":"senior","x-job-type":"full-time","x-salary-range":"$350,000 - $475,000 USD","x-skills-required":["Bachelor’s degree or equivalent experience in computer science, electrical engineering, statistics, machine learning, physics, robotics, or similar","Understanding of deep learning frameworks (e.g., PyTorch, JAX) and their underlying system architectures","Thriving in a highly collaborative environment involving many, different cross-functional partners and subject matter experts","Strong engineering skills, ability to contribute performant, maintainable code and debug in complex codebases in areas such as floating-point numerics, low-precision arithmetic, and distributed systems","Familiarity with distributed frameworks such as PyTorch/XLA, DeepSpeed, Megatron-LM"],"x-skills-preferred":["Experience implementing FP8, INT8, or block-floating point (MX) formats and understanding their numerical trade-offs","Prior contributions to open-source deep learning infrastructure such as PyTorch, DeepSpeed, or XLA","Publications, patents, or projects related to numerical optimization, communication-efficient training, or systems for large models","Experience training and supporting large-scale AI models","Track record of improving research productivity through infrastructure design or process improvements"],"datePosted":"2026-04-18T15:56:14.922Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"San Francisco"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Technology","skills":"Bachelor’s degree or equivalent experience in computer science, electrical engineering, statistics, machine learning, physics, robotics, or similar, Understanding of deep learning frameworks (e.g., PyTorch, JAX) and their underlying system architectures, Thriving in a highly collaborative environment involving many, different cross-functional partners and subject matter experts, Strong engineering skills, ability to contribute performant, maintainable code and debug in complex codebases in areas such as floating-point numerics, low-precision arithmetic, and distributed systems, Familiarity with distributed frameworks such as PyTorch/XLA, DeepSpeed, Megatron-LM, Experience implementing FP8, INT8, or block-floating point (MX) formats and understanding their numerical trade-offs, Prior contributions to open-source deep learning infrastructure such as PyTorch, DeepSpeed, or XLA, Publications, patents, or projects related to numerical optimization, communication-efficient training, or systems for large models, Experience training and supporting large-scale AI models, Track record of improving research productivity through infrastructure design or process improvements","baseSalary":{"@type":"MonetaryAmount","currency":"USD","value":{"@type":"QuantitativeValue","minValue":350000,"maxValue":475000,"unitText":"YEAR"}}},{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_6ea1969a-8ff"},"title":"Front Desk - Night Auditor","description":"<p>About the Role\nFlow Fort Lauderdale is seeking a detail-oriented and dedicated Front Desk/ Night Auditor to oversee all tasks and ensure smooth operations during the overnight shift (typically 11 pm to 7 am).\nThis role involves various tasks such as greeting and assisting individuals, providing administrative support, and contributing to community engagement events.\nThe ideal candidate possesses strong communication skills, attention to detail, and the ability to multitask effectively in a dynamic setting.\nResponsibilities</p>\n<ul>\n<li>Compute, classify, and record numerical data to maintain complete financial records.</li>\n<li>Verify the accuracy of figures, calculations, and postings related to business transactions recorded by other staff members.</li>\n<li>Approach all interactions with guests and employees in a friendly, service-oriented manner, ensuring a welcoming environment.</li>\n<li>Adhere to all standards and regulations to promote safe and efficient hotel operations.</li>\n<li>Initiate and complete the end of day process, including balancing daily work and maintaining cashiering responsibilities.</li>\n<li>Manage all Front Office computer system operations/functions and handle guest requests promptly.</li>\n<li>Maintain proper records, including log books and other documentation.</li>\n<li>Be familiar with and enforce all hotel policies and house rules.</li>\n<li>Complete initial direct bills daily, attach necessary documentation, and place on the Property.</li>\n<li>Prepare and distribute the Daily Flash Report.</li>\n<li>Ensure that all employees are attentive, friendly, helpful, and courteous to guests, managers, and fellow employees.\nIdeal Background</li>\n<li>Minimum 1 year of hotel or related field experience.</li>\n<li>High School diploma or equivalent college coursework in relevant areas a plus.</li>\n<li>Ability to work independently with minimal supervision.</li>\n<li>Strong problem-solving skills to address guest issues and emergencies.</li>\n<li>Familiarity with Windows OS, approved spreadsheets, and word processing.</li>\n<li>Clear communication skills.</li>\n<li>Quick and accurate decision-making abilities.</li>\n<li>Ability to thrive in high-pressure situations.</li>\n<li>Effective problem-solving skills, including prevention and resolution.</li>\n<li>Capability to assimilate complex information and adapt as necessary.</li>\n<li>Proficiency in financial data analysis and basic arithmetic.</li>\n<li>Comfort working in a self-managed environment.</li>\n<li>Active listening and conflict resolution skills.</li>\n<li>Maintaining composure and professionalism under pressure.</li>\n</ul>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_6ea1969a-8ff","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Flow","sameAs":"https://flow.com","logo":"https://logos.yubhub.co/flow.com.png"},"x-apply-url":"https://jobs.lever.co/flowlife/fc2a138e-9ecc-470b-80c5-c6997a2e36fd","x-work-arrangement":"onsite","x-experience-level":"entry","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["Windows OS","approved spreadsheets","word processing","financial data analysis","basic arithmetic"],"x-skills-preferred":[],"datePosted":"2026-04-17T12:34:10.314Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Fort Lauderdale"}},"employmentType":"FULL_TIME","occupationalCategory":"Operations","industry":"Real Estate","skills":"Windows OS, approved spreadsheets, word processing, financial data analysis, basic arithmetic"}]}