Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Problemi di decidibilità e complessità per frammenti insiemistici e applicazioni al ragionamento automatico |
|---|---|
| Titolo del progetto di ricerca in inglese | Decidability and complexity problems for set fragments and applications to automatic reasoning |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L’attività di ricerca relativa alla posizione in oggetto si focalizzerà sull’estensione di recenti risultati in Computable Set Theory riguardanti una tassonomia di procedure di decisione per “piccoli” frammenti insiemistici con e senza appartenenza. In particolare si dovrà: (a) rafforzare lo strumento dell’ O(f)-esprimibilità, al fine di consentire la riduzione di nuovi problemi di decidibilità a problemi già noti; (b) arricchire l’esistente tassonomia con l’inclusione di frammenti che coinvolgano il prodotto cartesiano (non ordinato), studiandone anche la complessità computazionale; (c) ricercare proprietà strutturali che consentano l’estensione con il predicato di appartenenza di procedure di decisione esistenti per frammenti insiemistici puramente booleani |
| Descrizione sintetica in inglese | The research activity relating to the position in question will focus on the extension of recent results in Computable Set Theory concerning a taxonomy of decision procedures for “small” fragments of set theory with and without membership. In particular, the candidate will have to: (a) strengthen the O(f) -expressibility technique, in order to allow the reduction of new decision problems to problems that have already been solved; (b) enrich the existing taxonomy with new subfragments of set theory involving the (unordered) Cartesian product, whose computational complexity will have to be also ascertained; (c) propose suitable structural properties that allow one to extend existing decision procedures for purely Boolean set-theoretic fragments with the membership predicate. |
| Data del bando | 21/12/2022 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23889.84 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://www.unict.it/bandi/ricerca-e-trasferimento-tecnologico/assegni-di-ricerca-tipo-b |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Laurea specialistica o magistrale o diploma di laurea conseguito secondo il vecchio ordinamento o titolo equivalente o equiparato o equipollente, conseguito in Italia o all’estero, in Informatica o Matematica e in possesso di un curriculum scientifico professionale idoneo allo svolgimento di attività di ricerca Conoscenza della lingua: inglese |
| Nome dell'Ente finanziatore | Università degli Studi di Catania |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Catania |
| Codice postale | 95131 |
| Indirizzo | Piazza Università 2 |
| Sito web | http://www.unict.it |
| ac.ari@unict.it | |
| Telefono | 0954787419 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 20/01/2023 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://concorsi.unict.it |