BTF'in (Bridge to Turkey Fund) “Research Scholarship for Critical Thinkers” programı kapsamında 1 adet stajyer ile birlikte çalışmayı düşünüyorum.
Süreç şu şekilde işliyor, öncelikle biz kendi aramızda konuşup bir proje üzerine anlaşıyoruz, sonrasında siz öğrenci olarak başvuruyu yapıyorsunuz, formun kalanını bana gönderdiklerinde ben başvuruyu tamamlıyorum. Onlar değerlendirip projeyi fonlayıp fonlamamaya karar veriyorlar. Eğer ki proje fonlanmazsa, başka bir staj bulup geri çekilmekte tabii ki özgürsünüz, ancak başvurduğunuz takdirde proje fonlanırsa beraber anlaştığımız bir 2-3 aylık süreçte çalışmayı kabul ettiğinizi varsayıyor olacağım.
Şu anda devam eden 3 projem var.
- Property-Based Testing Databases: Rust programlama dilinde yazılmış açık kaynak bir SQLite alternatifinin rastgele test edilmesi üzerine çalışıyorum.
- Typed JQ: JQ bir scripting dili, son birkaç aydır jq üzerine bir tip sistemi inşa ettiğim bir projem var, projenin daha çok başlarındayız, farklı pek çok dala doğru uzama fırsatı var, uzun vadede yazdığımız sistemin jq’nun kendisine entegre edilme ihtimali var.
- ETNA: ETNA Property-Based Testing için bir analiz platformu, benim de doktora tezimin büyük bir kısmını oluşturuyor. Eğer Property-Based Testing konsept olarak ilginizi çekiyorsa ETNA’ya ilgilendiğiniz bir dildeki PBT kütüphanelerini entegre etmek gibi görece kolay, mini projelerden başlayıp daha iç işleyişe doğru ilerleyebiliriz.
Eğer PBT hakkında giriş seviyesi bir kaynak ararsanız benim konu hakkındaki sunumlarını dinleyebilirsiniz.
Eğer ki başvurmak isterseniz, önümüzdeki birkaç günde yapmanızı rica edeceğim. Benimle [email protected] üzerinden özgeçmişinizi, araştırma tecrübenizi, konuyla neden ilgilendiğinizi belirterek iletişime geçebilirsiniz.