💻🇸🇪 بورسیه فول فاند مقطع پسادکتری در سوئد

🎓 عنوان موقعیت:
Postdoctoral Position in Practically Usable Verification for Numerical Programs

🏛 دانشگاه: Uppsala University
💻 دپارتمان: Department of Information Technology
🔬 بخش: Division of Computing Science
🧑‍💻 گروه پژوهشی: Programming Languages Group
📍 محل: اوپسالا، سوئد
⏳ مدت قرارداد: ۲ سال
💼 نوع همکاری: تمام‌وقت
📊 میزان اشتغال: 100%
👤 تعداد موقعیت: ۱ نفر
🆔 کد موقعیت: UFV-PA 2026/2902
📅 تاریخ شروع: ۱ فوریه ۲۰۲۷ یا بر اساس توافق

⸻

🧠 درباره پروژه پژوهشی

این موقعیت پسادکتری در حوزه راستی‌آزمایی خودکار برنامه‌ها (Automated Program Verification) ارائه شده و هدف اصلی پروژه، توسعه روش‌هایی برای کمک به برنامه‌نویسان در تولید برنامه‌های عددی صحیح، قابل‌اعتماد و کارآمد است.

پروژه شامل دو بخش اصلی خواهد بود:

🔹 توسعه نظریه‌ها، تکنیک‌ها و رویکردهای جدید برای راستی‌آزمایی برنامه‌ها

🔹 پیاده‌سازی روش‌های توسعه‌یافته به‌گونه‌ای که در پروژه‌های واقعی و کدهای عملی قابل استفاده باشند.

تمرکز ویژه پروژه بر برنامه‌های عددی است که در حوزه‌های مختلف از جمله:

🚗 سیستم‌های نهفته و Safety-Critical Systems

📊 تحلیل داده

🌦 پیش‌بینی آب‌وهوا

⚛️ فیزیک

⚙️ مهندسی

کاربرد گسترده دارند.

⸻

🔢 چالش اصلی پژوهش

یکی از چالش‌های اساسی در راستی‌آزمایی برنامه‌های عددی، وجود خطاهای گرد کردن (Rounding Errors) ناشی از محاسبات با اعداد ممیز شناور (Floating-Point Arithmetic) است.

پژوهشگر می‌تواند در زمینه‌هایی مانند موارد زیر فعالیت کند:

🧠 توسعه تکنیک‌های جدید برای Automated Program Verification

📐 توسعه روش‌های Specification Inference

🐞 روش‌های Fault Localisation

⚙️ توسعه رویکردهای بهینه‌سازی برای افزایش کاربردپذیری راستی‌آزمایی‌کننده‌ها

💻 توسعه ابزارهایی که بتوانند در کدهای واقعی و پروژه‌های صنعتی مورد استفاده قرار گیرند.

⸻

🎯 مناسب برای چه رشته‌هایی؟

این موقعیت به‌طور ویژه برای پژوهشگران و فارغ‌التحصیلان رشته‌های زیر مناسب است:

💻 علوم کامپیوتر
🧑‍💻 مهندسی نرم‌افزار
🔤 زبان‌های برنامه‌نویسی
🔍 راستی‌آزمایی برنامه‌ها
🧠 هوش مصنوعی و روش‌های محاسباتی مرتبط
📊 محاسبات علمی
🔢 محاسبات عددی
⚙️ مهندسی کامپیوتر
🧮 ریاضیات محاسباتی
🔐 سیستم‌های نرم‌افزاری قابل‌اعتماد

⸻

🔬 وظایف پژوهشگر

پژوهشگر پسادکتری در این پروژه نقش فعالی در توسعه پژوهش‌های نظری و کاربردی خواهد داشت.

وظایف شامل:

🔹 توسعه تکنیک‌های جدید برای راستی‌آزمایی برنامه‌های عددی

🔹 پیاده‌سازی و ارزیابی روش‌های پیشنهادی

🔹 بررسی خطاهای ناشی از Floating-Point Arithmetic

🔹 توسعه روش‌های Specification Inference

🔹 پژوهش در زمینه Fault Localisation

🔹 بهینه‌سازی ابزارهای راستی‌آزمایی برای استفاده در کدهای واقعی

🔹 انتشار نتایج پژوهش در مجلات و کنفرانس‌های معتبر

🔹 مشارکت در جلسات و فعالیت‌های پروژه

🔹 انجام امور مرتبط با مدیریت پژوهش

🔹 مشارکت در فعالیت‌های آموزشی تا سقف ۲۰٪ از زمان کاری، متناسب با علاقه متقاضی و ظرفیت دروس

⸻

🎓 شرایط موردنیاز

متقاضی باید دارای مدرک PhD در علوم کامپیوتر یا مدرک خارجی معادل دکتری سوئدی در یکی از حوزه‌های مرتبط باشد.

حوزه‌های مرتبط شامل:

🔹 Programming Languages
🔹 Program Verification
🔹 Software Engineering
🔹 یا حوزه‌های نزدیک

مدرک دکتری باید حداکثر تا زمان تصمیم‌گیری برای استخدام دریافت شده باشد.

اولویت با متقاضیانی است که مدرک PhD خود را حداکثر ۳ سال پیش از تاریخ اتمام اپلای دریافت کرده باشند.

در شرایط خاص، امکان پذیرش مدرک قدیمی‌تر نیز وجود دارد؛ از جمله:

🔹 مرخصی پزشکی
🔹 مرخصی والدین
🔹 فعالیت در اتحادیه‌های کارگری
🔹 سایر شرایط ویژه

⸻

💻 مهارت‌های الزامی

متقاضی باید دارای:

🗣 تسلط کامل به زبان انگلیسی، به‌صورت کتبی و شفاهی

💻 مهارت خوب در برنامه‌نویسی

🔬 توانایی انجام پژوهش مستقل

🧠 انگیزه و مسئولیت‌پذیری بالا

🤝 توانایی همکاری مؤثر در محیط پژوهشی

باشد.

توانایی انتشار مقالات علمی باکیفیت و ارائه نتایج پژوهش در کنفرانس‌ها و نشست‌های علمی نیز مورد توجه قرار خواهد گرفت.

⸻

⭐ ویژگی‌های موردتوجه

دانشگاه به دنبال پژوهشگرانی است که:

🔹 مسئولیت‌پذیر و خودانگیخته باشند.

🔹 توانایی انجام پژوهش مستقل را اثبات کرده باشند.

🔹 در کار گروهی عملکرد خوبی داشته باشند.

🔹 توانایی حل مسائل پیچیده پژوهشی را داشته باشند.

🔹 سابقه انتشار مقالات علمی در مجلات و کنفرانس‌های معتبر داشته باشند.

🔹 توانایی ارائه علمی نتایج پژوهش خود را داشته باشند.

⸻

📑 مدارک موردنیاز برای اپلای

درخواست باید شامل موارد زیر باشد:

📄 Cover Letter