1

Coq Programming Jobs in Michigan (NOW HIRING)

The Metrology Lab Manager promotes the quality and engineering systems throughout the organization ... COQ), error-proofing, PPM, and adherence to control plans. * Prepare/return documents, as well as ...

Coq Programming information

What is Coq programming?

Coq programming refers to using the Coq proof assistant, a formal proof management system, to write mathematical definitions, executable algorithms, and formally verify properties of programs. Coq uses a functional programming language called Gallina, in which users can define functions, state theorems, and construct proofs that are checked by the system for correctness. Coq is widely used in academic research, formal verification of software and hardware, and teaching logic and computer science.

What are the key skills and qualifications needed to thrive as a Coq Programmer, and why are they important?

To thrive as a Coq Programmer, you need a solid background in formal logic, functional programming, and mathematics, often supported by a degree in computer science or a related field. Proficiency with the Coq proof assistant, familiarity with theorem proving environments, and sometimes knowledge of related tools like OCaml are essential. Strong analytical thinking, attention to detail, and effective problem-solving skills make someone stand out in this position. These abilities are crucial for developing and verifying complex mathematical proofs, ensuring software correctness, and advancing formal methods in research or industry.

Is there a future in coding jobs?

Coq programming is a specialized skill in formal verification and theorem proving, which is valuable in industries like software development, cybersecurity, and research. As demand for reliable software increases, expertise in formal methods and proof assistants like Coq is expected to grow, supporting job stability and opportunities for skilled programmers.

What is Coq in coding?

Coq is an interactive theorem prover used in formal verification and proof development, often by programmers and researchers in formal methods. It allows users to write mathematical specifications and verify properties of software and algorithms through formal proofs. Knowledge of functional programming and logic is beneficial when working with Coq in a coding context.

What jobs are good for coders?

For Coq programmers, roles such as formal verification engineer, software developer specializing in proof assistants, or research scientist in formal methods are suitable. These jobs often require strong programming skills, knowledge of theorem proving, and experience with tools like Coq or similar proof assistants. They are typically found in academia, research labs, or industries focused on software correctness and security.

What are some common challenges Coq programmers face when collaborating on large-scale formal verification projects?

Coq programmers working on large-scale formal verification projects often encounter challenges related to codebase maintainability and effective collaboration. Managing dependencies between proofs, ensuring consistency in proof styles, and merging changes without breaking existing proofs can be particularly complex. Teams typically address these issues through rigorous code review processes, clear documentation standards, and using version control systems tailored for proof engineering. Regular communication and collaborative planning are key to overcoming these challenges and ensuring successful project outcomes.

What is a Coq proof assistant?

A Coq proof assistant is a formal software tool used by Coq programmers to develop and verify mathematical proofs and formal specifications. It provides an environment for writing, checking, and managing proofs using a formal language based on the Calculus of Inductive Constructions, supporting skills in formal methods and theorem proving.

What is the difference between Coq Programming vs Formal Verification Engineer?

AspectCoq ProgrammingFormal Verification Engineer
Required CredentialsKnowledge of Coq, logic, and theorem provingBackground in computer science, formal methods, and verification tools
Work EnvironmentResearch labs, academia, or software companies focusing on proof developmentTech companies, safety-critical industries, and software development teams
Industry UsagePrimarily in formal methods, academia, and research projectsIn industry for safety, security, and reliability assurance

Coq Programming involves writing formal proofs using the Coq proof assistant, focusing on theorem proving and logic. Formal Verification Engineers apply these skills in practical settings to verify software and hardware systems' correctness. While both roles require knowledge of formal methods, Coq Programming is more research-oriented, whereas Formal Verification Engineering emphasizes application in industry projects.

What job categories do people searching Coq Programming jobs in Michigan look for? The top searched job categories for Coq Programming jobs in Michigan are:
What cities in Michigan are hiring for Coq Programming jobs? Cities in Michigan with the most Coq Programming job openings:
Senior Manager Quality Assurance, Ford Energy

Senior Manager Quality Assurance, Ford Energy

Ford Motor Company

Dearborn, MI โ€ข On-site

Full-time

Posted 21 days ago


Job description


