Questa posizione è in Maxwell Group srl Riassunto dell'opportunità da parte della Joinrs AI: Maxwell Group srl cerca un ricercatore esperto in logica formale da inserire a tempo pieno in modalità remota. Il candidato ideale è dotato di laurea magistrale o dottorato in Matematica con specializzazione in logica matematica e dimostra autonomia e rigore metodologico nella ricerca applicata allo sviluppo software e modellazione dei processi.

Il ruolo non richiede competenze di programmazione. Sono offerti un compenso commisurato all’impegno e possibilità di crescita in un team dedicato alla Ricerca e Sviluppo. Cerchiamo, per il team Ricerca e Sviluppo, una figura da inserire in remoto in un ruolo di ricerca su logica formale applicata allo sviluppo software e alla modellazione di processi.

Richiesta una spiccata attitudine alla ricerca: autonomia nell'indagine, rigore nel metodo, capacità di portare a conclusione un'esplorazione teorica. Non è un ruolo di programmazione. Non cerchiamo uno sviluppatore e non è richiesta esperienza di scrittura di codice.

Compenso

Salario secondo impegno lavorativo da discutere. Formazione - Laurea magistrale o dottorato in Matematica, con percorso in logica matematica - Logica del primo ordine, teoria dei modelli,



calcolo relazionale - Automi e logiche temporali (LTL/CTL) Tradizioni dei metodi formali Si richiede conoscenza dell'impianto di tutte e quattro le tradizioni e padronanza approfondita di almeno una:

- Correttezza per costruzione — logica di Hoare, precondizioni e postcondizioni, invarianti, weakest precondition (Dijkstra, Hoare, Wirth) - Model-oriented — specifica dello stato e delle operazioni, refinement: VDM, Z, B, Event-B - Algebrica e process-oriented — descrizione del comportamento e della composizione: CSP, CCS, pi-calcolo, bisimulazione, session types - Model checking — verifica esaustiva e controesempio come risultato: SPIN, NuSMV, TLA+ - Metodi formali leggeri — analisi automatica di modelli parziali entro scope limitato: Alloy, small scope hypothesis Titoli preferenziali - Semantica dei linguaggi di programmazione e sistemi di tipi - Esperienza con proof assistant (Lean, Isabelle, Coq/Rocq) - Logiche descrittive e ontologie (OWL, ragionatori) - SAT/SMT solver Aperti a dottorandi e post-doc anche a tempo parziale. Il processo di selezione sarà interamente gestito da Maxwell Group srl. Questa opportunità è disponibile su Milan, Rome. [] [#J-MCITY] [#J-ONE] [#J-MIN] [#J-INTERNAL]

📌 Ricercatore/trice Laurea in Matematica - Metodi formali applicati (Milano)
🏢 Maxwell Group
📍 Milano