BellevueWARecruiter Since 2001
the smart solution for Bellevue jobs

Formal Verification Engineer

Company: Experis
Location: Bellevue
Posted on: January 12, 2022

Job Description:

Title: Formal Verification Engineer
Full-Time/Direct Hire Opportunity
Location: Bellevue, WA 98004
Start Date: ASAP
No C2C/Corp-to-Corp
Must be authorized to work in US without restriction or sponsorship


Proficiency in formal verification.
Proficiency in C/C++ Programming language.
Familiar with commonly used algorithms, data structures, network programming and multi-threaded programming.
Excellent communication skills. Highly independent, open-minded and collaborative.
Creative, willing to face challenges and responsible.
Team work spirit: honest, diligent, and rigorous.
Nice to have:
Hands-on and seasoned experience in development of cloud infrastructures;
Deep knowledge to the internals of open source systems such as Linux, HBase, Cassandra, Hadoop, Kubernetes, and so on;
Experience in distributed computing environments such as MPI, Parameter Serve, TensorFlow, Caffe, PyTorch
Development experience with Paxos, Raft and other fault-tolerant protocols.
Passionate about technology, demonstrated ability to generate new ideas and innovations
Deep collaboration with product team on interception and enabling

Keywords: Experis, Bellevue , Formal Verification Engineer, Engineering , Bellevue, Washington

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category

Log In or Create An Account

Get the latest Washington jobs by following @recnetWA on Twitter!

Bellevue RSS job feeds