ZipRecruiter

Log In

1

Coq Programming Jobs in Florida (NOW HIRING)

atrion

Quality Engineer

Davie, FL

$66K - $85K/yr

Lead defect and repair reduction programs to drive down Cost of Quality (COQ) metrics. Conduct ... Manage engineering projects focused on improving product quality and QMS compliance. * Generate ...

All JobsCoq Programming JobsCoq Programming Jobs in Florida

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 is coq in programming?

Coq is an interactive theorem prover used in programming to develop formal proofs and verify software correctness. It supports functional programming and allows developers to write mathematical specifications, proofs, and certified code, often used in safety-critical systems. Knowledge of logic, type theory, and functional programming languages like OCaml is beneficial for Coq programming roles.

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.

What jobs pay $10,000 a month without a degree?

In the field of Coq programming, high-paying roles such as freelance formal verification consultants or specialized software developers can reach or exceed $10,000 per month without a degree, especially with strong skills in theorem proving, functional programming, and industry experience. These positions often require expertise in Coq, a deep understanding of formal methods, and the ability to work independently or with consulting firms. Earning this level typically depends on project complexity, reputation, and client demand rather than formal education credentials alone.

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.

Is coq a functional programming language?

Coq is a formal proof management system that uses a dependently typed functional programming language to develop mathematical proofs and certified software. It is based on the calculus of inductive constructions, making it a strongly typed, functional language suitable for formal verification tasks. Coq is often used by programmers and researchers in formal methods and software correctness.

What jobs in the US pay 300,000 a year?

In the US, senior roles such as software engineers, data scientists, and specialized legal or medical professionals can earn $300,000 or more annually. High-level executive positions like CEOs and investment bankers also frequently reach or exceed this salary level, often requiring advanced skills, extensive experience, and relevant certifications.

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 are popular job titles related to Coq Programming jobs in Florida? For Coq Programming jobs in Florida, the most frequently searched job titles are:
What job categories do people searching Coq Programming jobs in Florida look for? The top searched job categories for Coq Programming jobs in Florida are:
What cities in Florida are hiring for Coq Programming jobs? Cities in Florida with the most Coq Programming job openings:
Coq Programming jobs near you
Manufacturing Engineering Manager, Armor

Manufacturing Engineering Manager, Armor

safariland

Jacksonville, FL • On-site

$101K - $126K/yr

Other

Posted 2 days ago

Key responsibilities

  • Build and lead a team of manufacturing, process, and automation engineers supporting operations.

  • Develop and validate manufacturing processes, tooling, and equipment for new products considering DFM best practices.

  • Create and manage process documentation including work instructions, PFMEAs, control plans, and SOPs.

Safariland rating

6.9

Company rating: 6.9 out of 10

Based on 8 frontline employees who took The Breakroom Quiz

Job description

Job Summary

Lead the Manufacturing Engineering and Maintenance teams that builds life-saving ballistic armor. You’ll own daily operational support, scale new/legacy product lines, drive automation, and run a structured Continuous Improvement Program (CIP) that lifts throughput, yield, safety, and cost.

Responsibilities   

  • Build and lead a team of manufacturing, process, and automation engineers supporting operations
  • Identify, evaluate, and justify capital expenditure (CapEx) projects by developing data-driven business cases
  • Work with the New Product Development group to ensure Tollgate Zero and NPI guidelines are followed, from inception to mass production
  • Develop and validate manufacturing processes, tooling, and equipment for new products to consider DFM best practices
  • Create and manage process documentation including work instructions, PFMEAs, control plans, and SOPs
  • Build and maintain a prioritized CIP portfolio tied to plant KPIs (OEE, FPY, CT, COQ, safety)
  • Execute Lean/Six Sigma projects
  • Identify automation opportunities (robotics/cobots, vision systems, PLC/HMI, AMRs, in-process inspection, data capture)
  • Lead vendor selection, URS/FDS, FAT/SAT, integration, and operator training; ensure safety and CE/OSHA compliance
  • Lead the identification and execution of improvement projects using AI/ML tools for predictive maintenance, quality control, and process optimization
  • Ensure proper Change Control procedures are followed to align with the ISO 9001-2015 and BA 9000:2016 Quality Management System
  • Work within EHS/OSHA, ITAR/EAR, and customer/regulatory requirements
  • All other duties as assigned

 

Experience

  • 10+ years in manufacturing/process engineering
  • 3–5+ years leading highly functional engineering teams
  • Demonstrated ability to recruit and develop talent
  • Experience with discrete/heavy process experience (ceramics, composites, plastics, or metals) preferred
  • Expertise working in manufacturing environments applying Operating Model tools
  • Lean/Six Sigma toolkit; PFMEA, control plans, MSA, SPC, DOE
  • Automation: PLC/HMI, robotics/cobots, vision systems, sensors, and safety circuits
  • Track record creating CIP pipelines, prioritizing by ROI/risk, and delivering sustained KPI improvements
  • Software proficiency in applications such as MS Project, AutoCAD, VISIO, SolidWorks, etc.
  • Clear communicator, servant leader, decisive under pressure; builds cross-functional trust (Ops, Quality, Design, Supply Chain)
  • Strong experience in Project Management

Education & Eligibility

  • Bachelor's degree in Mechanical Engineering, Manufacturing Engineering, Materials Sciences, Industrial Engineering, or related field
  • Advanced degree (Master's or PhD) in Mechanical Engineering, Manufacturing Engineering, Materials Sciences, Industrial Engineering, or related field preferred
  • U.S. Person status as defined by ITAR/EAR.

Apply