Get new jobs by email
- ...and enhance libraries for zk-proof generation, verification, and integration. Requirements Experience with proof assistants like Coq, Lean, Isabelle, F*, or equivalent. Familiarity with formal methods applied to distributed systems, cryptographic protocols, or...SuggestedFull time
Nexus
San Francisco, CA11 hours ago - ...Ensure correctness in a modular, evolving codebase without slowing innovation. Requirements Experience with proof assistants like Coq, Lean, Isabelle, F*, K, or equivalent. Familiarity with formal methods applied to blockchains, distributed systems, or...SuggestedFull time
Nexus
San Francisco, CA11 hours ago - ...Answer accounting and finance questions by researching and interpreting data • Scrap end of month analysis and reporting • COPO COQ reporting • Balance cash book weekly • Vouchers accounts payable invoices • Reconciles financial report in ERP system • Help...SuggestedFull time
$105k - $115k
...documentation skills, organizational and interpersonal skills. Required Licenses And Certificates Q0l- Refrigeration License (COQ} EPA608 - Universal Technician Certification Preferred Certifications 7G - Commercial Pesticide Applicator or Technician for...SuggestedFull timeShift workWeekend workAfternoon shift- ...in formal methods to build robust and maintainable systems. Familiarity with interactive and automated theorem provers (e.g., PVS, Coq, Lean, SMT solvers), static analyzers (e.g., Frama-C, Infer, Polyspace), and property-based testing libraries (e.g., QuickCheck,...SuggestedRelocation packageFlexible hours
- ...identify defects, make repairs using tools provided, and make decisions for what can/cannot be repaired. Responsibility to minimize COQ impact while meeting customer quality expectations. Physical demands Manually lift/slide/flip materials or doors (max. of...SuggestedHourly payImmediate start
$72.98k - $94.92k
...responsible for sustainment activities related to Process Engineering. This primarily includes leading and/or actively participating in COQ(Quality) problem solving projects with Epox Processes. Actively involved in failure analysis and fatigue testing for molded products...SuggestedTemporary workFor contractorsLocal areaWorldwide$81.7k - $136.7k
...development of manufacturing processes for Bill of Material transfer, BOM customization, driving lead- and cycle time improvements, COQ and EHS actions. Plays the role of primary engineering related contact person towards the engineering team in Houston. Participating...SuggestedContract workWork at officeLocal areaImmediate startRelocation package- ...medical license or willingness to obtain ~ Additional state licensure (CA, FL, NY) a plus ~ NY State Certificate of Qualification (COQ) for molecular diagnostics required or willingness to apply ~ NY State COQ for flow cytometry strongly preferred Location:...SuggestedPermanent employmentLocal areaMonday to FridayDay shift
- ..., executed, and closed with measurable impact. Drive Lessons learned across the business Measure and drive projects to improve COQ. Defect & Risk Reduction Analyze failure data to identify trends and systemic risks. Drive defect elimination programs across...Suggested
- ...responsible for owning supplier quality performance across a portfolio of plastic suppliers, with a strong focus on reducing Cost of Quality (COQ), driving continuous improvement, and enabling successful new product introductions. The role partners closely with sourcing,...SuggestedFull timeWork at officeFlexible hours
$53 per hour
...Assistant Chief Engineer or Chief Engineer position. Certifications Required: Certified Operating Engineer with a RSOE Q-01 FDNY COQ and Universal EPA certification. The following FDNY Certificates of Fitness (COFs) will be required within five months of hire:...SuggestedHourly payFor contractorsWork at officeLocal areaFlexible hoursNight shift$80k - $90k
...At Forte Opening Solutions, you’ll unite the production floor with office-based analytics to strengthen our QMS, lift FPY, and lower CoQ—while bringing teams together across Operations, Supply Chain, and Sales. How You’ll Lead # Diagnose and Resolve: Use trend analysis...SuggestedAll shifts- ...Participate in internal audits; refine procedures and system processes. Track, analyze, and drive improvement for Cost of Quality (COQ) and Cost of Poor Quality (COPQ). Perform other related duties as assigned by the Quality Manager. What You Bring Skills &...SuggestedContract workWork at office
- ...Responsible for tracking problems during and after shipment Apply Root Cause analysis skills in developing effective solutions Drive COQ (Cost of quality) metrics to determine impact on the company Required Skills & Abilities Proven experience as a quality...SuggestedContract workTemporary workFor contractorsWork at officeWeekend work
- ...throughput • Deep expertise in DAGs, BFT variants (Tendermint, HotStuff, Narwhal/Bullshark), sharding, and formal verification (TLA+, Coq) • Hands-on post-quantum cryptography integration into consensus • Proven track record shipping cross-chain interoperability (IBC...Contract workPart time
$30k
...eligible by American Board of Pathology in Anatomic Pathology or AP/CP pathology NYS Physician License Certificate of Qualification (COQ) to include Anatomic Pathology related categories (preferred) Must have strong surgical pathology skills. Additional fellowship...Daily paidFull timeLocumWork at officeLocal areaRemote workRelocationNight shiftWeekend work- ...issues. Qualifications Strong foundational knowledge in formal methods, theorem proving, and formal verification frameworks (Lean, Coq, Isabelle, or similar). Familiarity with computer architecture, ideally with RISC-V or other instruction set architectures....InternshipWork at officeRemote workRelocation
- ...ensuring quality engineering input is accounted for and modeled appropriately in all value chains such that the total Cost of Quality (CoQ) is right‑sized throughout the life of a program. Working with management, design engineering, supply chain management, manufacturing...Full timeContract workPart timeWork at officeRemote workRelocationFlexible hoursShift work3 days per week
- ...differential privacy at consensus, storage, and VM layers • Formally verify IND-CCA2, EUF-CMA, and side-channel resistance using TLA+, Coq, EasyCrypt • Optimize crypto for AVX-512 + GPU tensor cores achieving 200 GB/s DePIN encryption throughput Research, Innovation...Contract workPart timeRemote work
- ...identify defects, make repairs using tools provided, and make decisions for what can/cannot be repaired. Responsibility to minimize COQ impact while meeting customer quality expectations. Skills: ~ Ability to use wood craftsmanship tools to repair doors. High...
- ...performance management within the assigned scope, and cross-functional support for all related programs that impact Cost of Quality (COQ) to GE Appliances. Manage assigned quality engineering for suppliers of assigned commodities. This includes qualification of suppliers...Permanent employmentWork experience placementWork at officeFlexible hours
- ...assigned projects. Support efforts to improve key metrics (Defective Part Resolution Life Cycle, RMA turn times, CA responsiveness, dPPM, COQ and others). Education and Experience Requirements: High School Diploma/GED required. Bachelor’s Degree in a related field (e.g.,...Permanent employmentFull timeTemporary workPart timeLocal areaImmediate startRelocationRelocation package
- ...other LEAN related initiatives to drive measurables in desirable directions. Manage technical support to drive high efficiencies, low CoQ, and other measurables in day to day operations. Ensure successful new product launches from start through first production runs....Full timeWork experience placement
- ...unrestricted medical license to practiceinNew York State Possession/eligibility to obtainappropriate Certificates of Qualification (CoQ) for Medical Directorship in New York State is preferred. Board certification in combined Anatomic and Clinical Pathology, or in...Full time
- ...-be-forgotten via zk-redaction while preserving chain integrity • Deliver formal privacy proofs (IND-CPA, RUP, DP) using EasyCrypt/Coq and automated CI verification • Build developer SDKs that make “private by default” zero-config for dApps Research, Innovation &...Contract workPart time
$18 per hour
...identify defects, make repairs using tools provided, and make decisions for what can/cannot be repaired. Responsibility to minimize COQ impact while meeting customer quality expectations. Maintain Area and Equipment Cleanliness. Maintain efficient operation and output...Hourly payApprenticeshipImmediate startOwens Corning
Vandalia, OH19 hours ago- ...unrestricted medical license to practice in New York State Possession/eligibility to obtain appropriate Certificates of Qualification (CoQ) for Medical Directorship in New York State. Board certification/eligibility in combined Anatomic and Clinical Pathology....Full time
WMCHealth
Poughkeepsie, NY3 days ago $375k
...health system in central New York and major teaching affiliate of Columbia University, is seeking a full-time AP/CP Pathologist; NYS COQ strongly desired. Description Bassett Healthcare Network is an integrated health care system that provides care and services...Full timeRelocation package- ...unrestricted medical license to practice in New York State Possession/eligibility to obtain appropriate Certificates of Qualification (CoQ) for Medical Directorship in New York State. Board certification/eligibility in combined Anatomic and Clinical Pathology....Full time
Staff Icons
Poughkeepsie, NY2 days ago
