10 software-verification PhD positions at Chalmers University of Technology in Sweden
-
-13698 Is the Job related to staff position within a Research Infrastructure? No Offer Description We are offering a PhD position in an exciting new national project focussing on software security, with
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
-
This is a broad call for five fully-funded PhD positions in computer science and engineering to work on machine learning, autonomous systems, software engineering, formal methods, and network
-
mathematics, theoretical physics or computer science. Some programming experience is compulsory and the applicants should be keen to develop their programming- and software development skills. Strong written
-
. This PhD position is based at the Division of Interaction Design and Software Engineering , with Chalmers University of Technology as the employer. Our division is a leader in research and education on
-
driver of primary production, yet anthropogenic discharges from agriculture and aquaculture often lead to eutrophication. This project will develop innovative sensor software capable of quantifying a suite
-
. Typesetting in Latex, vector graphics editing software such as Inkscape Experience with scientific writing. Prior publication experience at top robotics conferences#, journals is considered as a advantage
-
systems such as ROS, Orocos, RoCK etc. Familiarity with version control systems such as GitHub, Gitlab, SVN etc. Typesetting in Latex, vector graphics editing software such as Inkscape Experience with
-
. Integrating commercial multibody dynamics software with in-house tools to predict impact loads. Developing a digital twin based on extensive field measurements to train a machine learning model for predicting
-
candidates who will graduate soon). Proficiency in Matlab or Python, as well as commercial finite element analysis software. Excellent written and oral communication skills in English. Ability to work