-
the integration of AI components transforms the nature of software systems (SE4AI). From an architectural perspective, the research investigates how the inclusion of AI elements—such as retrainable ML models, LLMs
-
the department's area of responsibility. Eligibility Eligible to be employed as a postdoctor is a person who has completed a doctoral degree or has a foreign degree that is deemed to correspond to a doctoral
Searches related to model checking
Enter an email to receive alerts for model-checking positions