Sort by
Refine Your Search
-
signal processing, with experience in machine learning, deep learning, or AI methods. Familiarity with semantic segmentation, anomaly detection, or pattern recognition techniques is highly valued. Sensor
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions