2

Remote Formal Verification Jobs in New Mexico (NOW HIRING)

$92K - $134K/yr

Verify compliance with safety requirements by employees, subcontractors, and visitors. * Stop work ... Documented completion of 8 hours of formal safety-related continuing education annually for the ...

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?

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon 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 New Mexico?

For Remote Formal Verification jobs in New Mexico, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification jobs in New Mexico look for?

The top searched job categories for Remote Formal Verification jobs in New Mexico are:

What cities in New Mexico are hiring for Remote Formal Verification jobs?

Cities in New Mexico with the most Remote Formal Verification job openings:

Site Safety & Health Officer

Ameresco

On-site, Remote

$92K - $134K/yr

Full-time

Medical, Retirement, PTO

Re-posted 11 days ago


Ameresco rating

8.8

Company rating: 8.8 out of 10

Based on 7 frontline employees who took The Breakroom Quiz


Job description

Ameresco, Inc. (NYSE:AMRC) is a leading energy solutions provider dedicated to helping customers reduce costs, enhance resilience, and decarbonize to net zero in the global energy transition. We are a trusted, full-service partner to public sector and government entities, K-12 schools, higher education, utilities, and healthcare customers across the U.S., Canada, the U.K., and Europe.

At Ameresco, we show the way by developing, constructing and operating tailored smart energy efficiency solutions, distributed energy resources, and infrastructure upgrades that drive cost savings, resilience, decarbonization, and innovation. Our comprehensive portfolio is built to address the challenges of today and adapt the future, ensuring long-term sustainability and success for our customers.

Ameresco has a new opportunity for an experienced construction Site Safety & Health Officer based on Kodiak Island, Alaska. The position is responsible for establishing, implementing, and maintaining a proactive safety culture and will serve as the onsite safety representative throughout the project.

Responsibilities:

  • Conduct daily inspections of personnel, equipment, tools, and work areas.

  • Perform new worker safety orientations and ongoing safety meetings.

  • Lead and document incident, mishap, and near-miss investigations.

  • Maintain required safety documentation and reference materials onsite.

  • Attend and participate in pre-construction conferences, preparatory meetings, initial inspections, follow-up inspections, and Three-Phase Quality Control meetings.

  • Implement, monitor, and enforce the Accident Prevention Plan (APP), Activity Hazard Analyses (AHAs), and EM 385-1-1 requirements.

  • Verify compliance with safety requirements by employees, subcontractors, and visitors.

  • Stop work and initiate corrective actions when unsafe conditions or behaviors are identified.

  • Ensure proper use of personal protective equipment (PPE).

  • Maintain daily safety records, inspection reports, and regulatory documentation.

  • Coordinate with project management, quality control personnel, subcontractors, and government representatives regarding safety-related matters.

  • Promote a positive safety culture through visible onsite leadership and employee engagement.

Minimum Qualifications:

  • High school diploma or an equivalent.

  • Minimum of ten (10) years of documented construction safety experience on commercial, industrial, federal, or heavy construction projects; including at least five (5) years of experience serving as a Site Safety and Health Officer (SSHO) on U.S. Army Corps of Engineers (USACE) or other federal construction projects.

Additional Qualifications:

  • Thorough knowledge of current EM 385-1-1, OSHA 29 CFR 1926, and applicable construction safety regulations.

  • Successful completion of the OSHA 30-Hour Construction Safety Course.

  • Completion of an additional 40 hours of documented construction safety training beyond the OSHA 30-Hour course.

  • Documented completion of 8 hours of formal safety-related continuing education annually for the previous five years.

  • Experience developing, implementing, and managing Accident Prevention Plans (APPs) and Activity Hazard Analyses (AHAs).

  • Current First Aid/CPR/AED certification.

  • Strong written, verbal, organizational, and leadership skills.

  • Ability to conduct inspections, investigations, and safety training while maintaining detailed records and documentation.

  • Preferred Qualifications

  • Current CHST, CSP, ASP, CSHO, or equivalent professional safety certification.

  • Experience working under USACE, NAVFAC, AFCEC, or other Department of Defense construction contracts.

  • Experience with electronic safety management systems and digital reporting platforms.

  • Ability to review confidential US Security Information is required.

The anticipated base salary range for this role is $92,000-$134,000 (presented in good faith). In addition to base pay, employees receive a comprehensive benefits package, such as health insurance, retirement plans, and paid time off, and may be eligible for performance incentives, bonuses, commissions, or equity, depending on the role.

Actual pay will depend on factors such as internal equity, skills, experience, education, certifications, and location. This range supports our commitment to pay transparency and compliance with applicable laws. Compensation may vary by work location, including remote arrangements.

We disclose salary ranges and benefits in all required external and internal postings and will provide further details upon request at any stage of the hiring process. Applications are accepted on a rolling basis until the position is filled.

#LI-BLP

Ameresco challenges the brightest, most talented, and creative individuals in the industry by providing an environment that fosters initiative and achievement. We are proud of our comprehensive and competitive employee benefits, including people-oriented insurance, investment, and incentive plans.

All official communications from Ameresco will originate from an @ameresco.com email address. Any correspondence from other domains should be regarded as fraudulent. Please report any suspicious activity to the platform where the issue was encountered. For further inquiries or concerns, please contact us at 1-866-AMERESCO

Ameresco is an Equal Opportunity Employer.


What Ameresco employees say

Pay

Hours and flexibility

Workplace

Get the full story on Breakroom