Ricercatore Scientifico in Informatica e Fisica Computazionale

Titolo del ruolo: Research Scientist - Computer Science & Computational Physics

Tipo di ruolo: Contractor (flessibile, Part-Time o Full-Time)

Luogo: Da remoto

micro1 sta coinvolgendo Research Scientist in Computer Science & Computational Physics per contribuire a far progredire un progetto di ricerca ad alto impatto di un cliente. In questo ruolo, applicherai la tua esperienza per contribuire all'addestramento di sistemi di IA di nuova generazione. Il tuo lavoro definirà il modo in cui i modelli apprendono, ragionano e si comportano attraverso input reali di alta qualità. Non è richiesta alcuna esperienza precedente in IA, ciò che conta è la tua conoscenza del settore.

Ambito di lavoro

• Identificare e proporre problemi aperti, nuovi limiti o sfide di ricerca trattabili nel tuo sottocampo per un'indagine rigorosa.
• Condurre ricerche strutturate utilizzando modelli di IA di frontiera e agenti per tentare dimostrazioni, sviluppare algoritmi o eseguire simulazioni computazionali.
• Verificare sistematicamente i risultati della ricerca controllando le dimostrazioni, riproducendo i risultati numerici o impiegando strumenti formali.
• Valutare i risultati in termini di novità e correttezza in confronto diretto con la letteratura recente e i risultati pubblicati.
• Documentare metodologie, risultati parziali e sfide incontrate attraverso report scritti chiari ed esaustivi.
• Evidenziare nuove promettenti direzioni e scoperte per un'esplorazione più approfondita da parte di professionisti senior della ricerca.

Requisiti preferenziali

• Posizione accademica avanzata nella ricerca: dottorando in fase avanzata, ricercatore post-dottorato o accademico a inizio carriera (0, 5 anni post-dottorato) in informatica o fisica matematica/computazionale.
• Riconosciuto dalla comunità dei pari per l'eccellenza nella ricerca, come premi per il miglior articolo o tesi in sedi di primo piano (ad es., STOC, FOCS, SODA, PLDI, SC).
• Solido curriculum di pubblicazioni negli ultimi tre anni, che include molteplici articoli su riviste di primo piano e risultati recenti che affrontano problemi aperti noti o introducono nuovi concetti.
• Esperienza pratica nei metodi di calcolo, che comprendono simulazione, analisi numerica e implementazione algoritmica.
• L'esperienza di revisione o co-revisione per conferenze importanti nella tua specializzazione costituisce un vantaggio.
• Esperienza nell'utilizzo di modelli di frontiera, agenti o strumenti computazionali formali (ad es., Lean, solutori SAT/SMT) nel lavoro accademico.
• Dichiarazione di ricerca o homepage condivisa pubblicamente che delinei specifici problemi aperti attualmente in fase di studio.