Formal Methods Engineer for Verified Software

HushOne, Inc.

HushOne, Inc. is seeking a formal-methods expert to ensure robust system design. You will focus on model authorization, recovery, concurrency, and distributed task state, working with engineers to connect specifications to implementations and surface key assumptions. In the first 90 days, you will formalize a critical protocol, identify counterexamples or prove scoped properties, and add implementation checks. #J-18808-Ljbffr HushOne, Inc.

Apply

Vacancy posted 3 days ago

Similar jobs that could be interesting for youBased on the Formal Methods Engineer for Verified Software in Kirkland, WA vacancy

Sr. Hardware Process Engineer
$159.2k - $215.3k
...The Sr. Hardware Process Engineer will be a member of the... ...(GSE) that build and verify the optical terminal —... ...drawings- Experience running formal failure investigations... ...-for-Assembly (DFA) methods; poka-yoke as second... ...engineering project management software such as JIRA,...
Software
Permanent employment
Flexible hours
Amazon
Redmond, WA
3 days ago
Marketing Communication Lead
$84.6k - $88.77k
...including writing, editing, verifying and formatting proposal information... ...5 years of architecture, engineering, and construction experience... ...+ years’ experience with CRM software Highly organized and superb task... ...is (a) in response to a formal complaint or charge, (b) in furtherance...
Software
For contractors
Work at office
Local area
Remote work
Hensel Phelps
Bellevue, WA
2 days ago
Software Data Operations Engineer
$85k - $120k
...Software Data Operations Engineer Redmond, Washington MAQ Software enables leading companies to accelerate their business intelligence and analytics... ...(e.g., Power BI versus Tableau). Analyze and Verify Implementation (25%) Collaborate with systems analysts...
Software
Work at office
Immediate start
MAQ Software
Redmond, WA
3 days ago
Sr Process Engineer, Continuous Improvement, Amazon Leo
$137.3k - $185.7k
...Leo's teams, including hardware, software, manufacturing, quality, launch,... ...job responsibilitiesThe Sr Process Engineer for ProdOps Continuous... ...actions.- Apply advanced statistical methods — regression, ANOVA, DOE, and SPC — to verify root causes and validate solutions...
Software
Permanent employment
Flexible hours
Amazon
Bellevue, WA
5 days ago
MS Dynamics CRM Architect
...duly organized under the laws of the Commonwealth of Georgia. SonSoft Inc is growing at a steady pace specializing in the fields of Software Development, Software Consultancy and Information Technology Enabled Services.Job DescriptionAt least 3 years of experience in...
Software
Permanent employment
Full time
H1b
Sonsoft
Redmond, WA
3 days ago
Principal Product Manager, ServiceNow Cloud Platform
$166.5k - $291.4k
...DescriptionIt all started when engineer Fred Luddy wrote code that... ...ambiguity, takes ownership beyond formal organizational boundaries,... ...cloud platforms, enterprise software, infrastructure services, or... ...application and need an alternative method to apply, please contact...
Software
Work at office
Immediate start
Remote work
Flexible hours
ServiceNow
Kirkland, WA
19 hours ago
Sr Staff Product Operations Manager
$179.7k - $247.05k
...insights to improve their business. Founded by engineers — and customer obsessed — we leap at... ...processes to lead the creation of a formal Operational Association. You will be responsible... ...operational frameworks or internal software systems within a high-growth SaaS or...
Software
Local area
Worldwide
DataBricks
Bellevue, WA
3 days ago
LearnVantage Software Sales Account Exec Manager- Federal LearnVantage
...transformation investments across AI, cloud, data and analytics, software engineering, DevOps, and other in-demand technical domains.Our portfolio... ...information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation,...
Software
Full time
Contract work
Work experience placement
Live in
Work at office
Local area
Accenture
Redmond, WA
1 day ago
Safety Intern
$24 - $26 per hour
...Strong communication skills Computer software - Microsoft Office Suite, specifically Excel... ...also need to read blueprints and take/verify field measurements. Climbing – Ascending... ...the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of...
Software
Hourly pay
For contractors
Internship
Work at office
Local area
Hensel Phelps
Bellevue, WA
1 day ago
Scientist II, Clinical Pharmacology & Pharmacometrics
$139.51k - $171.9k
...of WINNONLIN, NONMEM, MONOLIX or similar statistical modeling software Knowledge of R, R-shiny, SAS, MATLAB, NONMEM, MONOLIX, PBPK (gastroplus... ...for all employees.E-VerifyImmunome, Inc. is a participant in E-Verify. Please review the following notices: E-Verify Participation...
Software
Immunome
Bothell, WA
3 days ago
Senior Offensive Security Engineer (Red Team)
$148.5k - $223.9k
...Salesforce.Job Title: Senior Offensive Security Engineer, Red TeamThe ExperienceThe Product Red... ...across a large, interconnected software-as-a-service (SaaS) product portfolio.What... ...references.You have experience operating under formal engagement charters and rules of...
Software
Full time
Remote work
Salesforce
Bellevue, WA
4 days ago
AWS Cloud Consultant
$60k
Dellfor Technologies is founded by software professionals with fresh approach, and ideas empowering clients and partners in meeting the... ...Additional Information Highlights and benefits We are a registered E verified company Starting salary between $ 60,000 with regular...
Software
Permanent employment
Temporary work
Dellfor Technologies
Redmond, WA
4 days ago
Strategic IT Asset & Compliance Leader
$114.75k - $150.24k
...end lifecycle of corporate hardware and software assets. Financial Optimization & Budgeting... .... Tools Expertise: Proficiency with formal ITAM, SAM, or ITSM software (e.g., ServiceNow... ...with IonQ is contingent on either verifying “U.S. Person” (e.g., U.S. citizen, U.S....
Software
Permanent employment
Contract work
Work at office
Local area
Capella Space
Bothell, WA
3 days ago
Senior Nuclear Safety Analysis Methods Engineer
$69 - $115 per hour
...Job Title: Senior Nuclear Safety Analysis Methods Engineer Type: Contract (yearlong) Compensation: $69 - $115 hourly Contractor... ...not limited to, performing accident analyses, contributing to software qualification, participating in hazard analysis, participating...
Software
Hourly pay
Contract work
Temporary work
For contractors
Local area
Remote work
System One
Bellevue, WA
6 days ago
Network Infrastructure Engineer, Satellite HW Test Automation, LEO Antenna Test Infrastructure
$136k - $184k
...provides the test systems and techniques to verify Payload, Customer Terminal, and full... ...and connects the dots between Responsible Engineers and their product's test metrics. The... ...Infrastructure, Systems Development, and Software Development engineers who together will...
Software
Permanent employment
Work at office
Remote work
Flexible hours
Amazon
Redmond, WA
1 day ago
Bookkeeper / Administrative Assistant
...that accounts receivable are collected promptly \\\\ Update, verify, and maintain financial records \\\\ Process payroll on time... ...preferred \\\\ Proficiency with QuickBooks or other accounting software, MS Office Suite, Adobe, Windows, DocuSign, Google Suite \\\\...
Software
Full time
Contract work
First Direct
Bellevue, WA
more than 2 months ago
Workday Certified Time Tracking/Absence/Scheduling Consultant
$70.35k - $196k
...major focus. The enterprise data-reporting software of Workday is a critical component of... ...through the creation of new industry leading methods and assets  Travel may be required for... ...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance...
Software
Full time
Work experience placement
Live in
Work at office
Local area
Accenture
Redmond, WA
4 days ago
Technical Architect
$224k - $308k
...in periodic customer health-checks and project reviews.Minimum REQUIRED Knowledge, Skills, and Abilities:8+ years of overall IT / software development experience, solution design and technical architecture experience3+ years of consulting experience3+ years driving application...
Software
Local area
Worldwide
Flexible hours
Okta
Bellevue, WA
2 days ago
Senior Software Engineer | Founding Team
$170k - $190k
...We're hiring one additional senior engineer to build this platform with us. Given the... ...Looking For ~5+ years shipping production software, with meaningful time owning backend systems... ...but didn't hold up in the workflow. Formal design training isn't required, but familiarity...
Software
Contract work
Snowdrop
Bellevue, WA
3 hours ago
Vehicle Controls Engineer
$80.8k - $120.8k
...designs and manufactures advanced diesel engines, provides financial services and... ...an interest in creating, defining, and verifying advanced technology-based vehicle controls... ...portfolio of integrated technology and software features within the vehicle. The team provides...
Software
Temporary work
Flexible hours
Shift work
Paccar
Kirkland, WA
4 days ago
Lead Software Engineer - Workday Integrations & Security
...Fishers, OH0523 Independence Bus Office, OH0713 NW Bancshares HQ, PA0258 Bellevue, PA0738 Processing CenterJob DescriptionThe Lead Software Engineer provides technical leadership for the design, development, implementation, and support of enterprise software applications and...
Software
Full time
Work experience placement
Work at office
Northwest Bank
Bellevue, WA
2 days ago
Senior Offensive Security Engineer (Red Team)
$148.5k - $223.9k
...Job Title: Senior Offensive Security Engineer, Red Team The Experience The Product... ...across a large, interconnected software-as-a-service (SaaS) product portfolio.... ...You have experience operating under formal engagement charters and rules of engagement...
Software
Salesforce.Com Inc
Bellevue, WA
4 days ago
Group Product Manager - Quantum Networking
$145.92k - $191.05k
...execution across hardware, software, research, and go-to-... ..., and partnering with engineering to ship developer-... ...audiences. Set the methods, frameworks, and trade... ...functional programs without formal authority and earning... ...contingent on either verifying "U.S. Person" (e.g., U...
Software
Permanent employment
Contract work
Work at office
Remote work
IonQ Inc.
Bothell, WA
5 days ago
Technical IT Audit Lead
$100k - $120k
...education requirements.Ensure compliance with Northwest’s policies and procedures, and Federal/State regulationsNavigate Microsoft Office Software, computer applications, and software specific to the department in order to maximize technology tools and gain efficiencyWork as...
Software
Full time
Work at office
Northwest Bank
Bellevue, WA
4 days ago
Help Desk Analyst III
$28 - $42 per hour
...support. In addition, maintain industry-standard IT hardware, software, network, and mobile technology. The successful candidate will... ...contract restrictions. Employment with IonQ is contingent on either verifying "U.S. Person" (e.g., U.S. citizen, U.S. national, U.S....
Software
Hourly pay
Permanent employment
Contract work
Work at office
Jobleads-US
Bothell, WA
3 days ago
Lead Quality Assurance
$161.51k - $178.2k
...manual and automated testing, to ensure software quality. Log, track, and manage defects... ...by systematically validating and verifying software functionality, performance, and... ...degree in Computer Science or Computer Engineering and 5 years of progressive, post-baccalaureate...
Software
Temporary work
Local area
AT&T
Bothell, WA
3 days ago
GovCloud Distributed Systems Software Engineer
$172.5k - $260.1k
...state, and/or local government customers, citizenship will be verified through two of the following REAL ID Act documents: U.S.... ...Global Entry Card, U.S. Government CAC/PIV.Distributed Systems Software Engineer - GovCloud (Senior/Lead) Our Public Cloud engineering teams...
Software
Full time
Local area
Salesforce
Bellevue, WA
5 days ago
Accounts Payable Clerk
...Maintains an up-to-date database of vendors in accounting software Correspond with vendors Verifies that policies and procedures for ordering and... ...during specific times of the year. Medium degree of formal policies and procedures exist to guide the work. Must...
Software
Full time
Part time
Work at office
Remote work
Monday to Friday
Seattle Humane
Bellevue, WA
18 days ago
Software Engineering PMTS
$197.3k - $313.7k
...drive the technical direction for designing and implementing software that manages Kubernetes clusters at massive scale. You will lead... ...gaps, propose and drive solutions, and mentor other engineers as they build against your designs.Desired Skills and Experience...
Software
Full time
Salesforce
Bellevue, WA
1 day ago
Senior Design Verification Engineer
$119.8k - $234.7k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... ...develop environment and test cases to verify designs. Responsibilities include:Test Plan... ...in developing makefiles for software development#SCHIESilicon Engineering IC4...
Software
Ongoing contract
Permanent employment
Work at office
Local area
Worldwide
3 days per week
Microsoft Corporation
Redmond, WA
3 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Formal Methods Engineer for Verified Software. Be the first to apply!