Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
department is available at: https://www.umu.se/en/department-of-computing-science/ Project description Graph transformation is a well-established theory that studies computational methods to transform graphs
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
(model-based) systems engineering, whilst applying systems analysis techniques based on formal methods, AI, and optimisation and will be expected to submit publications to top-tier conferences and journals
-
First Stage Researcher (R1) Positions PhD Positions Country Spain Application Deadline 20 Jan 2026 - 12:00 (Europe/Madrid) Type of Contract Temporary Job Status Full-time Hours Per Week 37,5 Offer
-
, PyMOL, Chimera, etc. Interest in advanced computational methods to improve and understand protein function Interest in entrepreneurship to make a positive impact on planetary and human health As a formal
-
inverse problems. The team aims at developing Bayesian computational methods for such (ill-posed) inverse problems and aims both at increasing their validity and at reducing their computational cost. In
-
. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos and dr. Tim Steenvoorden). The PhD project will be carried out in close cooperation
-
Job Description The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle
-
of interest include AI-enabled software development and agentic systems, automated software engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal
-
, PyMOL, Chimera, etc. Interest in advanced computational methods to improve and understand protein function Interest in entrepreneurship to make a positive impact on planetary and human health As a formal