Sort by
Refine Your Search
-
Employer
-
Field
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
limited to: Sustainable and AI-Driven Software Engineering. Software Engineering, including empirical software engineering and Software - Architecture, software quality assurance. Cloud computing, edge
-
languages such as R and Python is recommended. Further Technologies: Familiarity with statistical data analysis and cloud computing platforms is recommended. Personal Competencies: Independence and Creativity
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
. Cloud computing, edge computing, and Internet of Things, including software and operation techniques such as microservices, serverless and web technologies. LLM-assisted Software Engineering. System
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
(cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming