Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Anelli di Gröbner e anelli stabilmente coerenti nell’algebra commutativa costruttiva |
|---|---|
| Titolo del progetto di ricerca in inglese | Gröbner Rings and Stably Coherent Rings in Constructive Commutative Algebra |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Gli anelli di Gröbner sono anelli coerenti fortemente discreti per cui i corrispettivi anelli di polinomi godono di qualche forma di algoritmo di Buchberger. Esempi di anelli di Gröbner sono sia gli anelli coerenti fortemente discreti e noetheriani che i domini di Prüfer di dimensione 1. Il primo obiettivo di questo progetto è trovare tutte le proprietà che queste classi di anelli hanno in comune. Il secondo obiettivo è estendere costruttivamente agli anelli di Gröbner il teorema delle sizigie di Hilbert, utilizzando sia il metodo di Schreyer sia le tecniche caratteristiche delle basi di Gröbner, nonché il metodo dinamico (ispirato dalla lazy evaluation dell’algebra computazionale) per accelerare gli algoritmi così ottenuti. |
| Descrizione sintetica in inglese | Gröbner rings are strongly discrete coherent rings for which some kind of Buchberger algorithm is available for the associated polynomial rings. Not only strongly discrete coherent Noetherian rings but also one-dimensional Prüfer domains are Gröbner rings. The first goal of the research project is to find out all common features of these classes of rings. The second goal is to extend constructively Hilbert's syzygy theorem to Gröbner rings using Schreyer's method and characteristic Gröbner bases techniques, and also the dynamical method (inspired by lazy evaluation in Computer Algebra) to speed up the algorithms thus obtained. |
| Data del bando | 22/02/2019 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 32800 |
| 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 | 26705 |
| 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: MAT/01 LOGICA MATEMATICA. |
| 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: MAT/01 MATHEMATICAL LOGIC. |
| 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 | https://www.univr.it/it/home |
| 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 | 14/03/2019 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |