Fellowship & Grant details

Fellowship posted by Italian Ministry of Education, University and Research (22/11/2012 02.53)

Automated theorem proving and model building for program analysis/synthesis

Please note that the job is no longer active!

In this model we advance a theorem-proving method named DPLL (Gamma+T), that combines the strenghts of inference systems for first-order logic with equality and SMT-solvers, where SMT means satisfiability modulo theories. This method was already shown to yield decision procedures. One of its key properties is that it works by building a tenative model, and its deductions are guided by the existing candidate model. In this project we plan to work towards three objectives: developing a general methodology for model-based deduction; obtaining new decision procedures from DPLL (Gamma+T); and improving the DPLL (Gamma+T)'s capability of deciding unsatisfiability by detecting the absence of models of a given finite cardinality.

Please note that the full description may be available in the national language since some job boards have their own publication policy. Thank you for your understanding!

Research Fields

Computer science

Selection process

The competition will be carried out by an evaluation of titles and examination by means of an interview.

Programme Description
Number of awards per year1
Annual budget22950
International mobility required ?yes
Eligible destination country/ies for fellowsItaly
Eligibility of fellows: country/ies of residenceAll
Eligibility of fellows: nationality/iesAll
Website of Fellowship Programme
Fellowship's Details
Career StageExperienced researcher or 4-10 yrs (Post-Doc)
Research ProfilesNot defined
Employment contract with full social securityyes
Total amount per fellowship per year19367
Covers salaryyes
Covers travel and subsistenceno
Covers research costsno
Maximum duration of fellowship12
GET MORE! The EURAXESS Services Centres

To better plan and organise their stay in a foreign European country, researchers and their families can also benefit of the free and personalised assistance offered by the EURAXESS Services Centres, a network of more than 200 centres located in 40 different European countries.

Application deadline


Other fellowship details


Funding organisation / Contacts
Università degli Studi di Verona - Dipartimento di Informatica

Public research
Verona - Italy
+ 39 (0) 45 8028204