Temporary AI Engineer
OR · On-site +1
AI Engineer Temporary Assignment (through 2/13/2027) Remote, USA; potential for minimal ad hoc ... E-Verify As a Federal Contractor, we are required to use to validate employees' ability to work ...
Temporary AI Engineer
OR · On-site +1
AI Engineer Temporary Assignment (through 2/13/2027) Remote, USA; potential for minimal ad hoc ... E-Verify As a Federal Contractor, we are required to use to validate employees' ability to work ...
Senior Network WAN Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Senior Network WAN Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Senior Software Engineer
OR · On-site +1
$160K - $200K/yr
This position is remote-only for East Coast candidates, but we prefer candidates based in New York ... verification signals in application materials based on available information. These tools assist ...
Quick apply
Senior Software Engineer
OR · On-site +1
$160K - $200K/yr
This position is remote-only for East Coast candidates, but we prefer candidates based in New York ... verification signals in application materials based on available information. These tools assist ...
Senior Software Engineer
OR · On-site +1
$160K - $200K/yr
This position is remote-only for East Coast candidates, but we prefer candidates based in New York ... verification signals in application materials based on available information. These tools assist ...
Senior Software Engineer
OR · On-site +1
$160K - $200K/yr
This position is remote-only for East Coast candidates, but we prefer candidates based in New York ... verification signals in application materials based on available information. These tools assist ...
Senior Network Security Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Senior Network Security Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Senior Network Engineer
$97K - $102K/yr
... verification of users and devices * Design and implement least-privilege network access controls ... Remote, US Minimum Salary Rate$97,273.50Median Salary Rate$102,377.50Working at DMI DMI is a ...
Senior Network Engineer
$97K - $102K/yr
... verification of users and devices * Design and implement least-privilege network access controls ... Remote, US Minimum Salary Rate$97,273.50Median Salary Rate$102,377.50Working at DMI DMI is a ...
Sales Engineer (Application Security)
OR · Remote
$103K - $128K/yr
More than 30,000 organizations already rely on us to verify the identities of people and things ... Remote - Central/ West US States Thales is hiring an experienced Sales Engineer who'll provide ...
Sales Engineer (Application Security)
OR · Remote
$103K - $128K/yr
More than 30,000 organizations already rely on us to verify the identities of people and things ... Remote - Central/ West US States Thales is hiring an experienced Sales Engineer who'll provide ...
Distribution Market Manager III (Remote)
Wilsonville, OR · On-site +1
$90K - $120K/yr
... deliver formal presentations to senior management teams • Essential proficiency in negotiation ... Our more than 90,000 employees, including 10,000 engineers, work alongside customers in ...
Distribution Market Manager III (Remote)
Wilsonville, OR · On-site +1
$90K - $120K/yr
... deliver formal presentations to senior management teams • Essential proficiency in negotiation ... Our more than 90,000 employees, including 10,000 engineers, work alongside customers in ...
Regional Quality Manager, Southwest (Remote - Travel Required)
OR · Remote
$59K - $74K/yr
Conduct frequent, formal audits on documentation compliance, reporting methods, installation ... Bachelor's degree in engineering, OSHA 10, 30, Journeyman, etc. are all highly desirable. * Skills:
Regional Quality Manager, Southwest (Remote - Travel Required)
OR · Remote
$59K - $74K/yr
Conduct frequent, formal audits on documentation compliance, reporting methods, installation ... Bachelor's degree in engineering, OSHA 10, 30, Journeyman, etc. are all highly desirable. * Skills:
Senior Network Security Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Senior Network Security Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Estimator, Services (Remote)
OR · On-site +1
$104K - $130K/yr
Bachelor's degree in engineering, construction management, or architectural degree, or equivalent ... agency has received formal instructions from our internal talent acquisition team to submit ...
New
Estimator, Services (Remote)
OR · On-site +1
$104K - $130K/yr
Bachelor's degree in engineering, construction management, or architectural degree, or equivalent ... agency has received formal instructions from our internal talent acquisition team to submit ...
New
Senior Network Load Balancing Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Senior Network Load Balancing Engineer
$116K - $162K/yr
Remote Department: Core Tech Network Schedule: 8 hour shift, Monday-Friday Salary: $116,413 - $162 ... E-Verify statement Employer participates in the Electronic Employment Verification Program. Please ...
Principal Embedded Software Engineer
Tualatin, OR · On-site +1
... remote controlled weapons stations, and training. For over 250 years SIG SAUER, Inc. has evolved ... Approve verification test plans, check the accuracy of test results, and draw logical conclusions.
Quick apply
Principal Embedded Software Engineer
Tualatin, OR · On-site +1
... remote controlled weapons stations, and training. For over 250 years SIG SAUER, Inc. has evolved ... Approve verification test plans, check the accuracy of test results, and draw logical conclusions.
Microsoft Systems SME
$77K - $85K/yr
Duties and Responsibilities: * Engineer and maintain secure Windows workstation images ... Experience working under formal change control, audit, and security governance processes Required ...
Microsoft Systems SME
$77K - $85K/yr
Duties and Responsibilities: * Engineer and maintain secure Windows workstation images ... Experience working under formal change control, audit, and security governance processes Required ...
Full-Stack Software Engineer
OR · Remote
$120K - $150K/yr
Self-directed and able to work independently in a remote environment Preferred Qualifications ... verification signals in application materials based on available information. These tools assist ...
Full-Stack Software Engineer
OR · Remote
$120K - $150K/yr
Self-directed and able to work independently in a remote environment Preferred Qualifications ... verification signals in application materials based on available information. These tools assist ...
Fully Remote Quality Assurance Analyst 6/30/26
Portland, OR · On-site +1
$55 - $63/hr
... verification, and data quality management. This is a 2 year plus consultant position with high ... Formal SQA methodologies including software development life cycles, testing processes, and ...
Fully Remote Quality Assurance Analyst 6/30/26
Portland, OR · On-site +1
$55 - $63/hr
... verification, and data quality management. This is a 2 year plus consultant position with high ... Formal SQA methodologies including software development life cycles, testing processes, and ...
Fully Remote Quality Assurance Analyst 6/30/26
Portland, OR · Remote
$55 - $63/hr
... verification, and data quality management. This is a 2 year plus consultant position with high ... Formal SQA methodologies including software development life cycles, testing processes, and ...
Quick apply
Fully Remote Quality Assurance Analyst 6/30/26
Portland, OR · Remote
$55 - $63/hr
... verification, and data quality management. This is a 2 year plus consultant position with high ... Formal SQA methodologies including software development life cycles, testing processes, and ...
Senior Linux System Engineer
OR · On-site +1
Senior Linux System Engineer Remote, USA EMKS is seeking a Senior Linux System Engineer to support ... This project provides Independent Verification and Validation (IV&V) services to support the ...
Senior Linux System Engineer
OR · On-site +1
Senior Linux System Engineer Remote, USA EMKS is seeking a Senior Linux System Engineer to support ... This project provides Independent Verification and Validation (IV&V) services to support the ...
Senior Transmission Line Engineer 2 - Grid
$100K - $152K/yr
Description This role offers a remote environment. This position will offer you the ability to ... Knowledge to verify/review right of way requirements, conductor sags/tensions, transmission line ...
Senior Transmission Line Engineer 2 - Grid
$100K - $152K/yr
Description This role offers a remote environment. This position will offer you the ability to ... Knowledge to verify/review right of way requirements, conductor sags/tensions, transmission line ...
The role focuses on providing pulmonary rehabilitation and therapeutic programming, as well as ... Verifies orders and administers aerosolized medication, bronchial hygiene, volume expansion ...
The role focuses on providing pulmonary rehabilitation and therapeutic programming, as well as ... Verifies orders and administers aerosolized medication, bronchial hygiene, volume expansion ...
Remote Formal Verification Engineer information
What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?
| Aspect | Remote Formal Verification Engineer | Remote Hardware Verification Engineer |
|---|---|---|
| Required Credentials | Bachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methods | Bachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing |
| Work Environment | Design and analyze digital systems using formal methods remotely | Test and validate hardware components remotely in lab or simulation environments |
| Industry Usage | Semiconductor, electronics, tech companies focusing on verification | Semiconductor, electronics, hardware manufacturing companies |
| Search & Comparison Intent | Often 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 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 are the most commonly searched types of Formal Verification Engineer jobs in Oregon? The most popular types of Formal Verification Engineer jobs in Oregon are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Oregon? For Remote Formal Verification Engineer jobs in Oregon, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Oregon look for? The top searched job categories for Remote Formal Verification Engineer jobs in Oregon are:
What cities in Oregon are hiring for Remote Formal Verification Engineer jobs? Cities in Oregon with the most Remote Formal Verification Engineer job openings:
Job description
AI Engineer
Temporary Assignment (through 2/13/2027)
Remote, USA; potential for minimal ad hoc travel
EMKS is seeking an AI Engineer to support the Department of Veterans Affairs (VA) Office of Information Technology (OIT). This position will lead the design, development, and implementation of Artificial Intelligence (AI), Generative AI, Machine Learning (ML), and intelligent automation solutions that enhance enterprise software engineering, testing, DevSecOps, and IT operations.
The successful candidate will collaborate with cross-functional teams to identify high-value AI opportunities, develop proof-of-concepts, and deliver secure, scalable, production-ready AI solutions aligned with VA AI governance and Trustworthy AI principles.
Duties/Responsibilities:
Required Qualifications:
Preferred Qualifications:
Education/Technical Skills:
Clearance:
About EM Key Solutions:
Founded in 2015, EM Key Solutions, Inc. (EMKS) is a Service-Disabled Veteran-Owned Small Business (SDVOSB) offering a broad range of services to support Federal Government enterprises in meeting their mission requirements and business demands. Relationships are key to EMKS! We adopt a customer-centric approach and proven management processes for every project we undertake. Through sound leadership and management principles, EMKS focuses on offering its clients the solutions they need to be successful at the most competitive rates throughout the project management lifecycle.
If you are curious to learn more about EM Key Solutions, please visit our website at
EMKS is an Equal Opportunity Employer committed to hiring and retaining qualified and talented individuals. All qualified applicants will receive consideration for employment without regard to race, color, sex, sexual orientation, gender identity, religion, national origin, disability, veteran status, or other legally protected status.
Reasonable Accommodation Requests
EM Key Solutions is committed to working with and providing reasonable accommodation to individuals with physical and mental disabilities. If you need special assistance or accommodation while seeking employment, please e-mail or call Human Resources at (727)-292-1521. We will make a determination on your request for reasonable accommodation on a case-by-case basis.
E-Verify
As a Federal Contractor, we are required to use to validate employees' ability to work legally in the United States.
EEO is the Law
The law requires EM Key Solutions to post a notice describing the Federal laws prohibiting job discrimination.
Pay Transparency Non-Discrimination
EM Key Solutions will not discharge or, in any other manner, discriminate against employees or applicants because they have inquired about, discussed, or disclosed their own pay.
For information regarding your legal rights and protections, please click on the following link:
Temporary Assignment (through 2/13/2027)
Remote, USA; potential for minimal ad hoc travel
EMKS is seeking an AI Engineer to support the Department of Veterans Affairs (VA) Office of Information Technology (OIT). This position will lead the design, development, and implementation of Artificial Intelligence (AI), Generative AI, Machine Learning (ML), and intelligent automation solutions that enhance enterprise software engineering, testing, DevSecOps, and IT operations.
The successful candidate will collaborate with cross-functional teams to identify high-value AI opportunities, develop proof-of-concepts, and deliver secure, scalable, production-ready AI solutions aligned with VA AI governance and Trustworthy AI principles.
Duties/Responsibilities:
- Design and develop AI-powered applications using Large Language Models (LLMs), Generative AI, and Machine Learning.
- Build AI Copilots, AI Agents, and Retrieval-Augmented Generation (RAG) solutions to improve software engineering, testing, documentation, and operational workflows.
- Develop intelligent automation solutions for test case generation, defect analysis, knowledge management, predictive analytics, and process optimization.
- Integrate AI capabilities into enterprise applications, APIs, Azure cloud services, and DevSecOps pipelines.
- Evaluate emerging AI technologies and rapidly develop Proofs of Concept (PoCs).
- Collaborate with architects, engineers, testers, and business stakeholders to identify and implement innovative AI solutions.
- Ensure all AI solutions comply with VA cybersecurity, privacy, accessibility, and Trustworthy AI requirements.
Required Qualifications:
- 5+ years in overall software engineering experience.
- 2+ years of hands-on experience developing AI, Machine Learning, or Generative AI solutions.
- Strong programming experience with Python.
- Experience with Azure OpenAI, OpenAI APIs, or similar LLM platforms.
- Experience with LangChain, LlamaIndex, Semantic Kernel, or comparable AI frameworks.
- Experience building Retrieval-Augmented Generation (RAG) applications and AI Agents.
- Experience developing REST APIs using FastAPI or similar frameworks.
- Familiarity with Git, Azure DevOps, CI/CD, Docker, and cloud-native development.
- Strong analytical, communication, and problem-solving skills.
Preferred Qualifications:
- Experience supporting the U.S. Department of Veterans Affairs (VA) or other Federal agencies.
- Experience with healthcare IT, EHRM, VistA, Oracle Health Millennium, FHIR, or HL7.
- Experience with Azure AI Studio, Azure Machine Learning, vector databases, and prompt engineering.
- Knowledge of NIST AI Risk Management Framework, Responsible AI, and Federal AI governance.
Education/Technical Skills:
- Bachelor's degree in Computer Science, Engineering, Data Science, Artificial Intelligence, or related field.
- Python • Azure OpenAI • OpenAI APIs • LangChain • LangGraph • LlamaIndex • Semantic Kernel • RAG • AI Agents • Machine Learning • FastAPI • Azure AI Studio • Azure DevOps • Docker • Kubernetes • SQL • Git • REST APIs • Vector Databases
Clearance:
- S. Citizenship is requiredas is successfully passing a thorough Government background screening (Public Trust) requiring the completion of detailed forms and fingerprinting.
- Ability to obtain and maintain necessary security clearances as required for access to classified information.
About EM Key Solutions:
Founded in 2015, EM Key Solutions, Inc. (EMKS) is a Service-Disabled Veteran-Owned Small Business (SDVOSB) offering a broad range of services to support Federal Government enterprises in meeting their mission requirements and business demands. Relationships are key to EMKS! We adopt a customer-centric approach and proven management processes for every project we undertake. Through sound leadership and management principles, EMKS focuses on offering its clients the solutions they need to be successful at the most competitive rates throughout the project management lifecycle.
If you are curious to learn more about EM Key Solutions, please visit our website at
EMKS is an Equal Opportunity Employer committed to hiring and retaining qualified and talented individuals. All qualified applicants will receive consideration for employment without regard to race, color, sex, sexual orientation, gender identity, religion, national origin, disability, veteran status, or other legally protected status.
Reasonable Accommodation Requests
EM Key Solutions is committed to working with and providing reasonable accommodation to individuals with physical and mental disabilities. If you need special assistance or accommodation while seeking employment, please e-mail or call Human Resources at (727)-292-1521. We will make a determination on your request for reasonable accommodation on a case-by-case basis.
E-Verify
As a Federal Contractor, we are required to use to validate employees' ability to work legally in the United States.
EEO is the Law
The law requires EM Key Solutions to post a notice describing the Federal laws prohibiting job discrimination.
Pay Transparency Non-Discrimination
EM Key Solutions will not discharge or, in any other manner, discriminate against employees or applicants because they have inquired about, discussed, or disclosed their own pay.
For information regarding your legal rights and protections, please click on the following link:
About EM Key Solutions
Sourced by ZipRecruiter
Industry
It services
Company size
11 - 50 Employees
Headquarters location
Saint Petersburg, FL, US
Year founded
2015