Sort by
Refine Your Search
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
and diplomas in Higher Education, arising from foreign higher education institutions, and paragraph e) of paragraph 2 of article 4 of Decree-Law No. 60/2018, of August 3, all of which the formalities
-
Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 2 months ago
profile to the activity to be developed. 8. Formalization of applications: 8.1 Applications are formalized by means of an application form, made available at https://ist-id.pt/recursos-humanos
-
finite elements) as well as alternative discretization methods (e.g., Lattice Boltzmann Methods), and high-performance computing. A selection of possible research areas can be found on our website: https
-
: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification