ZK Koruma Mühendisi

Hakkımızda

Axiom, kripto ve fintech'ten başlayarak yeni türde doğrulanabilir ve özel yazılım uygulamalarını mümkün kılmak için sıfır bilgi kanıtlarını kullanıyor. Biz, kriptodaki en iyi yatırımcıların desteklediği küçük ama inanılmaz derecede güçlü bir ekibiz. Hızlı tempolu bir ortamda zorlu ve etkili sorunlar üzerinde çalışmaktan heyecan duyan olağanüstü insanlar arıyoruz. Ofisimiz New York'tadır ve New York'ta şahsen çalışmak bizim güçlü tercihimizdir, ancak uzaktan adaylara da açığız.

Yakın zamanda özelleştirme ve genişletilebilirlik için oluşturulmuş, performanslı ve modüler bir zkVM çerçevesi olan OpenVM'yi piyasaya sürdük. OpenVM, geliştiricilerin rastgele bilgisayar programlarının doğru şekilde çalıştırıldığını esnek ve performanslı bir şekilde doğrulamalarına olanak tanır. OpenVM kullanarak ZK özellikli ürünler geliştiriyoruz ve OpenVM üzerinde geliştirme yapan ekipleri destekliyoruz.

Rol

Sıfır bilgi kanıtı üretimi için en son şifreleme kodunu uygulayacak ve optimize edecek bir ZK Kanıt Mühendisi arıyoruz. RISC-V ISA gibi düşük seviyeli bilgisayar sistemleri, LLVM gibi derleyici çerçeveleri ve veritabanı arka uçları arasında arayüz oluşturacak sistemler oluşturmaktan ve bunları son teknoloji ürünü sıfır bilgi geçirmez sistemlerle bağlamaktan sorumlu olacaksınız. Rol, hem ZK kanıtlayıcılarının optimize edilmesini hem de yeni ZK devrelerinin uygulanmasını içerecektir. Çalışmanız, güvenli ve verimli sistemlerin hızlı bir şekilde geliştirilmesini sağlayacak tasarım seçimleri yapmayı gerektirecektir.

Güçlü mühendislik tasarım becerilerine, yığın genelinde çalışma yeteneğine ve güvenlik zihniyetine sahip birini arıyoruz. Ayrıca, çok fazla yük getirmeden küçük ekibimizi güçlendirecek pragmatik teknoloji seçimleri yapma yeteneğine de değer veriyoruz.

sen kimsin

•
Matematik/kriptografi konusunda güçlü bir geçmişiniz veya güçlü problem çözme becerileriniz ve sıfır bilgi kanıtlarına ilginiz var.

•
Rust, C/C++ veya benzer performansa sahip bir arka uç dilinde yeterliliğiniz var. Esas olarak Rust'ta çalışıyoruz.

•
Son derece ayrıntı odaklısınız ve güvenlik zihniyetine sahipsiniz.

•
Zorlu yazılım projelerinde çalıştınız ve performansa önem verdiniz.

•
Açık bir iletişimcisiniz ve işbirliğine değer veriyorsunuz.

•
Eyleme karşı güçlü bir önyargınız var.

•
Son derece güçlü bir iş ahlakınız var.

Bonuslar

•
LLVM veya MLIR gibi derleyici çerçeveleri konusunda deneyiminiz var.

•
RISC-V veya programlanmış FGPA'lar veya diğer özel donanımlar gibi düşük seviyeli bilgisayar mimarisinin yönleriyle çalıştınız.

•
Sorgu planlama veya düşük seviyeli sorgu motorları deneyimi de dahil olmak üzere, veritabanı arka uçlarıyla ilgili deneyiminiz var.

•
Matematik, teorik bilgisayar bilimi veya teorik fizik alanlarında araştırma yaptınız.

•
Ethereum'un düşük seviyeli ayrıntılarıyla ilgili deneyiminiz var

Farklı geçmişlere açığız. Uygun olabilecek bazı geleneksel olmayan profiller arasında yüksek frekanslı ticaret, matematik/fizik/Bilgisayar bilimleri akademisi ve donanım mühendisliği yer alır.

Neden bize katılın?

•
Önemli teknik/ürün kararlarını alma yetkisine sahip ilk çalışanlardan biri olacaksınız.

•
Kripto endüstrisi için önemli bir altyapı parçası olma potansiyeline sahip çığır açan teknoloji üzerinde çalışacaksınız.

•
Eşitlikle rekabetçi bir maaş alacaksınız.

•
Olağanüstü bir ekiple çalışacak ve onlardan mentorluk alacaksınız.

Ekibimiz

Kurucularımız Yi Sun ve Jonathan Wang, Harvard'da matematik okurken tanıştılar ve 2021'den beri ZK üzerinde çalışıyorlar. Birlikte eliptik eğri kriptografisi için en performanslı ZK devrelerinden bazılarını yazdılar ve Axiom'a başlamadan önce Ethereum verileri okundu.

Yi, Axiom'dan önce UChicago İstatistikleri'nde profesördü ve MIT'de matematik doktorası yaptı. Daha önce Gauntlet'in danışmanıydı ve bir HFT startup'ında başlangıcından kârlı ticarete kadar çalıştı. Jonathan önde gelen matematik dergilerinde sayı teorisi araştırması yayınladı ve UChicago'da matematik doktorası yaptı.

Küçük ama inanılmaz derecede güçlü ekibimizin geri kalanı, Applied Intuition, Coinbase, Color, Neon, Google ve Perplexity mezunlarının yanı sıra matematik / CS Doktora dereceleri ve IMO / IPhO / Codeforces kazananlarını içermektedir. Sizinle çalışmayı sabırsızlıkla bekliyoruz!

Kaynak: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer)