Chief Operating Officer
Tallahassee, FL · On-site +1
Strong Preference • Remote-market, island, or austere operating experience - particularly where ... verified, and defensible to institutional investors and the board. • FAA and international ...
Chief Operating Officer
Tallahassee, FL · On-site +1
Strong Preference • Remote-market, island, or austere operating experience - particularly where ... verified, and defensible to institutional investors and the board. • FAA and international ...
Patient Advocate Specialist (bilingual Haitian Creole) - Orlando Health, Orlando Regional Medical Ce
Orlando, FL · Remote
$16.50 - $21.50/hr
This is a full-time, 4 days per week on-site, 1 day remote, role based at Orlando Regional Medical ... Verify and update ongoing patient eligibility for HIPP to maintain continuity. * Assist with ...
Quick apply
Patient Advocate Specialist (bilingual Haitian Creole) - Orlando Health, Orlando Regional Medical Ce
Orlando, FL · Remote
$16.50 - $21.50/hr
This is a full-time, 4 days per week on-site, 1 day remote, role based at Orlando Regional Medical ... Verify and update ongoing patient eligibility for HIPP to maintain continuity. * Assist with ...
Director Business Development - Florida
Sunrise, FL · On-site +1
We're Hiring: Director, Business Development Florida (Remote - Work From Home) Join Crawford ... Crawford & Company participates in E-Verify and is an Equal Opportunity Employer. M/F/D/V Crawford ...
Director Business Development - Florida
Sunrise, FL · On-site +1
We're Hiring: Director, Business Development Florida (Remote - Work From Home) Join Crawford ... Crawford & Company participates in E-Verify and is an Equal Opportunity Employer. M/F/D/V Crawford ...
Remote Formal Verification information
What is remote formal verification?
Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.
What are the key skills and qualifications needed to thrive as a remote formal verification engineer?
To thrive as a Remote Formal Verification Engineer, you need expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.
What are some common challenges faced by remote formal verification engineers, and how can they be addressed?
Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.
What is the difference between Remote Formal Verification vs Remote Hardware Verification?
| Aspect | Remote Formal Verification | Remote Hardware Verification |
|---|---|---|
| Credentials | Typically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methods | Requires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design |
| Work Environment | Primarily focused on software tools, modeling, and mathematical proofs, often in a remote setting | Involves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools |
| Industry Usage | Used in semiconductor, aerospace, and safety-critical software industries | Common in semiconductor, electronics manufacturing, and embedded systems industries |
Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.
What are popular job titles related to Remote Formal Verification jobs in Florida?
For Remote Formal Verification jobs in Florida, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification jobs in Florida look for?
The top searched job categories for Remote Formal Verification jobs in Florida are:
What cities in Florida are hiring for Remote Formal Verification jobs?
Cities in Florida with the most Remote Formal Verification job openings:
Job description
The Role
The COO is the operator-in-chief. This person owns execution across flight operations, maintenance, compliance, engineering, commercial delivery, and government-facing work. They are responsible for turning a compelling thesis into a live, scheduled, economically defensible cargo operation - in the Caribbean first, then across the U.S. and beyond.
You will be asked what is proven and what is still pending. What the real unit economics look like. What breaks in bad weather. What approvals are actually in hand. What the path into defense and government business really looks like. The right COO answers those questions from experience and judgment - not from a memo.
Non-Negotiable Experience
• Built and led complex aviation operations in a regulated, high-consequence environment - with personal accountability for safety, operating readiness, execution discipline, and economic performance in live flight operations. Scheduled Part 135 cargo experience is highly desirable.
• Direct FAA experience tied to bringing new or nonstandard operations to market: certification pathways, operating approvals, waiver and exemption strategy, and regulator-facing problem solving across multiple stakeholders.
• Ability to build constructive, credible working relationships with the FAA and international civil aviation authorities. Experience navigating the space where regulatory, political, and institutional considerations intersect - not just the formal technical process.
• Able to build, pressure-test, and defend a fully burdened aviation operating model - including maintenance, asset life, labor, insurance, compliance overhead, weather exposure, dispatch realities, and capital efficiency.
• Demonstrated ability to lead across functions: flight operations, maintenance, compliance, engineering, commercial execution, and government-facing work simultaneously.
Strong Preference
• Remote-market, island, or austere operating experience - particularly where local regulatory relationships, political dynamics, and operational execution must be managed in parallel.
• Civilian or military pilot experience, especially where it reflects real operational judgment in challenging environments. Flight instructor experience is also valuable.
• Military logistics or defense-mission exposure relevant to tactical resupply, field reliability, mission planning, or public-sector procurement. DoD acquisition fluency - including OTA or rapid-fielding pathways - is a real advantage.
• Experience converting customer interest into contracted demand: take-or-pay structures, government retainers, or repeatable institutional partnerships.
• Cold-chain or other high-reliability specialty logistics experience.
What We Are Not Looking For
• A large-airline executive who has never built in ambiguity.
• A last-mile drone specialist whose experience does not translate to heavier aircraft, longer routes, or serious regulatory and economic constraints.
• A technology executive who treats flight operations as someone else's problem.
• Anyone who approaches regulators as a box-checking exercise or autonomy as a science project.
What You Will Own
• Phase 1 commercial launch: scheduled Caribbean cargo operations from first flight to route-level EBITDA.
• Fully burdened unit economics: documented, verified, and defensible to institutional investors and the board.
• FAA and international regulatory strategy: approvals in hand, not pending assumptions.
• Fleet acquisition, readiness, and uptime across all operating aircraft.
• Commercial execution: take-or-pay contracts, carrier partnerships (FedEx, DHL, Amazon), and government retainers.
• Defense track entry: Army tactical resupply trials, SOFWERX demonstrations, and dual-use contract structure.
• Operational scaling from the Caribbean to U.S. and international markets.
Key Numbers You Will Be Accountable For
• 400 lbs payload | 200+ mile range | <$0.01/lb-mile operating cost
• Fleet uptime target: >80% through Phase 1
• Phase 1 gate: 6 months of on-time scheduled service on at least one Caribbean route
• At least one signed take-or-pay contract before Phase 2 capital is raised
• Regulatory approval in at least two Caribbean jurisdictions
• At least one DoD demonstration completed
The COO is the operator-in-chief. This person owns execution across flight operations, maintenance, compliance, engineering, commercial delivery, and government-facing work. They are responsible for turning a compelling thesis into a live, scheduled, economically defensible cargo operation - in the Caribbean first, then across the U.S. and beyond.
You will be asked what is proven and what is still pending. What the real unit economics look like. What breaks in bad weather. What approvals are actually in hand. What the path into defense and government business really looks like. The right COO answers those questions from experience and judgment - not from a memo.
Non-Negotiable Experience
• Built and led complex aviation operations in a regulated, high-consequence environment - with personal accountability for safety, operating readiness, execution discipline, and economic performance in live flight operations. Scheduled Part 135 cargo experience is highly desirable.
• Direct FAA experience tied to bringing new or nonstandard operations to market: certification pathways, operating approvals, waiver and exemption strategy, and regulator-facing problem solving across multiple stakeholders.
• Ability to build constructive, credible working relationships with the FAA and international civil aviation authorities. Experience navigating the space where regulatory, political, and institutional considerations intersect - not just the formal technical process.
• Able to build, pressure-test, and defend a fully burdened aviation operating model - including maintenance, asset life, labor, insurance, compliance overhead, weather exposure, dispatch realities, and capital efficiency.
• Demonstrated ability to lead across functions: flight operations, maintenance, compliance, engineering, commercial execution, and government-facing work simultaneously.
Strong Preference
• Remote-market, island, or austere operating experience - particularly where local regulatory relationships, political dynamics, and operational execution must be managed in parallel.
• Civilian or military pilot experience, especially where it reflects real operational judgment in challenging environments. Flight instructor experience is also valuable.
• Military logistics or defense-mission exposure relevant to tactical resupply, field reliability, mission planning, or public-sector procurement. DoD acquisition fluency - including OTA or rapid-fielding pathways - is a real advantage.
• Experience converting customer interest into contracted demand: take-or-pay structures, government retainers, or repeatable institutional partnerships.
• Cold-chain or other high-reliability specialty logistics experience.
What We Are Not Looking For
• A large-airline executive who has never built in ambiguity.
• A last-mile drone specialist whose experience does not translate to heavier aircraft, longer routes, or serious regulatory and economic constraints.
• A technology executive who treats flight operations as someone else's problem.
• Anyone who approaches regulators as a box-checking exercise or autonomy as a science project.
What You Will Own
• Phase 1 commercial launch: scheduled Caribbean cargo operations from first flight to route-level EBITDA.
• Fully burdened unit economics: documented, verified, and defensible to institutional investors and the board.
• FAA and international regulatory strategy: approvals in hand, not pending assumptions.
• Fleet acquisition, readiness, and uptime across all operating aircraft.
• Commercial execution: take-or-pay contracts, carrier partnerships (FedEx, DHL, Amazon), and government retainers.
• Defense track entry: Army tactical resupply trials, SOFWERX demonstrations, and dual-use contract structure.
• Operational scaling from the Caribbean to U.S. and international markets.
Key Numbers You Will Be Accountable For
• 400 lbs payload | 200+ mile range | <$0.01/lb-mile operating cost
• Fleet uptime target: >80% through Phase 1
• Phase 1 gate: 6 months of on-time scheduled service on at least one Caribbean route
• At least one signed take-or-pay contract before Phase 2 capital is raised
• Regulatory approval in at least two Caribbean jurisdictions
• At least one DoD demonstration completed
About Teksky
Sourced by ZipRecruiter