Data Engineer
Công Ty TNHH Kikai-Tech
Ha Noi
4 ngày trước
source : VietnamWorks

What We Can Offer

Salary, bonus and benefits, attractive compensation Social insurance, health insurance, unemployment insurance according to Labor Laws Professional, dynamic working environment

Job Description

For this role, we are also looking for apprentices / interns who are willing to commit to long-term goals.

What You'll Do

You will research and prototype new products or improve existing ones to analyze Cardano Smart Contracts. If Model Checking, Formal Method, or Compiler sounds interesting to you, apply below.

Company & Project information for reference :

https : / / github.com / HachiSecurity

Job Requirements

Desirable Qualifications

  • Interest in 'esoteric' programming languages (e.g. Scheme, Haskell, OCaml)
  • Have a keen interest in theoretical Computer Science / Programming Languages
  • Have a pragmatic mindset when applying research to real problems
  • Know how to write interpreters / virtual machines / compilers
  • Experience with Fuzzing / Property-based testing / Symbolic Execution
  • Job Locations

    Dreamplex Thái Hà, 174 Thái Hà, Phường Trung Liệt, Quận Đống Đa, Hà Nội Ho Chi Minh, Ho Chi Minh City, Vietnam Remote

    Báo cáo công việc này
    checkmark

    Thank you for reporting this job!

    Your feedback will help us improve the quality of our services.

    Nộp đơn
    Email của tôi
    Bằng cách nhấp vào "Tiếp tục", tôi đồng ý với neuvoo để xử lý dữ liệu của tôi và gửi cho tôi thông báo qua email, như được nêu chi tiết trong Chính sách bảo mật của neuvoo. Tôi có thể rút lại sự đồng ý của tôi hoặc hủy đăng ký bất cứ lúc nào.
    Tiếp tục
    Mẫu đăng ký