Formal jobs

Senior Messtechniker (m/w/d) Balzers, LIE posted: Posted 10 Days Ago

Welder - Experienced or with Formal Training North Kingstown, RI, US Overview Do you have welding experience or training? If so, this is a great opportunity. Apply today to this welding position and become part of the welding team that takes pride in building the world's most advanced submarines! Welding experience or formal training required. Duties include but are not limited to the following: Welding on a wide variety of materials, using an ever-growing number of weld processes Welding structural assemblies using GMAW and SMAW during fabrication and installation of submarine construction Participation in continuous training in traditional, and new welding processes, using both conventional and state-of-the art equipment (Qualification required for each process) Use of pneumatic tools such as grinders, burr tools, wire brushes, etc. Oxy/fuel pre-heat and carbon/arc gouging as well as verifying weld size using weld gauges Reading and interpretation of weld symbols, technique sheets, and work packages Additional tasks as assigned Benefits include: Paid training Medical, Dental, & Vision 401K plan with up to 6% employer match Paid vacations and holidays Growth opportunities Shift Premium Health and Wellness Programs Commuter Van Service/RIPTA Tuition Reimbursement Programs Safety Boot Reimbursement Program This position in located at the Quonset Point Facility in North Kingstown, RI. Qualifications Required High school diploma or equivalent OR a minimum of 2 years related technical experience Welding experience or formal welding training Availa

Youth Program Specialist Multiple Locations Summary Click on "Learn more about this agency" button below for IMPORTANT additional information. The primary purpose of this position is to perform a variety of duties related to youth flight direction and administration and to complete development assignments and training outlined in the formal management trainee training and development plan. Duties Performs developmental assignments in the application of professional principles, techniques, methods, and procedures used to provide youth programs and services that meet community needs. Assists the Youth Center Director to ensure a safe, healthy, and comfortable environment exists in the Youth Programs facilities, grounds, playgrounds, and sports fields and that security and maintenance is monitored. Assists the Youth Center Director in managing appropriated funds (APF) and non-appropriated funds (NAF), and funds from other sources. Conducts special assignments in keeping with the formal training plan. Education The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. The program offers a 3-year formal training plan with yearly salary increases. Promotions and salary increases are based upon your successful performance and supervisory approval. This is your opportunity to begin a successful civilian career with the United States Air Force. You MUST provide transcripts to support your educational claims. Education must be accredited by an accrediting institution recognized by the U.S. Department of Education. Please submit copies

Formal Verification Engineer, Annapurna Labs Cupertino, California, USA Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we're handling massive scale and rapid integration of emergent technologies. As a member of the Cloud-Scale Machine Learning Acceleration team you'll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost. Responsibilities: - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work with block designers to gain deep micro-architectural understanding. - Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and coverage reviews. - Promote assertions to simulation and contribute to overall simulation strategy. - Communicate and work with team members across multiple disciplines. About the team Inclusive Team Culture Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and

Quotation Engineer - Italian Speaker Budapest, HUN, 1123

Conversation Designer (12 Month FTC) Edinburgh posted: Posted 4 Days Ago

Research Scientist, AI, Formal and informal Reasoning Paris, France Meta is seeking a Research Scientist to join its Fundamental AI Research (FAIR) organization, focused on making significant advances in LLMs reasoning, using reinforcement learning, synthetic data generation and advanced scaffolding/agentic techniques, partially with a focus on formal and informal maths. You will have the opportunity to work with a broad and highly interdisciplinary team of scientists, engineers, and cross-functional partners, and will have access to cutting edge technology, important resources, and research facilities. Responsibilities: - Lead, collaborate, and execute on research that pushes forward the state of the art in reasoning research, with an initial focus on formal and informal mathematical reasoning - Work towards long-term high-stakes research goals, while identifying intermediate milestones - Directly contribute to experiments, including designing experimental details, implement reusable code, running evaluations, and organizing results - Contribute to publications and open-sourcing efforts - Mentor other team members. Play a significant role in healthy cross-functional collaboration Minimum qualifications: - Holds a PhD in the field of Computer Science, Mathematics, or similar quantitative field - Experience training and evaluating large models on State-of-the-Art codebases and developing new architectures, losses and training recipes - First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR) - Experience in training, fine-tuning, and/or experimenting with foundation models beyond black-box use - Experience working with SOTA Reinforcement Learning codebases and familiarity with one or more Machine Learning frameworks (e.g. pytorch, VERL, …) - Must obtain work authorization in the country of employment

