Ricercatore/trice In Ontologie E Logica Applicata Roma (Italia)

Ricercatore/trice In Ontologie E Logica Applicata Roma (Italia)

02 set
|
Maxwell Group
|
Italia

02 set

Maxwell Group

Italia

Questa posizione è in Maxwell Group srl

È la persona giusta per questa possibilità? Si assicuri di leggere la descrizione completa qui sotto.

Riassunto dell'occasione 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ö

📌 Ricercatore/trice In Ontologie E Logica Applicata Roma (Italia)
🏢 Maxwell Group
📍 Italia

Candidati a questo annuncio

Mostra le tue capacità professionali all'azienda, compila il form e lascia un tocco personale nella lettera di presentazione, aiuterà il recruiter nella scelta del candidato.

Iscriviti a questa job alert:

Ricevi via email le nuove offerte di lavoro per: ricercatore/trice in ontologie e logica applicata roma (italia) / italia

Iscriviti a questa job alert:

Ricevi via email le nuove offerte di lavoro per: ricercatore/trice in ontologie e logica applicata roma (italia) / italia