ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Kansas

Kaav Inc.

Software Engineer

Leawood, KS · Remote

WHERE YOU'LL WORK * This position will work remote. HOW YOU'LL SPEND YOUR TIME * Enhance and ... Understanding of an Agile based development methodology or similar formal methodologies * Strong ...

Kaav Inc.

Senior Software Engineer

Leawood, KS · Remote

$119.20K - $157.10K/yr

WHERE YOU'LL WORK * This position will work remote. HOW YOU'LL SPEND YOUR TIME * Enhance and ... Understanding of an Agile based development methodology or similar formal methodologies * Strong ...

TERRACON

Senior Engineer

Olathe, KS · On-site +1

$114.60K - $177.70K/yr

Remote Position Only In this role, you will provide engineering and consulting services for ... verify that it is safely completed on time and within scope and budget. Examples of the work ...

NinjaOne

Software Packaging Engineer

Kansas, KS · On-site +1

Location - We are flexible on remote working from home, if you are located in the USA and reside in ... Develop endpoint‑side scripts to download, install, upgrade, and verify third‑party ...

Spirax Sarco

Sales Engineer - KS

Kansas City, KS · Remote

This role is remote, but the candidate needs to be located in the territory. Key Responsibilities ... Train end users on Spirax Sarco products and services through informal sessions and formal ...

TERRACON

Senior Engineer

Olathe, KS · On-site +1

$114.60K - $177.70K/yr

... Remote Position Terracon has a fantastic opportunity to join our growing Alternate Delivery ... verify that it is safely completed on time and within scope and budget. Examples of the work ...

Finite State

... when to verify output * Strong backend and data modeling skills in Postgres; experience with ... in a remote, cross-functional team Your 90-Day Success Path * 30 Days: Ship small full-stack ...

Kansas State University

Assistant Professor

Manhattan, KS · On-site +1

$100K - $115K/yr

K-State is unable to provide remote or hybrid work opportunities for residents of the state of ... formal methods. * Experience with hardware and/or software forensics, and/or reverse engineering ...

Finite State

... when to verify output * Strong backend and data modeling skills in Postgres; experience with ... in a remote, cross-functional team Your 90-Day Success Path * 30 Days: Ship small full-stack ...

next page

Showing results 1-20

People also search for

All JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Kansas

Remote Formal Verification Engineer information

What are the key skills and qualifications needed to thrive as a Remote Formal Verification Engineer, and why are they important?

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 are Remote Formal Verification Engineers?

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 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 Kansas? For Remote Formal Verification Engineer jobs in Kansas, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Kansas look for? The top searched job categories for Remote Formal Verification Engineer jobs in Kansas are:
What cities in Kansas are hiring for Remote Formal Verification Engineer jobs? Cities in Kansas with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Kansas as of May 2026, with employment types broken down into 86% Full Time, 7% Part Time, and 7% Contract. Highlights an 7% In-person, and 93% Remote job distribution.

Software Engineer

Kaav Inc.

Leawood, KS • Remote

Other

This job post has expired today. Applications are no longer accepted.

Job description

WHAT YOU'LL DO
As a Senior Software Engineer you will have responsibility for developing, testing, implementing, and maintaining software applications in a for-profit organization utilizing Microsoft technologies.
WHERE YOU'LL WORK

  • This position will work remote.
HOW YOU'LL SPEND YOUR TIME
  • Enhance and develop functionality for the Nursing platform using advanced technologies like C#, .NET Framework, Angular, AngularJS, Docker, Kubernetes, SQL Server, and Kafka
  • Collaborate with a diverse team of Platform Analysts, Scrum Masters, QA Analysts, and Product Owners to define and deliver impactful projects
  • Work independently, as well as with team members on different teams and in different locations
  • Conduct thorough code reviews to ensure high-quality software development
  • Provide technical mentoring and guidance to less experienced Software Engineers
  • Establishing and maintaining software engineering best practices and patterns
  • Assisting in setting expectations with business stakeholders for key deliverables by providing estimates are participating in feature refinement discussions
  • Continually work towards making improvements in the release process and facilitate migration to a Continuous Deployment/Continuous Integration approach
  • Provide technical expertise and troubleshooting as needed to support production issues
  • Assist and in some cases be responsible for the design and architecture of projects and features
  • Execute deployments in production and non-production environments and willing to support deployments outside of work hours participate in an on-call rotation
WHAT YOU'LL NEED
  • Strong communication skills
  • Bachelor's degree in a computer related field and/or equivalent work experience
  • 6+ years of relevant work experience in software development for web-based applications
  • Demonstrating strong organizational and teamwork skills, meticulous attention to detail, and a proactive willingness to actively engage and collaborate with other development teams working on different integrations
  • Excellent problem-solving skills and an ability to translate a business scenario into a technical solution
  • Demonstrate excellent written and verbal communication skills to effectively convey ideas, collaborate with team members, product partners, and stakeholders. This includes actively engaging with product partners to understand requirements, collaborating with the team and Quality Engineering (QE) to troubleshoot issues, and working together with QE to ensure comprehensive coverage for validation and verification of the delivered value
  • Proficiency in .NET, C#, SQL, HTML, Angular, AngularJS, and CSS
  • Experience with web frameworks.
  • Experience with Kafka, Docker and Kubernetes is strongly recommended
  • Understanding of an Agile based development methodology or similar formal methodologies
  • Strong understanding of software development best practices and principles
  • GIT/GIT Pipelines

Required Skills : Angular
Additional Skills : Applications Architect

Apply