QUALITY ASSURANCE SUPERVISOR QUALITY ASSURANCE SUPERVISOR

Industrieelektriker (m/w/d) Schwabmünchen, Germany By submitting candidates without having been formally assigned on and contracted for a specific job requisition by Avantor, or by failing to comply with the Avantor recruitment process, you forfeit an...

Program analyst (Cyber Operations) Multiple Locations Summary Click on "Learn more about this agency" button below for IMPORTANT additional information. The primary purpose of this position is to perform a variety of duties in the analysis and evaluation of cyber operations, and to complete developmental assignments and training outlined in the formal training and development plan. Duties Performs moderately difficult and complex assignments consisting of well precedented tasks to further orient the employee in the application of occupational and agency missions, policies, and objectives, as well as tactics, techniques, procedures. Incumbent determines the practices and procedures to use in accomplishing conventional tasks, and interprets and adapts guidelines in order to resolve procedural or factual issues. Carries out special projects and participates in special initiatives and studies. Prepare oral and written correspondence and other documentation. Education The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a PALACE Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. The program offers a 2 or 3 year formal training plan with eligibility for yearly salary increases. Promotions and salary increases are based upon your successful performance and supervisory approval. This is your opportunity to begin a successful civilian career with the United States Air Force.This position has an education requirement. You MUST provide transcripts to support your educational claims. Education must be accredited by an accrediting institution recognized by the U.S. Department of Education.

QC Supervisor Liberty View | OnSite Our Mission Prose is truly custom hair and skin care made-to-order-just for you. Our line of custom products are made by an in-house, Paris-based R&D team of gifted chemists who combine natural ingredients in innovative ways alongside dermatologists, giving consumers clean skin care, hair care and impeccable results. At the heart of Prose's success is Singular, its proprietary AI-powered beauty-tech platform, which has revolutionized personalized beauty at scale. Marrying a technology-driven approach with an apothecary-style concept, all Prose hair and skin care products are personalized to your one-of-a-kind hair, skin, goals and environment. We're a company that wants to change beauty practices, so we're changing the way beauty companies practice. As a certified B Corporation, a Public Benefit Corporation and Climate Neutral, we're proving that good business is always sustainable. With Prose, there's nothing sacrificed to bring you great products-not trees, materials, wages, or performance. PROSE & SINGULAR IN NUMBERS - Founded in 2017, with hubs in Paris, New York, and Los Angeles - 10M+ consultations completed - 2M customers and 350K active subscribers - 21M custom products made, with 1M+ unique formulas - 350+ team members across disciplines - $600M+ in lifetime sales, with $165M+ revenue in 2024 - Profitable since 2024 Discover our Company Culture on Welcome to the Jungle here https://www.welcometothejungle.com/en/companies/prose Discover our Company Mission & Vision in video here https://www.youtube.com/watch?v=TwLYulX9wBU Position Summary Prose is searching for a QC Supervisor who will ensure all products manufactured meet Prose's quality standards and

Customer Service Specialist (m/w/d) N/A, Austria By submitting candidates without having been formally assigned on and contracted for a specific job requisition by Avantor, or by failing to comply with the Avantor recruitment process, you forfeit an...

