Coq - 37+ job offers

About The Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced human-written mathematics into machine-verifiable Lean 4 proofs — working at the frontier of what

Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About The Role What if your deep mathematical expertise could directly shape the future of AI reasoning? We're looking for Lean 4 Proof Engineers to formalize advanced mathematical arguments into machine-verifiable proofs — working at

About The Role What if your deep mathematical expertise could directly shape how AI reasons about the hardest problems in formal verification? We're looking for Applied Formal Methods Researchers to translate rigorous mathematical arguments into machine-verifiable Lean 4 proofs — working at the exac

Job Description: Job Title Advance Product Quality Engineer Collaborate with Innovative 3Mers Around the World Choosing where to start and grow your career has a major impact on your professional and personal life, so it's equally important you know that the company that you choose to work at, and i

Amazon

Description The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational end

Description The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational end

About The Role What if your deep mathematical expertise could directly shape the future of AI reasoning? We're looking for Formal Verification Scientists to translate complex, human-written mathematical proofs into precise, machine-verifiable formalizations using Lean 4 — working at the absolute fro

About The Role What if your deep mathematical training could directly shape how AI understands and generates rigorous proofs? We're looking for mathematicians with hands-on formal verification experience to translate complex human arguments into machine-verifiable Lean 4 proofs — working at the very

The New Yorker Hotel

€60,000 - €80,000 /year

Requirements Must have: - Minimum of 3 years of supervisory or lead mechanic experience in a hotel or similar field, or a technical certificate with at least 1 year of supervisory or lead mechanic experience. - Stationary engineers license as required by local regulations. - Proficiency in HVAC, ele

Date Posted: 2026-04-06 Country: United States of America Location: US-MA-ANDOVER-AN0 366 Lowell St BLDG AN0 Position Role Type: Onsite U.S. Citizen, U.S. Person, or Immigration Status Requirements: The ability to obtain and maintain a U.S. government issued security clearance is required.​ U.S. cit

Date Posted: 2026-04-06 Country: United States of America Location: US-PA-CHAMBERSBURG-4750-CUST 4750 Technology Ave TECHNOLOGY (External Site) Position Role Type: Onsite U.S. Citizen, U.S. Person, or Immigration Status Requirements: The ability to obtain and maintain a U.S. government issued securi

Riverside Overview Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the country’s most challenging technical problems.

Compensation Type: Yearly Highgate Hotels: Highgate is a premier real estate investment and hospitality management company widely recognized as an innovator in the industry. Highgate is the dominant player in U.S. gateway markets including New York, Boston, Miami, San Francisco and Honolulu, with a

The New Yorker Hotel

Compensation Type: Yearly Highgate Hotels: Highgate is a premier real estate investment and hospitality management company widely recognized as an innovator in the industry. Highgate is the dominant player in U.S. gateway markets including New York, Boston, Miami, San Francisco and Honolulu, with a

The New Yorker Hotel

Compensation Type Yearly Highgate Hotels Highgate is a premier real estate investment and hospitality management company widely recognized as an innovator in the industry. Highgate is the dominant player in U.S. gateway markets including New York, Boston, Miami, San Francisco and Honolulu, with a ra

Engineering Manager (COQ Q99/Q01 required) Requisition ID 2026-76316 Category Engineering Job Location US-NY-New York Property The New Yorker Hotel Compensation Minimum USD $65,000.00/Yr. Compensation Maximum USD $69,000.00/Yr. Compensation Type Yearly Highgate Hotels Highgate is a premier real esta

The New Yorker Hotel

Compensation Type: Yearly Highgate Hotels: Highgate is a premier real estate investment and hospitality management company widely recognized as an innovator in the industry. Highgate is the dominant player in U.S. gateway markets including New York, Boston, Miami, San Francisco and Honolulu, with a

Royal Lahaina Resort

Engineering Manager The Engineering Manager is responsible for the day-to-day operations of the engineering department. In the absence of the Director, the Engineering Manager will assume the administrative, financial and operating aspects of the hotel as they relate to engineering. Responsibilities

Engineering Manager (COQ Q99/Q01 required) Requisition ID: 2026-75336 Category: Engineering Location: US-NY-New York, The New Yorker Hotel Compensation: USD $65,000.00 - $69,000.00 per year (Yearly) Highgate Hotels Highgate is a premier real estate investment and hospitality management company widel

Qcells Georgia, Inc.

A leading renewable energy company seeks a Field Quality Engineer to enhance global field quality performance across various manufacturing sites. The engineer will analyze claim data, monitor KPIs, and coordinate corrective actions to mitigate field-related risks. Additionally, they will assist in c