2

Remote Formal Verification Jobs in Virginia (NOW HIRING)

Showing results 41-42

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 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 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 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 job categories do people searching Remote Formal Verification jobs in Virginia look for? The top searched job categories for Remote Formal Verification jobs in Virginia are:
What cities in Virginia are hiring for Remote Formal Verification jobs? Cities in Virginia with the most Remote Formal Verification job openings:

Equipment Complex Project Engineer

Johnson Controls

Richmond, VA • On-site, Remote

$90K - $105K/yr

Full-time

Medical, Dental, Vision, Retirement, PTO

Posted 11 days ago


Johnson Controls rating

8.0

Company rating: 8.0 out of 10

Based on 407 frontline employees who took The Breakroom Quiz

134th of 537 rated manufacturers


Job description

HVAC Equipment Complex Project Engineer

Johnson Controls, a global leader in thermal management, mission-critical building systems, energy efficiency, and decarbonization, helps customers use energy more productively, reduce carbon emissions, and operate with the precision and resilience required in rapidly expanding industries such as data centers, healthcare, pharmaceuticals, advanced manufacturing, and higher education.

For more than 140 years, Johnson Controls has delivered performance where it really matters. Backed by advanced technology, lifecycle services and an industry-leading field organization, we elevate customer performance, turn goals into real-world results and help move society forward.

What we offer

  • Excellent base salary and a comprehensive bonus program.

  • Three weeks paid vacation in a calendar year/holidays/sick time/three elective PTO days in a calendar year.

  • Comprehensive benefits package including 401K, medical, dental, and vision care - Available day one.

  • Extensive product and on the job/cross training opportunities

  • Encouraging and collaborative team environment

  • Providing Scheduling and management support.

  • JCI Employee discount programs (The Loop by Perk Spot)

What you will do
The HVAC Equipment Complex Projects Engineer is part of our Building Solutions North America business at Johnson Controls. Join our team of Engineers designing larger, more complex HVAC Equipment projects for our customers throughout the U.S.

This role can be remote.

You will support complex equipment projects and ensure they are completed accurately, on-time, within the scope of the contract and in alignment with customer expectations. You will work with the sales team and project management to maintain an effective balance between data center customer satisfaction and project financial results.

How you will do it

  • Manages project Profit and Loss (P&L) and customer satisfaction for all projects assigned.

  • Works closely with various branch administrations to manage backlog execution, schedule and forecast execution of projects up to two years in advance.

  • Actively manages project turnover process between equipment sales and equipment order execution.

  • Interprets engineering drawings and specifications to develop and provide engineered equipment submittals in compliance with, contract drawing, site coordination, and site installation requirements.

  • Follows standardized submittal generation guidelines for preparation and processing of engineering submittals, including but not limited to; final coil selection, coil hand coordination, fan selection, chiller performance verification, chiller configuration and option selection to match schedule, drawing and specification requirements.

  • Evaluates the contractual scope of supply and the impact of client-issued bulletins, field directives and/or scheduling changes.

  • Coordinates with other project team members to ensure cross scope items are identified, assigned, and correctly managed to ensure project success and customer satisfaction.

  • Performs associated cost estimates, prepares proposals, and works with sales in negotiating final settlement price and customer acceptance resulting from scope of supply changes / change orders. Coordinates the factory equipment order process to ensure technical and commercial compliance with contract documents and site coordination requirements.

  • Generates technical content of Purchase Orders for field purchased materials and equipment. Selects, orders, and tracks the delivery of materials and equipment for assigned projects.

  • Coordinates with logistics to meet factory and project schedule requirements and reviews the equipment order status reports as needed, identifying any critical delivery requirements.

  • Ensures project documentation is compliant with contract requirements, Johnson Controls standards and the formal Johnson Controls equipment order execution process.

  • Coordinates customer-training requirements with local Johnson Controls service. Coordinates between the HVAC Branch and Customer to assure Johnson Controls receives payment in full upon completion of the project.

What we look for
Required

  • Bachelor's degree in Mechanical Engineering.

  • 3+ years operations management experience, or mechanical engineering experience.

  • Project management.

  • Knowledge of heat transfer, thermodynamics, thermal analysis, fluid dynamics, etc.

  • Demonstrated ability to lead large complex projects with extensive execution teams and with professionalism, cooperation, and persistence.

Preferred

  • AutoCAD experience.

HIRING SALARY RANGE: $90,000-105,000(Salary to be determined by the education, experience, knowledge, skills, and abilities of the applicant, internal equity, and alignment with market data.) This position includes a competitive benefits package. The posted salary range reflects the target compensation for this role. However, we recognize that exceptional candidates may bring unique skills and experiences that exceed the typical profile. If you believe your background warrants consideration beyond the stated range, we encourage you to apply. To
support an efficient and fair hiring process, we may use technology assisted tools, includingartificial intelligence (AI), to help identify and evaluate candidates. All hiring decisions areultimately made by human reviewers. For details, please visit the About Us tab on theJohnson Controls Careers site at https://jobs.johnsoncontrols.com/about-us

#LI-JH1

Johnson Controls International plc. is an equal employment opportunity and affirmative action employer and all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, age, protected veteran status, genetic information, sexual orientation, gender identity, status as a qualified individual with a disability or any other characteristic protected by law. To view more information about your equal opportunity and non-discrimination rights as a candidate, visit EEO is the Law. If you are an individual with a disability and you require an accommodation during the application process, please visit here.


What Johnson Controls employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


Johnson Controls logo

About Johnson Controls

Sourced by ZipRecruiter

Johnson Controls is a world leader in smart buildings, creating safe, healthy and sustainable spaces. For nearly 140 years, we’ve made buildings better and now we’re transforming them again with our award-winning digital technologies and services. We’re using artificial intelligence and data driven solutions to give you deeper insight into your building’s health, sustainability and performance. It’s changing the way we design, operate and maintain indoor environments and driving to a new era of autonomous buildings. We deliver the blueprint of the future for industries such as healthcare, schools, data centers, airports, stadiums, hotels, manufacturing and beyond through OpenBlue, our comprehensive suite of connected solutions. Johnson Controls offers the world’s largest portfolio of building technology, software and services. Supported by a team of more than 100,000 dedicated employees working across 150 countries, we’re helping customers achieve their sustainability goals and power their mission.

Industry

Machinery manufacturing, water transportation, public safety statistics centers and offices and manufacturing

Company size

10,000+ Employees

Headquarters location

Milwaukee, WI, US