Principal Product Manager, AWS Neurosymbolic AI Seattle, Washington, USA The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only powerful, but provably correct. We sit at one of the most compelling frontiers in computer science: the convergence of neural networks and symbolic reasoning, where large language models meet theorem provers, and where probabilistic intelligence meets mathematical certainty. Our mission is to make AI trustworthy at scale. We develop technology that enables AI systems to reason rigorously, verify their own outputs, and provide mathematical guarantees about their behavior. This is a fundamental shift in how AI systems are built, and we believe it's on the critical path to the next generation of safe, reliable AI-powered applications. We are one of the strongest concentrations of neurosymbolic AI talent in industry. Our team includes original contributors to the Lean theorem prover and is advised by Lean's Chief Architect. We bring together researchers and engineers from both the AI and formal methods communities, a combination that is extraordinarily rare and increasingly essential. We build on Amazon's 10+ year track record of bringing automated reasoning to production at scale. AWS pioneered the use of formal methods in cloud infrastructure, from network reachability analysis to cryptographic protocol verification to access policy reasoning, systems that serve hundreds of millions of customers today. Now we're taking the next giant leap: fusing that heritage with frontier AI to make every AI system verifiable, trustworthy, and safe.

Supervisor(a) Sistema Contra Incendios - Antofagasta Antofagasta-Antofagasta-Chile posted: Posted Yesterday

法令遵循人員 (Compliance AO) Taipei City posted: Posted Yesterday

SAFETY ENGINEER Multiple Locations Summary The primary purpose of this position is to: Serve as an advanced trainee professional Safety Engineer, performing duties which are designed to progress the employee in the application of theories and principles to Safety Engineering assignments. This is a formal Air Force intern position, established under the Force Renewal/PALACE ACQUIRE (PAQ) program. This is a GS-07/GS-09 position developmental to the full performance grade level of GS-12. The intern receives formal and informal training. Duties Conduct inspections of operations and facilities where the type of hazard anticipated is low in nature and is predictable in advance. Conduct safety training, develop class schedules, maintain necessary records/data, maintain classroom equipment, facility, etc, under supervision of qualified personnel. Conduct portions of investigations of mishaps, and prepares and presents findings. Participate in established Air Force Occupational Safety Programs to Include Hazard Abatement, Confined Space, Ergonomics, etc. Conduct special assignments in keeping with the formal training plan. Education Recommended areas of study: A Degree in Safety or Occupational Health fields (Safety, Occupational Health, Industrial Hygiene), or degree in other related fields that included or supplemented by at least 24 semester hours of study from among the following (or closely related) disciplines; safety, occupational health, industrial hygiene, occupational medicine, toxicology, public health, mathematics, physics, chemistry, biological sciences, engineering, industrial psychology, and organizational psychology. This position has an education requirement. You MUST provide transcripts to support your educational claims. Education must be accredited by an accrediting institution recognized by the U.S. Department of

MARINE MACHINERY MECHANIC TRAINING LEADER Pearl Harbor Naval Base, Oahu, Hawaii Summary You will serve as a MARINE MACHINERY MECHANIC TRAINING LEADER in the RESOURCES DEPTARTMENT TRAINING AND ADMINISTRATION - CODE 900T of PEARL HARBOR NSY AND IMF. Duties You will prepare and conduct formal classroom trade theory instruction for trade apprentices and helper/limited mechanics in the basic and advanced trade knowledge to include principles, concepts, terminology, processes and practices of the trade. You will schedule and coordinate classroom instruction and practical work experience. You will develop and review trade training plans. You will conduct formal instruction on trade equipment and material usage to develop good work habits, skilled workmanship abilities, and proper safety precautions. You will develop and administer formal and practical examinations commensurate with the trade training plan objectives. You will prepare and maintain training records and reports and maintain filing system of training records. You will prepare narrative and instructional material for use in filming and producing video tape presentations. You will assist with shipboard work where difficult jobs or first-time jobs require special attention. You will coordinate the High School and Community College Co-Op Program. Evaluation In order to qualify for this position, your resume must provide sufficient experience and/or education, knowledge, skills, and abilities, to perform the duties of the specific position for which you are being considered. Your resume is the key means we have for evaluating your skills, knowledge, and abilities, as they relate to this position. Therefore, we encourage you to be

