Formal Methods Engineer for Verified Software

Jobleads-US

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 Jobleads-US

Apply

Vacancy posted 1 day 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
4 days ago
Senior Marketing Coordinator
$85.8k - $90k
...study.4 years of architecture, engineering, and construction marketing... ...proficient in Microsoft Office suite software (Word, Excel, PowerPoint, etc... ...including writing, editing, verifying, and formatting proposal... ...is (a) in response to a formal complaint or charge, (b) in furtherance...
Software
For contractors
Work at office
Local area
Hensel Phelps
Bellevue, WA
3 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
4 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
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
1 day 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
4 days ago
Quantum Systems Digital Design Engineer II
$102.1k - $202.2k
...end‑to‑end with the Azure Quantum software stack. As a Quantum Systems Digital Design Engineer II, you’ll collaborate closely... ...US passport must be provided to verify your citizenship. If the role requires... ...) and mixed HLS/RTL systems; formal verification. Background in...
Software
Ongoing contract
Permanent employment
Local area
3 days per week
Microsoft
Redmond, WA
4 days ago
Senior IT Asset Manager
$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.,... ...Employment 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
IonQ Inc.
Bothell, 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
2 days 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
4 days ago
Storage System Technical Lead
$142.8k - $274.8k
...MicrosoftOverviewThe Cloud Hardware and System Engineering (CHSE team) are looking for a Principal... ..., and ensures that hardware, firmware, software, validation, manufacturing, and... ...driving root cause, corrective action, verified closure, and propagation of fixes and lessons...
Software
Ongoing contract
Local area
Worldwide
3 days per week
Microsoft
Redmond, WA
5 hours 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
5 hours 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
14 hours 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
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
2 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
2 days ago
Part Time Graphic Design
$25 - $36 per hour
...Creative Suite (Illustrator, Photoshop, InDesign) and other design software. Knowledge of packaging materials, printing processes, and... ...local laws. Dough Zone USA and Moji Food participate in the E-Verify program to confirm the employment eligibility of all newly hired...
Software
Hourly pay
Contract work
Part time
Work experience placement
Seasonal work
Local area
Remote work
Flexible hours
doughzoneusa
Bellevue, WA
2 days 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
14 hours 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
3 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
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... ...Experience in developing makefiles for software development #SCHIE Silicon Engineering...
Software
Ongoing contract
Permanent employment
Work at office
Local area
Worldwide
3 days per week
Microsoft
Redmond, WA
3 days 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
14 hours 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
3 days ago
Senior Financial Analyst (FP&A)
$94k - $129.25k
...knowledge of Excel and other financial software.Ability to present financial information... ...multitask in a fast-paced environment.FORMALITIES:Compensation: $94,000 - $129,250, based... ...(mRNA), viral vectors, and genetically engineered cells therapies. Across our global network...
Software
Full time
Contract work
AGC Biologics
Bothell, WA
2 days ago
Software Engineer 2 - Azure Functions
$102.1k - $202.2k
...ContributorTravel: Less than 25%Profession: Software EngineeringDiscipline: Software... ...Azure.We are looking for a Software Engineer 2 - CoreAI to join the Azure Functions... ..., tools, logs, telemetry, and other methods to proactively verify assumptions before issues occur for product...
Software
Ongoing contract
Local area
3 days per week
Microsoft
Redmond, 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
14 hours 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
1 day 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
1 day 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
14 hours 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!