Web3 Güvenlik Mühendisi İŞ İLANI Certora, yazılım doğruluğunu garanti etmek için keskin araçlar geliştiriyor. Milyarlarca doları yöneten işletme kritik finansal uygulamalara matematiksel doğrulama teknolojilerini uygulayacak güvenlik mühendisleri arıyoruz. Bu finansal uygulamalar, hackerlar için kazançlı hedeflerdir. Mühendislerimiz müşterilerimizle yakın bir şekilde çalışarak güvenlik hatalarını bulacak ve yokluğunu kanıtlayacaklar. İŞ TANIMI: Solidity kodunda yazılmış karmaşık finansal sistemleri anlamak. DeFi'nin ilginç özelliklerini matematiksel olarak formalleştirmek ve Certora'nın otomatik tam kesin doğrulama aracını kullanarak yüksek ciddiyetli güvenlik açıklarını tespit etmek. Doğrulanmış özellikleri açıklayan halka açık raporlar yazmak. İLGİLİ BECERİLER: Matematik, Fizik veya Bilgisayar Bilimleri alanında akademik lisansüstü derece veya lisans derecesine sahip üstün adaylar değerlendirilecektir. - DeFi ve Fintech anlayışı (avantaj). - Formel doğrulama deneyimi (...