Questa posizione è in Maxwell Group srl Riassunto dell'opportunità da parte della Joinrs AI: Maxwell Group srl cerca una figura con formazione filosofica magistrale o dottorale, orientata a logica e ontologie formali, per un ruolo di ricerca remoto.
Il candidato contribuirà allo studio di sistemi e processi mediante metodi filosofici rigorosi senza attività di programmazione.
Sono richiesti rigore metodologico e autonomia nella ricerca.
Il compenso è da definire in base all'impegno lavorativo.
Il processo di selezione sarà interamente gestito da Maxwell Group srl.
Questa occasione è disponibile su Milano, Roma.
Cerchiamo, per il team Ricerca e Sviluppo, una figura di formazione filosofica da inserire in remoto in un ruolo di ricerca su ontologie formali e logica applicata alla modellazione di sistemi e 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 Filosofia, con percorso orientato a logica, filosofia della scienza, filosofia del linguaggio o filosofia della matematica - Esami di logica formale o di logica matematica sostenuti e documentabili Logica - Logica proposizionale: connettivi, semantica, validità deduttiva, sistemi di derivazione - Logica dei predicati del primo ordine: quantificatori, relazioni, identità - Distinzione sintassi / semantica / sistema formale,



e consapevolezza di che cosa si guadagna e che cosa si perde nel formalizzare - Elementi di teoria della dimostrazione e di teoria dei modelli - Gradita familiarità con logiche non classiche (modali, temporali, intuizionistiche) e con i risultati limitativi (Gödel, decidibilità) Ontologie È l'area centrale del ruolo.
Si richiede padronanza dell'ontologia sia come disciplina filosofica sia come artefatto formale: - Categorie ontologiche fondamentali: identità e criteri di identità, essenza e accidente, sostanza e proprietà, universali e particolari, dipendenza esistenziale, parti e tutti (mereologia) - Persistenza e cambiamento nel tempo: endurantismo e perdurantismo, ruoli, fasi, stati - Ontologie di fondazione (UFO, BFO, DOLCE, GFO) e metodologie di analisi ontologica (OntoClean e metaproprietà: rigidità, identità, unità, dipendenza) - Costruzione di ontologie di dominio: individuazione delle entità, distinzione fra tipo e ruolo, fra entità e fase, fra attributo e entità autonoma - Gradita familiarità con OWL, logiche descrittive e ragionatori, e con la nozione di mondo aperto Metodi formali — conoscenza dell'impianto Non si richiede padronanza tecnica, ma la capacità di orientarsi fra le principali tradizioni e di riconoscere che tipo di errore ciascuna intercetta: - Correttezza per costruzione — precondizioni, postcondizioni, invarianti - Model-oriented — specifica dello stato e delle operazioni, refinement (Z, B, Event-B) - Algebrica e process-oriented — comportamento e composizione (CSP, pi-calcolo, session types) - Model checking — verifica esaustiva e controesempio come risultato - Metodi formali leggeri — analisi automatica entro scope limitato (Alloy) Aperti a dottorandi/e e post-doc anche a tempo parziale.
-- [#LI-REMOTE] [#J-MCITY] [#J-ONE] [#J-MIN] [#J-INTERNAL]

📌 Ricercatore/Trice In Ontologie E Logica Applicata... (Lazio)
🏢 Maxwell Group
📍 Lazio