Ford Energy is a newly formed, wholly-owned subsidiary of Ford Motor Company dedicated to accelerating U.S. energy independence. Leveraging Ford's century of manufacturing excellence and world-class battery energy storage systems (BESS) technology, Ford Energy designs, manufactures, and services grid-scale and commercial DC battery energy storage systems (BESS). Ford Energy is uniquely positioned to capture the growing demand for reliable, US-built energy storage systems. We are not just building batteries; we are building the infrastructure for the next generation of the American grid.
Why Ford Energy?
At Ford Energy, you have the backing of an industrial manufacturing powerhouse with the agility of a dedicated energy startup offering industry leading technology. We offer a competitive compensation package including performance-based bonuses, Ford vehicle discounts, and the opportunity to shape the energy strategy of one of the world's most iconic brands.
In this position...
The Senior Manager Quality Assurance will serve as the senior quality leader and executive champion for Ford Energy quality culture. This highly visible leadership role is responsible for leading a team of engineering supervisors and quality engineers while owning the end-to-end quality operating model across the full development lifecycle. Beyond technical execution, you will be responsible for the financial protection of the subsidiary by managing the total "Cost of Quality" and warranty exposure. You will ensure that Ford Energy's solutions are technically sound, safety and regulatory compliant, and capable of meeting customer expectations in production and in the field, serving as the primary quality interface for both internal and external executives.
Responsibilities
What you'll do...
  • Quality System Ownership & Governance
    • Own the quality operating model, quality gates, escalation paths, and KPI structure for Ford Energy.
    • Establish and enforce the high-level quality standards and technical rigor that the engineering, manufacturing, and service organizations must live by.
    • Manage the "clock speed" of the quality organization, providing data-driven insights that influence product strategy and launch decisions.
  • Strategic Quality & Financial Accountability
    • Manage the total "Cost of Quality" (CoQ) for the subsidiary, including the mitigation of warranty spend and long-term liability.
    • Develop and own the quality standards and audit processes for global licensing partners and international cell suppliers to ensure consistency across the supply chain.
    • Represent Ford Energy Quality in discussions with internal and external executives, providing technical recommendations and risk assessments to support commercial decisions.
  • End-to-End Technical Quality (The "V" Model)
    • Drive rigorous Failure Mode Avoidance (FMA) processes, ensuring quality is designed into requirements, architecture, and system integration.
    • Oversee validation strategy, factory acceptance readiness, and analysis of field usage/diagnostics data.
    • Lead Root Cause Analysis for complex system failures, supporting fast-response containment and recurrence prevention.
  • Regulatory, Certification & Manufacturing Support
    • Lead the strategy and execution for regulatory compliance and certification testing (e.g., UL, IEC).
    • Manage customer certification and accreditation processes to ensure project "bankability" and customer confidence.
    • Provide technical leadership for End of Line and Factory Acceptance Testing processes to ensure production units meet all requirements before shipment.

Qualifications
You'll have...
  • Bachelor's degree in Electrical Engineering, Mechanical Engineering, Systems Engineering, or a related technical field.
  • 10+ years of experience in Quality Assurance, Systems Engineering, or Product Development within the energy or automotive sectors.
  • 3+ years of leadership experience managing engineering teams.
  • Demonstrated ability to lead cross-functional issue resolution and communicate complex technical quality risks to executive-level stakeholders.
  • Expertise in Failure Mode Avoidance tools (DFMEA, PFMEA).
  • Deep understanding of high-voltage battery systems or power electronics.
  • Experience managing the "Cost of Quality" and warranty analytics for large-scale industrial or automotive programs.
  • Direct experience with global supplier quality or managing quality standards for technology licensing agreements.
  • Direct experience with stationary Battery Energy Storage Systems (BESS).
  • Black Belt or Master Black Belt certification in Six Sigma or equivalent methodologies.

Even better, you may have...
  • Master's degree in Engineering or an MBA.
  • Experience with grid-scale certification standards (UL, IEC, NFPA).
  • Leadership Attributes
    • Strategic Culture Builder who sets the tone for technical excellence and accountability across the organization.
    • Executive-level communicator capable of translating technical quality risks into business and financial impacts.
    • Operationally strong leader capable of scaling a quality organization in a fast-paced startup environment.
    • Technical visionary with a "Safety-First" mindset who prioritizes long-term asset performance.
  • Location & Travel
    • Flexible Location: This position is hybrid-friendly for candidates with a proven ability to deliver results outside of a traditional office environment.
    • Travel Expectations: This role may require travel to manufacturing sites, supplier locations, and customer installations to ensure quality standards are met.

You may not check every box, or your experience may look a little different from what we've outlined, but if you think you can bring value to Ford Motor Company, we encourage you to apply!
This position is leadership level 5 and ranges from $141,700-268,300.
Final determination of salary grade will be based on candidate's skills and experience, and base salary will be set within the applicable range according to job scope, responsibility and competitive market value.
For more information on salary and benefits, click here: https://fordcareers.co/LL5FE
Company: As Ford establishes a wholly owned subsidiary focused on Battery Energy Storage Systems, this role will initially be employed by Ford and is expected to transition to the subsidiary within one year.
Visa sponsorship is not available for this position.
This position is hybrid. Candidates who are in commuting distance to a Ford hub location may be required to be onsite four or more days per week.
Candidates for positions with Ford Motor Company must be legally authorized to work in the United States. Verification of employment eligibility will be required at the time of hire.
We are an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, religion, color, age, sex, national origin, sexual orientation, gender identity, disability status or protected veteran status. In the United States, if you need a reasonable accommodation for the online application process due to a disability, please call 1-888-336-0660.
#Li-Hybrid
#li-RC1
#FordEnergy

Ford logo

About Ford

Sourced by ZipRecruiter

At Ford Motor Company, we believe freedom of movement drives human progress. With our incredible plans for the future of mobility, we have a wide variety of opportunities for you to accelerate your career and help us define tomorrow's transportation.

Industry

Civil engineering construction

Company size

51 - 200 Employees

Headquarters location

Doral, FL, US

Year founded

1982