Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
-
Field
-
are looking for a strong researcher able to conduct research around formal methods for autonomous robotic systems, with a background of excellent research outputs across formal requirements and formal
-
computer science or related fields Excellent accademic skills and strong interest in Electronic Design Automation (EDA) Strong expertise in hardware design, verification, and the use of formal methods Excellent
-
hired depends on the applicable guidelines and regulations of the Foundation for Science and Technology, and verification of compliance with the administrative requirements contained therein. REQUIMTE
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Fabrizio Pastore
-
Computer Science). Outstanding candidates who do not have a PhD but wish to pursue one on the topic of this project will also be considered. x Knowledge and experience in software developments or formal
-
within a 12-month timeframe). Your profile... Degree (MSc or equivalent) in Computer Science, Artificial Intelligence, Logic, or Knowledge Representation. Strong programming skills, ideally including
-
-office work Research Professional Position No Posting Number 202501154AP Position Type Admin Professional/ Research Professional Classification Title Prof/Indiv Contrib II Number of Vacancies Work Hours
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Domenico Bianculli
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members