| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Runtime Verification | Remote |
| |||
Crypto.com | Hong Kong, Hong Kong | $27k - $45k | |||
Crypto.com | Hong Kong, Hong Kong | $45k - $54k | |||
Tether | Medellin, Colombia | $105k - $148k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Tether | Amsterdam, Netherlands | $105k - $148k | |||
Tether | Sao Paulo, Brazil | $105k - $148k | |||
Tether | Buenos Aires, Argentina | $105k - $148k | |||
Tether | Rome, Italy | $105k - $148k | |||
Tether | Madrid, Spain | $105k - $148k | |||
Tether | TI Lugano CH | $105k - $148k | |||
Tether | Medellin, Colombia | $105k - $148k | |||
Tether | Lisboa, Portugal | $105k - $148k | |||
Tether | Montevideo, Uruguay | $105k - $148k | |||
Tether | London, United Kingdom | $105k - $148k | |||
Okx | Remote | $76k - $89k |
We are looking for a Security Engineer with a focus on Rust and fuzzing to strengthen our engineering and research team. You will work on open-source projects, design fuzzing frameworks, perform security reviews of client code, and help bring advanced verification methodologies into practice. This role is highly collaborative: you’ll work closely with researchers, security engineers, and client teams to improve the reliability of software in safety-critical environments.
About RV
Runtime Verification (RV) is a pioneer in applying formal methods and security reviews to improve the safety and reliability of critical software systems. Our open-source tools and research have secured billions in value across blockchain (including the Ethereum Foundation, Solana Foundation, Uniswap, and Lido), as well as in aerospace (NASA, Boeing) and automotive (Toyota). Our approach is deeply rooted in the formal verification process, which allows us to rigorously reason about software behavior, uncover subtle flaws, and build confidence in the correctness of safety-critical systems.
About the Role
You will be part of a collaborative team dedicated to ensuring software correctness and security. Your work will involve reviewing, fuzzing, and verifying Rust-based systems, developing and applying advanced verification techniques, conducting security design and code reviews of client and infrastructure code, and contributing to open-source tooling used to secure safety-critical software across different industries.
What You'll Do
- Conduct security design and code reviews of Rust-based infrastructure-level code.
- Develop and improve fuzzing and testing campaigns and frameworks.
- Contribute to and maintain open-source security and developer tooling.
- Apply code quality assurance, formal verification, and validation techniques across safety-critical projects.
- Collaborate with researchers to integrate verification methods into practical tooling.
Key Qualifications
- Strong proficiency in Rust.
- Hands-on fuzzing experience.
- Experience with code quality assurance, verification, or validation.
- Strong debugging and code review skills for complex codebases.
Nice to Have
- Experience with software verification methods (formal verification, symbolic execution, model checking) and frameworks (K, Lean, Coq, Isabelle, Z3, SMT solvers).
- Experience working on open-source projects with more than one contributor.
- Previous audit work or security-focused code reviews.
- Python experience.
- Familiarity with other languages (Go, Solidity, Haskell, C, C++).
What We Offer
- Competitive salary.
- Generous time off and flexible remote work.
- A globally distributed, collaborative team.
- The chance to work on cutting-edge security and developer tooling.
- Health and full range of benefits available within the US, including 401k match.
What is a QA in a job?
QA stands for Quality Assurance, which is a process or department in a company responsible for ensuring that products or services meet a certain level of quality
In a job, QA may refer to the role of a Quality Assurance Engineer or a Software Testing Engineer, who is responsible for designing and implementing quality control procedures to ensure that products or services meet the company's quality standards
A QA Engineer may be involved in various stages of the product or service development cycle, from designing and planning quality control procedures to executing testing and analysis to identify and address issues or defects
They may also work closely with other departments, such as engineering, product management, and customer support, to ensure that customer needs are met and that products or services meet the desired level of quality
In the context of Web3, Quality Assurance (QA) refers to the process of testing decentralized applications (DApps), smart contracts, and other blockchain-based solutions to ensure their functionality, security, and performance
The role of a QA Engineer in Web3 may involve designing and implementing testing strategies to identify and fix bugs, vulnerabilities, and other issues that could affect the user experience, data integrity, or network security
Some of the specific responsibilities of a QA Engineer in Web3 may include:
- Developing test cases and scenarios for DApps, smart contracts, and other blockchain-based solutions
- Conducting automated and manual testing to identify and fix issues
- Collaborating with developers, product managers, and other stakeholders to ensure the quality of the product
- Ensuring that DApps and smart contracts are compatible with different blockchain networks and standards
- Contributing to the development of tools and frameworks for testing Web3 applications.