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

این موقعیت دکتری در دانشگاه Constructor University Bremen، با همکاری Constructor Technology، بر پیشبرد مهندسی نرم‌افزار از طریق ایجاد مدل‌های جهانی برای سنتز معماری تمرکز دارد. این پروژه که با نام Constructor Fabric شناخته می‌شود، قصد دارد با استفاده از یک اسکلت معماری صوری و زبان مخصوص دامنه، دانش تجاری غیرصوری را با پیش‌بینی نتایج تصمیمات معماری (مانند هزینه، عوارض جانبی ناخواسته و امکان‌سنجی) به نرم‌افزار تولیدی تبدیل کند. نامزد موفق در طراحی و پیاده‌سازی یک مدل جهانی که یادگیری ماشین، روش‌های صوری و مهندسی نرم‌افزار را ادغام می‌کند تا امکان سنتز خودکار معماری‌های نرم‌افزاری فراهم شود، مشارکت خواهد کرد. این کار شامل طراحی زبان صوری، سنتز معماری و مدل‌سازی مبتنی بر داده است، با تأکید فراوان بر اعتبارسنچی تجربی و ابطال‌پذیری فرض‌ها.