43 software-verification-computer-science-"Prof"-"Washington-University-in-St" positions at Linköping University
Sort by
Refine Your Search
-
qualification in a relevant subject e.g. bioinformatics, computer science or similar At least two years’ experience of working in a research environment with bioinformatics, genomics and interpretation of big
-
degree or international equivalence. Of the 60hp at advanced level, 30hp must constitute an approved degree project. Your degree must have been completed no later than the time the employment decision is
-
part of the national research program WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for
-
. The task is to understand phenomena like “model collapse” and implementing strategies to avert it, using tools from the Systems and Control field. Wallenberg AI, Autonomous Systems and Software Program (WASP
-
application! We are looking for up to 10 teaching assistants to the Department of Computer and Information Science. The position We are looking for up to 10 teaching assistants to support examinators in
-
(Visual Digital Futures) . For more information about our work, please visit our website . For this role, we collaborate with the Wallenberg AI, Autonomous Systems and Software Program, WASP, which is
-
for instance to socio-technological networks. The Division of Automatic Control has a strong commitment to WASP (Wallenberg AI, Autonomous Systems and Software Program) . This recruitment is potentially eligible
-
teaching or other departmental duties, up to a maximum of 20 per cent of full-time. Your qualifications You have graduated at a Master’s level in Computer Science, Mathematics, or a closely related subject
-
center located in Norrköping, Sweden, with a PhD program in Analytical Sociology and an international Masters’ program in Computational Social Science. The research strengths of the IAS include the study
-
consist of the following: Mathematical analysis of ecological and eco-evolutionary models, involving pencil-and-paper calculations; Computer simulations of more complex models which do not easily lend