Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Sep 2025 - 22:00 (UTC) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Reference Number 853--1-27426 Is the
-
implementation. About the project Reactive synthesis refers to the automatic generation of programs from high-level behavioral specifications. This approach plays an increasingly important role in areas such as
-
Administration, Entrepreneurship section, at Umeå School of Business, Economics and Statistics with Prof. Norbert Steigenberger as your main supervisor. With this PhD project, funded by Lundbergs Foundation, we
Enter an email to receive alerts for programming-language-"Prof" positions