3 software-verification Postdoctoral scholarships

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 5 days ago

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

Senior Research Associate in Development of Blockchain-based Applications (only for University of Cape Town Researchers)

University of Zurich Blockchain Center | Switzerland | 2 months ago

Qualifications PhD in Computer Science, Software Engineering, FinTech Strong programming skills in Solidity and other smart contract languages Experience with blockchain platforms and development tools Proven

PhD Students and Postdocs: Design Automation and Software for Quantum Computing, Microfluidics, or Conventional Circuits and Systems

Technical University of Munich | Germany | 5 days ago

explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g