Informazioni sul ruolo
Titolo del ruolo: Research Scientist - Informatica e fisica computazionale
Tipo di incarico: Contractor (flessibile, part-time o full-time)
Sede: Da remoto
micro1 sta ingaggiando Research Scientist in Informatica e Fisica computazionale per contribuire a far progredire un progetto di ricerca ad alto impatto di un cliente. In questo ruolo, Lei applicherà la Sua competenza per contribuire all'addestramento dei sistemi di IA di prossima generazione. Il Suo lavoro influenzerà il modo in cui i modelli apprendono, ragionano e operano, grazie a contributi concreti e di alta qualità. Non è richiesta alcuna esperienza pregressa nell'IA: ciò che conta è la Sua competenza nel settore.
Ambito di lavoro
- Individuare e proporre problemi aperti, nuovi limiti (bound) o sfide di ricerca affrontabili nel Suo sottocampo, da sottoporre a indagine rigorosa.
- Condurre ricerche strutturate utilizzando modelli e agenti di IA di frontiera per tentare dimostrazioni, sviluppare algoritmi o eseguire simulazioni computazionali.
- Verificare sistematicamente i risultati della ricerca controllando le dimostrazioni, riproducendo i risultati numerici o ricorrendo a strumenti formali.
- Valutare novità e correttezza dei risultati in confronto diretto con la letteratura recente e con i risultati pubblicati.
- Documentare metodologie, risultati parziali e difficoltà incontrate attraverso report scritti chiari e completi.
- Evidenziare nuove direzioni promettenti e scoperte da approfondire da parte di professionisti senior della ricerca.
Qualifiche preferenziali
- Posizione avanzata nella ricerca: dottorando in fase avanzata, ricercatore post-dottorato o accademico a inizio carriera (0–5 anni dal conseguimento del PhD) in informatica o fisica matematica/computazionale.
- Riconoscimento da parte della comunità scientifica per l'eccellenza nella ricerca, ad esempio premi per il miglior articolo o la miglior tesi presso sedi di primo piano (ad es. STOC, FOCS, SODA, PLDI, SC).
- Solido curriculum di pubblicazioni negli ultimi tre anni, inclusi più articoli presso le sedi di maggior rilievo e risultati recenti che affrontano problemi aperti noti o introducono concetti innovativi.
- Competenza pratica nei metodi computazionali, che comprendono simulazione, analisi numerica e implementazione di algoritmi.
- Costituisce un vantaggio l'esperienza di revisione o sub-revisione per importanti conferenze nella Sua specialità.
- Background nell'impiego di modelli di frontiera, agenti o strumenti computazionali formali (ad es. Lean, solver SAT/SMT) nel lavoro accademico.
- Dichiarazione di ricerca o homepage pubblica che illustri i problemi aperti specifici attualmente in esame.