29 ago - Milano
Maxwell Group
Questa posizione è in Maxwell Group srl
Riassunto dell'possibilità 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 opportunità 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.
[#LI-REMOTE] [#J-MCITY] [#J-ONE] [#J-MIN]
[#J-INTERNAL]
02 set - Roma
Service Key S. P. A
02 set - Sesto Calende
Leonardo
02 set - Milano
GIACOMO MILANO
02 set - Feltre
Universiis Società Cooperativa Sociale