2

Remote Formal Verification Engineer Jobs in Kentucky

Senior Scrum Master

Fort Knox, KY ยท On-site +1

$48.75 - $66.75/hr

Who We Are Lawelawe is a Native Hawaiian Owned Small Disadvantaged Business (NHO SDB) that specializes in providing a range of services to federal government clients, including program management,

PDS General / Power Delivery Substation This position is not eligible for recruiting or sourcing by outside parties. Disclaimer : Be cautious and only respond to emails from our "mesainc.com" domain.

PDS General / Power Delivery Substation This position is not eligible for recruiting or sourcing by outside parties. Disclaimer : Be cautious and only respond to emails from our "mesainc.com" domain.

$141K - $194K/yr

Join us in pioneering breakthroughs in healthcare. For everyone. Everywhere. Sustainably. Our inspiring and caring environment forms a global community that celebrates diversity and individuality. We

$52K/yr

Position Overview At PNC, our people are our greatest differentiator and competitive advantage in the markets we serve. We are all united in delivering the best experience for our customers. We work

Director of Biostatistics

Louisville, KY ยท Remote

$60 - $65/hr

Role Title: Biostatistician Role Type: Contractor Location: Remote micro1 is engaging Biostatisticians to contribute their clinical statistics expertise to a dynamic customer project focused on

Director of Biostatistics

Lexington, KY ยท Remote

$60 - $65/hr

Role Title: Biostatistician Role Type: Contractor Location: Remote micro1 is engaging Biostatisticians to contribute their clinical statistics expertise to a dynamic customer project focused on

Showing results 41-51

Remote Formal Verification Engineer information

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

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 a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What are popular job titles related to Remote Formal Verification Engineer jobs in Kentucky?

For Remote Formal Verification Engineer jobs in Kentucky, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification Engineer jobs in Kentucky look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Kentucky are:

What cities in Kentucky are hiring for Remote Formal Verification Engineer jobs?

Cities in Kentucky with the most Remote Formal Verification Engineer job openings:

Senior Scrum Master

Fort Knox, KY โ€ข On-site, Remote

$48.75 - $66.75/hr

Full-time

Medical, Dental, Vision, Retirement

Posted 17 days ago


Key responsibilities

  • Facilitate and manage projects by serving as the liaison for users and developers.

  • Coordinate with stakeholders to elicit, validate, and document business and operational requirements.

  • Lead and participate in the Agile process and meetings, and maintain Azure DevOps CI/CD pipelines.


Job description

Who We Are
Lawelawe is a Native Hawaiian Owned Small Disadvantaged Business (NHO SDB) that specializes in providing a range of services to federal government clients, including program management, digital solutions, human capital and training, and medical staffing. Lawelawe leverages our NHO status to secure federal contracts that not only drive business success but also support our overall mission to uplift economically disadvantaged Native Hawaiian families and preserve the Native Hawaiian heritage.
You Are
The Scrum Master will facilitate and manage projects by serving as the liaison for users and developers. This role is responsible for communicating goals and evaluating results.
How You'll Make An Impact
The ideal candidate has a curious mind and enjoys taking on a challenging problem, breaking it down into sections, reviewing the information, and asking the right questions. This person must have exceptional people skills as well as creative solutions.
Responsibilities
  • Elicit business functional and operational requirements including documenting HRC related business processes workflow, transactions and/or operational activities
  • Develop system and software application functional requirements and document accordingly
  • Participate in requirements peer review activities
  • Conduct requirements validation with application functional users and stakeholders, including approvals by all stakeholders on all requirements documentation prior to development initiation.
  • Coordinate with requirements management group to establish product requirements baselines and other governance activities
  • Willingness and ability to coordinate onboarding activities for new employees joining the team
  • Collect relevant organizational human resources management processes information via interviews, surveys, technical interchanges, workshops, teleconferences, and/or documentation analysis
  • As directed, research, validate, and verify analytical information
  • Ensure that operational business process definitions are documented correctly (consistent, traceable, and verifiable)
  • Maintain integrity and manage changes to requirements and business process documentation via Azure DevOps, and/or another designated Government centralized data/information repository
  • Participate in testing software changes for compliance to requirements
  • Help develop and execute automated test scripts for applications
  • Lead and participate in the Agile process and meetings
  • Serve as liaison between the team and the government contacts to obtain needed information or documents
  • Collaborate with Project Management Team to gain approvals on deliverables
  • Perform reviews, walkthroughs, or inspectionn
  • Maintain Azure DevOps CI/CD pipelines
  • Create technical processes to reduce inefficiency

The Team
Lawelawe Defense Inc ("LDI") is an SBA Certified 8(a) Native Hawaiian Owned (NHO) SDB Lawelawe Defense offers an outstanding record of delivery on various projects encompassing: Program and Portfolio Management; Systems Engineering and Architecture; Network Engineering and Operations; Data Center Optimization and Operations; Desktop/Server and Application Virtualization.
Here's What You Need
  • Bachelor's degree with 5-7 years of relevant experience; Master's degree with 3-5 years of relevant experience; or Ph.D. with 0-2 years of relevant experience
  • Scrum Master certification required
  • Active Secret clearance
  • Must be US Citizen
  • Ability to communicate (verbally and written) with different functional and operational team technical representatives
  • Extensive experience with Agile methodologies
  • Experience and proficiency using all Microsoft Office products
  • Demonstrated technical writing capabilitie
  • Experience writing troubleshooting technical issue
  • Experience working in a software development team environment

Bonus If You
  • IAT II certification
  • Experience in DoD Applications
  • Experience in Microsoft .NET software development
  • Experience eliciting and documenting software requirements
  • Demonstrated files and data management capabilities
  • Experience with Azure DevOps

Benefits
  • A competitive compensation package
  • Comprehensive health and wellness benefits, including medical, dental, and vision plans
  • Access to company-provided retirement savings options with matching contributions
  • Opportunities for professional growth and continued learning
  • Additional perks such as discounts on various services and products
  • Remote work environment
Compensation
Salary is dependent on experience (DOE) and will be determined based on qualifications, relevant experience, and applicable requirements.
The above job description is intended to describe the general nature and level of work being performed by individuals assigned to this position. It is not intended to be an exhaustive list of all responsibilities, duties, and skills required. Candidates possessing the necessary qualifications for the position will be considered.
Lawelawe Defense Inc is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, or protected veteran status, and will not be discriminated against on the basis of disability.
Offers of employment are contingent upon satisfactory completion of a comprehensive background verification, inclusive of a criminal record check. Employment may be subject to other background checks, as required by the position.
We are committed to fair and equitable compensation practices and are transparent about our pay structures. Our pay transparency efforts are aligned with state laws and regulations to ensure compliance and promote pay equity.