témavezető: Hegyháti Máté
helyszín (magyar oldal): Soproni Egyetem helyszín rövidítés: SOE
A kutatási téma leírása:
Timed Automaton is a widely known tool to model dynamic discrete event systems. The extension with linear pricing extends the scope of this tool from simulation and verification to optimization.
The task of the applicant is to develop an optimization tailored opensource engine for distributed computations on linearly prized timed automata.
Prerequisites:
• Advanced skills in low-level and resource efficient programming.
• Fluent English
Advantages:
• Experience in parallelization / distributed computing
• Assembly
• Former experience in optimization
• Background in formal language theory, systems modelling or verification.
előírt nyelvtudás: angol B2-es szintű nyelvvizsga felvehető hallgatók száma: 1
Jelentkezési határidő: 2023-01-10
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).