Formal Verification Engineer
Posted on: January 12, 2022
Title: Formal Verification Engineer
Full-Time/Direct Hire Opportunity
Location: Bellevue, WA 98004
Start Date: ASAP
Must be authorized to work in US without restriction or
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
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
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
Passionate about technology, demonstrated ability to generate new
ideas and innovations
Deep collaboration with product team on interception and
Keywords: Experis, Bellevue , Formal Verification Engineer, Engineering , Bellevue, Washington
Didn't find what you're looking for? Search again!