-
technology, development of dynamic metabolism models, and transcriptomics-based process study. Read more about what it's like to work at KTH and our benefits . Qualifications Requirements A doctoral degree or
-
of AI and edge computing, particularly in network optimization, distributed decision-making, and large-scale foundation models. We seek candidates interested in theoretical analysis and optimization
-
be a role model for doctoral students. Well-developed analytical and problem-solving skills are a requirement. The research is expected to use methodology from networking, communication theory, machine
Searches related to model checking
Enter an email to receive alerts for model-checking positions