Bandi per assegni di ricerca

Univ. TRENTO

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Tecniche di Optimization Modulo Theories per Aritmetica Non Lineare e Constraint programming
Titolo del progetto di ricerca in inglese Optimization Modulo Theories techniques for Non-Linear Arithmetic and Constraint Programming
Area CUN 09 - Ingegneria industriale e dell'informazione
S.S.D ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Descrizione sintetica in italiano La ricerca si svolgerà nel campo Optimization Modulo Theories (OMT). L'obbiettivo della ricerca ha due aspetti: 1) lo sviluppo e implementazione di nuove tecniche OMT per la teoria dell'aritmetica non-lineare. 2) lo sviluppo e implementazione di nuove tecniche basate su OMT per constraint programming. Le tecniche di cui sopra dovranno essere implementate all'interno dell'OMT solver OptiMathSAT (http://optimathsat.disi.unitn.it/).
Descrizione sintetica in inglese The research is in the field of Optimization Modulo Theories (OMT). The goal of the research is twofold: 1) develop and implement novel OMT techniques for the theory of non-linear arithmetic 2) develop and implement novel OMT-based techniques for constraint-programming The above techniques should be implemented within the OptiMathSAT OMT solver (http://optimathsat.disi.unitn.it/).
Data del bando 17/06/2019
Numero di assegnazioni per anno 1
Stanziamento annuale (indicativo) 23200
Periodicità 12
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati AFRICA
EUROPE
OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
E.U.
CHINA (MAINLAND)
CHINA (HONG KONG)
Nazionalità dei candidati AFRICA
EUROPE
OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
E.U.
CHINA (MAINLAND)
CHINA (HONG KONG)
Sito web del bando https://www.unitn.it/ateneo/bando/58474/dipartimento-di-ingegneria-e-scienza-dell-informazione-avviso-di-selezione-per-il-conferimento-di-n

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Experienced researcher or 4-10 yrs (Post-Doc)
Importo annuale 23200
Valuta Euro

 

Finanziatore
Nome dell'Ente finanziatore Università degli Studi di Trento
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città Trento
Sito web https://www.unitn.it/ateneo/bando/58474/dipartimento-di-ingegneria-e-scienza-dell-informazione-avviso-di-selezione-per-il-conferimento-di-n

 

Contatto presso l'Ente
E-mail selezionipolocollina@unitn.it
Telefono +390461281914-1969-1620-3304

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 08/07/2019
Come candidarsi https://www.unitn.it/ateneo/bando/58474/dipartimento-di-ingegneria-e-scienza-dell-informazione-avviso-di-selezione-per-il-conferimento-di-n