Formal jobs

Quality Auditor Sewing Adient Tiflet Morocco posted: Posted 30+ Days Ago

F&B Attendant (Banquets) - Casual Location not specified

Supervisor, Quality Assurance Rio de Janeiro, Brazil posted: Posted 30+ Days Ago

GPU Formal Design Verification Engineer Austin, United States of America Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You'll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the technology that fuels Apple's devices. Together, you and your team will enable our customers to do all the things they love with their devices! The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader GPU design. In this role you will: - Work with the design team to review and enhance specifications. - Develop verification plans in coordination with design leads, verification leads and micro-architects. - Develop and drive to completion formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams. - Handle deliverables and work with multi-functional teams to support product requirements. - Create automated flows and infrastructure for formal verification. - Work with other block and core level engineers to ensure seamless verification flow. Minimum Qualifications: BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience. Experience with CPU or GPU design architectures, VLSI circuits, and digital logic

BALENCIAGA - Internal Communication Officer Apprentice - September 2026 (F/M) Paris, France

Principal Applied Scientist, Automated Reasoning Seattle, Washington, USA We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. Key job responsibilities - Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis - Design and implement novel algorithms and techniques that advance the state of the art - Mentor and guide applied scientists, research scientists, and engineers - Collaborate with product teams to transition research into production systems - Define technical vision and strategy for automated reasoning initiatives - Represent AWS in the academic and research community - Drive cross-organizational impact through technical leadership About the team The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries. Basic Qualifications: - MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field. - Industrial/academic experience in formal verification, and theorem proving. - Experience with program analysis, program verification or synthesis. - Experience with programming languages such as Rust, C, C++, Java,

Supervisor SHE PE013 - MIN - Arequipa - Calle Ambrocio Vucetich posted:

Stylist Bodrum,TR-48,Türkiye

Funeral Arranger - Union PR - Bayamon posted: Posted 30+ Days Ago

ASIC Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years Bangalore, India Join us as an ASIC Engineering Technical Leader and drive the development of cutting-edge enterprise and service provider solutions. Lead complex RTL design projects, mentor top talent, and shape the future of high-performance ASICs at Cisco SiliconOne. Make a significant impact in a world-class, innovative environment.

ASIC Formal Verification Engineer, TPU Compute Sunnyvale, CA, USA In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As an ASIC Formal Verification Engineer, you'll contribute formal verification expertise to verify complex digital designs with a specific focus on TPU architecture and its integration within AI/ML-driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving force behind Google's groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to

Aprendiz Aprendiz

Distinguished Formal Verification San Jose, CA Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com . Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class engineering team in San Jose, California. As a hyper-growth leader in AI infrastructure connectivity, we're revolutionizing how data centers handle explosive AI workloads through cutting-edge PCIe Gen 6/7, CXL, Ethernet, UCIe, and UALink technologies. This is a rare opportunity to shape the formal verification strategy across our entire product portfolio while working on the most advanced connectivity solutions powering the AI revolution. In this highly strategic role, you'll serve as Astera Labs' technical authority on formal verification, defining methodologies and best practices that ensure the highest quality standards across all our next-generation connectivity products. You'll work at the intersection of innovation and reliability, leading efforts to catch critical corner-case bugs that traditional verification methods miss, while mentoring a global team of engineers and representing Astera Labs as a thought leader in the formal verification community. This position offers

Software Formal Qualitative Testing (FQT) Engineer II US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 Concord posted: Posted 30+ Days Ago

Legal Counsel Junior (alle) I befristet 18 Monate (Elternzeitvertretung) Frankfurt / Main posted: Posted 30+ Days Ago

Vendeur à temps partiel (20 heures) BRUXELLES Êtes-vous... Vous êtes un mordu des baskets et vous souhaitez faire partie de la première organisation internationale de vente au détail de baskets et de vêtements de sport à la mode ? Alors nous vous cherchons pour faire la différence à JD Bruxelles Rue Neuve ! Quelles sont vos fonctions ? En tant que vendeur à temps partiel, vous et votre équipe êtes la force de JD Bruxelles Rue Neuve . Vous êtes formé(e) pour devenir un(e) spécialiste dans le département des chaussures, du textile et/ou du stock. Grâce à vos efforts, vous assurez un magasin soigné selon les directives de JD. Vous approvisionnez le magasin, munissez les produits d'étiquettes, veillez à ce que les remises et les compléments soient corrects et placez les produits les plus vendus au bon endroit dans le magasin. Votre service à la clientèle est de haut niveau et, en combinaison avec l'offre de produits de kiosque et d'entretien, vous atteindrez vos objectifs de vente. Grâce à vos efforts pour le client, vous atteignez non seulement vos propres objectifs, mais vous êtes en partie responsable du succès et de la croissance de votre magasin et de votre équipe. Nous recherchons les collègues suivants... - Être disponible pour 20 heures par semaine ; - Vous parlez couramment l'anglais ou d'autres langues internationales ; - Vous partagez notre passion pour les baskets et la mode ; - Vous avez de bonnes compétences en matière de vente et de service à

Infirmier (F/H) - Agadir - Français - Expérimenté MAR Agadir - Avenue Hassan II posted: Posted Today

Quality Assurance Supervisor Spain - Parla posted: Posted 30 Days Ago

Superviseur.eure, d'organisme technique acceptable (OTA) (Gatineau, Qc)/ Acceptable Technical Organization (ATO) Supervisor (Gatineau, Qc). CA-Quebec-Gatineau

Référent comptable Paris posted: Posted 30+ Days Ago

Formal & Civilian Training Manager Holloman AFB, New Mexico Summary Click on "Learn more about this agency" button below to view Eligibilities being considered and other IMPORTANT information. Duties Summary: The primary purpose of this position is to perform technical and specialized support work in the execution of formal military training and civilian development programs for the installation. The incumbent applies established policies, procedures, and systems to process, coordinate, track, and document training actions. The position supports mission readiness by ensuring training requirements are accurately executed, recorded, and reported, while operating within defined guidelines and established authorities. Duties: Executes assigned formal military training actions by processing and monitoring training requests in accordance with established Air Force instructions and procedures. Performs general clerical and administrative tasks to support office operations. Maintains and updates training and education records for military and civilian personnel across multiple automated systems. Provides technical guidance and customer support to military members, civilians, supervisors, and unit training managers regarding formal training and civilian development processes. Education IF USING EDUCATION TO QUALIFY: If position has a positive degree requirement or education forms the basis for qualifications, you MUST submit transcripts with the application. Official transcripts are not required at the time of application; however, if position has a positive degree requirement, qualifying based on education alone or in combination with experience, transcripts must be verified prior to appointment. An accrediting institution recognized by the U.S. Department of Education must accredit education. Click here to check accreditation. FOREIGN EDUCATION: Education

Supervisor(a) de Almacén Pt Guadalajara, JAL posted: Posted 30 Days Ago

Research Software Engineer, Formal Methods (Hybrid) cambridge, Massachusetts, United States of America Date Posted. 2026-04-01Country. United States of AmericaLocation. US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6Position Role Type. Hybrid. U.S. Citizen, U.S. Person, or Immigration Status Re...

Software Formal Qualitative Testing (FQT) Engineer II tewksbury, Massachusetts, United States of America Date Posted. 2026-04-10Country. United States of AmericaLocation. US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 ConcordPosition Role Type. Onsite. U.S. Citizen, U.S. Person,...