Sort by
Refine Your Search
-
Country
-
Employer
- Technical University of Munich
- Faculty of Sciences of the University of Porto
- Fundação Gaspar Frutuoso
- Institute for Advanced Studies, University of São Paulo, São Paulo / FAPESP (BIOTA SYNTHESIS – Nucleus of Analysis and Synthesis of Nature-Based Solutions)
- University of Trás-os-Montes and Alto Douro
- University of Zurich Blockchain Center
-
Field
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
/forschung/gruppen/numerical-analysis/research/ Typical responsibilities you can expect: Mathematical derivation, analysis, and comparison of models, methods, and simulation approaches Formal proofs, e.g
-
with strong demonstrable ties to UCT will also be considered. Preferred Qualifications Experience with multiple blockchain platforms Knowledge of formal verification methods Experience with DApp
-
12 Mar 2025 Job Information Organisation/Company Fundação Gaspar Frutuoso Research Field Medical sciences Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country Portugal
-
Recognised Researcher (R2) Positions PhD Positions Country Portugal Application Deadline 10 Mar 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting
-
Institute for Advanced Studies, University of São Paulo, São Paulo / FAPESP (BIOTA SYNTHESIS – Nucleus of Analysis and Synthesis of Nature-Based Solutions) | Brazil | 3 months ago
social actors from diverse backgrounds and professional experiences. Additionally, he/she should possess expertise in modeling and analytical methods (good knowledge in R, github and multivariate
-
, financed by Foundation for Science and Technology through national funds ", under the following conditions: Scientific Area: Chemistry Admission requirements: To have a PhD in Chemistry, Biochemistry
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by