Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, 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
-
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
-
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
-
Development of a numerical tool for assessing radon prevention and mitigation methods in energy-efficient new buildings and existing buildings A PhD position is available in the Department of Physics
-
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
-
requires an experienced scientist and/or programmer to use models in researching the impacts of food policy, supply chain practices, human behavior, and farm management on the sustainability of food and
-
. 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
-
model. They will also lead development of software integrations for use in life cycle assessments, dynamic system models of livestock production, and environmental impact models and methods
-
Engineering (IMSE) at The University of Texas at El Paso (UTEP) https://www.utep.edu/engineering/imse/ is a dynamic department within the College of Engineering. The department offers one undergraduate degree
-
in the Competition and Job Offers of the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursose - ofertas. 2.4.3 — When formalizing the application, if a classified