Fixpoints, Abstraction And Games In The Verification Of Software Systems

Universities and Institutes of Italy

Italy

September 24, 2021

Description

  • Organisation/Company: UNIVERSITà DEGLI STUDI DI PADOVA - DIPARTIMENTO DI MATEMATICA
  • Research Field: Computer science
  • Researcher Profile: First Stage Researcher (R1) Recognised Researcher (R2) Established Researcher (R3) Leading Researcher (R4)
  • Application Deadline: 24/09/2021 23:59 - Europe/Brussels
  • Location: Italy
  • Type Of Contract: To be defined
  • it aims at devising techniques for characterising the solution of systems of fixpoint equations, mixing least and largest fixpoints over general classes of domains; developing a theory of sound and complete approximations for systems of equations; integrating abstraction techniques in game-theoretical algorithms for verification, with special interest in games with quantitative features.

    Eligibility criteria

    Eligible destination country/ies for fellows:

  • Italy
  • Eligibility of fellows: country/ies of residence:

  • EUROPE
  • Eligibility of fellows: nationality/ies:

  • EUROPE
  • Web site for additional job details

    https: // www. math.unipd.it/ricerca/bandi-e-concorsi/

    Contact Information
  • Organisation/Company: UNIVERSITà DEGLI STUDI DI PADOVA - DIPARTIMENTO DI MATEMATICA
  • Organisation Type: Higher Education Institute
  • Website: https: // www. math.unipd.it/
  • Country: Italy
  • City: PADOVA
  • Similar Jobs

    Add to favorites Read more...

    University Of Florence- Developing Methods For Regular And Ordered Tessellation Of Real Meshes For...

    mesh Eligible destination country/ies for fellows: Eligibility of fellows: country/ies of residence: Eligibility of fellows: nationality/ies: Organisation/Company: Università degli Studi Firenze Organisation Type: Public Research Institution