Remoto Part-time internal jobs in Sales, Italia.

... 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]

... 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]

... DATA CENTER OPERATIONS (DCO) This position involves: - Diagnosing hardware and network problems followed by physical repairs - Troubleshooting events within internal Service Level Agreements (SLAs) - Performing root cause analysis of equipment failures - Manual handling and lifting of equipment may be required (weight limits ...