Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Soddisfacibilità guidata da conflitti |
|---|---|
| Titolo del progetto di ricerca in inglese | Conflict-driven satisfiability |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L’avvento dei solutori SAT basati sul paradigma noto come CDCL ha portato il problema SAT (soddisfacibilità in logica proposizionale) al successo pratico, nonostante la sua difficoltà teorica. Questa evoluzione ha aperto la sfida di generalizzare la deduzione guidata da conflitto alla logica del primo ordine o suoi frammenti. Date le notevoli differenze tra ragionamento proposizionale e al primo ordine, si tratta di un obiettivo molto arduo. Questo progetto avanza la ricerca in questa direzione realizzando la prima implementazione di un nuovo metodo per il ragionamento guidato da conflitti al primo ordine, detto SGGS. Se tempo e risorse lo permetteranno, il progetto investigherà anche come arricchire SGGS con l’uguaglianza, e come affiancare un prototipo di CDSAT per la combinazione guidata da conflitti di teorie con l’uguaglianza in comune. |
| Descrizione sintetica in inglese | Conflict-driven clause learning (CDCL) brought propositional satisfiability (SAT) from theoretical hardness to practical success, opening the challenge of extending the conflict-driven style of reasoning pioneered by CDCL to reasoning at the first-order level, in first-order level, first-order logic or decidable fragments of first-order theories. Given the significant differences between propositional and first-order reasoning, this is a difficult objective. This project makes progress in this direction by developing the first implementation of new ideas for first-order conflict-driven reasoning embodied in the semantically-guided goal-sensitive (SGGS) theorem-proving method. If time and resources allow it, the project will also investigate ways to extend SGGS with equality, and implementing a CDSAT (Conflict-Driven SATisfiability) prototype for combinations of theories sharing equality. |
| Data del bando | 30/04/2019 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 47600 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.univr.it/it/albo-ufficiale |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 38750 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a)Titolo di Dottore di Ricerca; b)Conoscenza della seguente lingua straniera: inglese; c)Ulteriori requisiti: attività di ricerca e/o di sviluppo nel settore scientifico-disciplinare: INF/01 INFORMATICA. |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a)PhD; b)Knowledge of the following foreign language: English. c)Other requirements: documented research and/or development experience in the disciplinary sector: INF/01 INFORMATICS. |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
| Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Informatica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | http://www.univr.it/ |
| assegni.ricerca@ateneo.univr.it | |
| Telefono | +39 (0) 45 8028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 20/05/2019 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |