Solidity Derleyici Ön Uç Mühendisi

Şirket Hakkında Blockchain güvenliğinde en hızlı büyüyen ve en güvenilir şirketlerden biri olan CertiK, gerçek bir pazar lideridir. CertiK bugüne kadar 4.798'den fazla müşteriyle çalıştı, 597 milyar doların üzerinde dijital varlık sağladı ve 17.000'den fazla projeyi izledi. Müşterilerimiz arasında Aave, Polygon, Yearn ve Chiliz gibi önde gelen projeler bulunmaktadır.
Yatırımcılar = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital ve diğer yatırımcılar.
Rol Hakkında Son teknoloji blockchain derleyici altyapısı ve resmi doğrulama araçları üzerinde çalışan ekibimize katılmak üzere deneyimli bir Solidity Compiler Ön Uç Mühendisi arıyoruz. Statik analiz, tür kontrolü ve resmi doğrulama sistemleriyle entegrasyona odaklanarak Solidity derleme ardışık düzenlerinin ön uç bileşenlerinin geliştirilmesine ve optimize edilmesine katılacaksınız.

Sorumluluklar

• Sözcüksel analiz, ayrıştırma, AST oluşturma ve anlamsal analiz de dahil olmak üzere Solidity derleyicisi için ön uç bileşenleri tasarlayın ve uygulayın.

• Derleyici performansını optimize edin ve hata raporlamayı ve tanılamayı iyileştirin.

• Solidity derleyicisi ile resmi doğrulama araçları arasında entegrasyon katmanları geliştirin.

• Solidity dili özelliklerinin ve spesifikasyonunun gelişimine katkıda bulunmak.

• Statik analiz ve güvenlik kontrollerini uygulamak için güvenlik araştırmacılarıyla işbirliği yapın.

• Mevcut derleyici altyapısını ve araçlarını koruyun ve iyileştirin.
Gereksinimler

• Solidity derleyicisi geliştirmede veya ilgili derleyici projelerinde 3 yıldan fazla profesyonel deneyim (ör. EVM tabanlı diller, akıllı sözleşme derleyicileri)

• Java tabanlı derleyici geliştirme ve optimizasyonunun derinlemesine anlaşılmasıyla birlikte güçlü Java yeterliliği

• Derleyici teorisinde ayrıştırma teknikleri, tip sistemleri ve ara gösterimler dahil sağlam temel

• Resmi yöntemler veya resmi doğrulama araçlarıyla ilgili deneyim (örneğin, SMT çözücüler, teorem kanıtlayıcılar veya doğrulama çerçeveleri)

• Ethereum Sanal Makinesi (EVM) ve akıllı sözleşme yürütme modellerine ilişkin güçlü anlayış

• Mükemmel problem çözme becerileri ve detaylara dikkat
Tercih Edilen Nitelikler

• LLVM veya benzeri derleyici altyapısında deneyim

• Programlama dili semantiği ve tür teorisi bilgisi

• Açık kaynak derleyici projelerine katkılar

• Solidity veya diğer blockchain programlama dillerinde deneyim
Ne Sunuyoruz?

• Blockchain ve güvenlik konusundaki ulusal tartışmayı şekillendirme fırsatı.

• Sektör lideri güvenlik araştırmacıları, teknoloji uzmanları ve küresel kurumlarla işbirliği yapın.

• Esnek çalışma ortamı ve misyon odaklı kültür.
Tazminat: Rol ABD'de gerçekleştiriliyorsa, hedef yıllık ücret 140.000 - 220.000 ABD Dolarıdır. Bu işin doldurulacağı kesin ücret, nitelikli adayların becerilerine ve deneyimlerine göre belirlenecektir.
#blockchain#yeni girişimler#işe alma
CertiK bu pozisyon için sürekli olarak başvuruları kabul etmektedir.
CertiK, tüm tam zamanlı çalışanlara esnek ücretli izinler ve tatillerin yanı sıra sağlık, görme ve diş sigortası sigortası, şirket eşleşmesi içeren 401(k) planı, hayat ve kazara ölüm ve parçalanma sigortası, HSA (yüksek indirim planıyla), FSA ve diğer avantajları sunmaktan gurur duyar. CertiK ayrıca iş geliştirme satış rolleri için değişken bir komisyon programı sunmaktadır.
Federal yasaya uygun olarak, işe alınan tüm kişilerin kimliklerini ve Amerika Birleşik Devletleri'nde çalışmaya uygun olduklarını doğrulamaları ve işe alım sırasında gerekli işe uygunluk doğrulama formunu doldurmaları gerekecektir.
CertiK fırsat eşitliği sağlayan bir işveren olmaktan gurur duymaktadır. Hiçbir başvuru sahibine veya çalışana yaş, ırk, renk, mezhep, din, cinsiyet, cinsel yönelim, cinsiyet, cinsel kimlik veya ifade, tıbbi durum, ulusal köken, soy, vatandaşlık, medeni durum veya hemcins birlikteliği/sendika durumu, fiziksel veya zihinsel engellilik, hamilelik, doğum, genetik bilgi, askeri ve gazilik durumu veya yürürlükteki federal, eyalet veya yerel yasalarca yasaklanan herhangi bir temele dayalı olarak ayrımcılık yapmayacağız.
CertiK, yerel ve federal gerekliliklerle tutarlı bir şekilde, sabıka geçmişi olan nitelikli başvuru sahiplerini istihdam için değerlendirecektir. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
Tüm CertiK çalışanlarının kendi ekiplerindeki ve Şirketteki çeşitliliği aktif olarak desteklemeleri beklenmektedir.

Kaynak: Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer)