Security Research Lead

Design and develop novel automated software analysis tools, frameworks, and methodologies to identify vulnerabilities in real-world software like browsers, blockchains, and operating systems.

Conduct research on fuzzing, formal verification, and static analysis techniques.

Publish research findings in top-tier conferences and contribute to the open source software.

Stay up-to-date with the latest advancements in fuzzing and formal verification research and related fields, and leverage this knowledge to drive innovation in the team.

Participate CTF with the team.

PhD degree in Computer Science, Electrical Engineering, or a related field, with a focus on software security, fuzzing, formal verification, or a closely related area.

Strong background in software security, vulnerability analysis, and software testing.

Experience and knowledge in fuzzing and symbolic execution techniques.

Proficiency in at least two of the following programming languages: Rust, Go, Python, C++, Erlang, or Haskell.

Excellent problem-solving and analytical skills, with a keen interest in tackling complex challenges in software security.

Strong communication skills, both written and verbal, with the ability to effectively communicate research findings and ideas.

Demonstrated ability to work both independently and collaboratively in a team-oriented environment.

Track record of publications in top-tier conferences in the field of software engineering or security (ICSE, ASE, FSE, ISSTA, CCS, S&P, Sec, NDSS, etc.).

Familiarity with distributed systems is a plus.

Competitive salary with weekly bounties and stock & token options.

Equipment like 2x 4K Display and latest MacBook.

Covered lunch and dinner.

You can choose to open source everything you built.