PhD Position Systematic Derivation of Formal Languages and Their Correctness

دربارهٔ این موقعیت

From Semantics to Syntax — Systematic Derivation of Formal Languages and Their Correctness Job description Formal languages, such as type theories and program logics, let us state and prove precisely what software should do. Today, each new language is designed by hand: experts invent the syntax, then check that it really means what it should. This is slow, and it has to be redone for every new problem. This project explores a different approach: start from the mathematical meaning of a language and derive the language itself from it, together with a proof that the two match. Several recent ty

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

تابعیت و ویزا

مهلت و روش درخواست

درخواست تا 29 نوامبر 2026 (17 روز از امروز) باز است. درخواست را در صفحهٔ رسمی بفرستید؛ PhD Atlas درخواست جمع نمی‌کند.

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

فراخوان رسمی: https://www.academictransfer.com/en/jobs/364823/phd-position-systematic-derivation-of-formal-languages-and-their-correctness

همیشه فراخوان رسمی و قواعد تابعیت را پیش از درخواست بخوانید.