Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Application Deadline 14 Oct 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 304--1
-
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
-
performance are expected. Required qualifications: Proficiency in programming (primarily Python or MATLAB) Strong communication and collaboration skills, including the ability to work across research groups and
Enter an email to receive alerts for programming-"Prof" positions