Comptable Général International - Senior

Qualified Person Dublin posted: Posted 30+ Days Ago

Field Marketing Specialist San Francisco | OnSite ABOUT FORMAL Formal is building the future of privilege access management - and we throw a great party while we're at it. From founder dinners in SF to conferences like RSA, our events are where we meet the security leaders who become our customers. We're hiring a Field Marketer to own that experience end-to-end. ABOUT THE ROLE A Field Marketing Specialist is a highly organized person who can do the hands-on work of managing logistics and online and offline details for projects taking place in person. This includes intimate dinners and lunches, meetups in our SF office, and large-scale conference programs (RSA, Black Hat, and the satellite events we host around them). This is a hands-on, high-ownership role. WHAT YOU'LL DO - Own the field marketing calendar - dinners, lunches, in-office meetups, conferences and satellite events - Run the full event lifecycle: venue and vendor sourcing, contracts, invites, registration, on-site execution, run pre- and post-event campaign motions to maximize attendance, engagement, follow-up, and conversion - Partner closely with sales and exec leadership to build guest lists, create targets and pipeline goals, and tell a story that lands with security and engineering buyers. - Track what works: attendance, pipeline influence and the qualitative signal that makes an event memorable. WHAT YOU NEED - Experience: 3-5 years of field marketing experience, preferably in B2B tech or cybersecurity, with demonstrated expertise in partner marketing strategies. - Communication Skills: Excellent written and verbal communication skills, with a

Senior Product Manager, AWS Neurosymbolic AI Boston, Massachusetts, USA The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only powerful, but provably correct. We sit at one of the most compelling frontiers in computer science: the convergence of neural networks and symbolic reasoning, where large language models meet theorem provers, and where probabilistic intelligence meets mathematical certainty. Our mission is to make AI trustworthy at scale. We develop technology that enables AI systems to reason rigorously, verify their own outputs, and provide mathematical guarantees about their behavior. This is a fundamental shift in how AI systems are built, and we believe it's on the critical path to the next generation of safe, reliable AI-powered applications. We are one of the strongest concentrations of neurosymbolic AI talent in industry. Our team includes original contributors to the Lean theorem prover and is advised by Lean's Chief Architect. We bring together researchers and engineers from both the AI and formal methods communities, a combination that is extraordinarily rare and increasingly essential. We build on Amazon's 10+ year track record of bringing automated reasoning to production at scale. AWS pioneered the use of formal methods in cloud infrastructure, from network reachability analysis to cryptographic protocol verification to access policy reasoning, systems that serve hundreds of millions of customers today. Now we're taking the next giant leap: fusing that heritage with frontier AI to make every AI system verifiable, trustworthy, and safe.

Funeral Arranger CA - Murrietta posted: Posted 30+ Days Ago

Consolideur Senior Paris posted: Posted 30+ Days Ago

LAW CLERK Multiple Locations Summary The primary purpose of this position is: This is a formal Law Clerk intern position, established under the PALACE ACQUIRE (PAQ) program; centrally managed and funded by the Air Force Personnel Center, Directorate of Civilian Personnel Operations (AFPC/DPC) and administered by the Legal Career Program, AFPC/DPZC, Joint Base San Antonio-Randolph, Texas. Duties - Assists military and civilian attorneys in rendering legal advice and litigating matters which may involve government contracts, labor and employment, environmental law, torts, administrative law, legal assistance and other areas in support of Air and Space Force missions and personnel. - Drafts and edits legal opinions and memoranda, motions, discovery documents, briefs, and other documents under the supervision of senior attorneys. - With assistance from other attorneys, performs other duties as assigned in support of the work of the Office of the Staff Judge Advocate. Education The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. The program offers a 2-year formal training plan with yearly salary increases. Promotions and salary increases are based upon your successful performance and supervisory approval. This is your opportunity to begin a successful civilian career with the Department of the Air Force. You must have completed a full course of study in a school of law accredited by the American Bar Association (ABA) AND must have