Find jobs in AI/ML, Data Science and Big Data
3 results
for Logic
(Skill/Tech stack)
-
Postdoc Positions in Computer Science (Formal Methods) DKK 433K-433KComputational Complexity | Distributed Systems | Formal Methods | Logic | Programming LanguagesMentoring | Professional development opportunities | Research collaboration opportunitiesEntry-level Full TimeOdense M, Denmark7d ago
-
PhD Positions in Computer Science (Formal Methods) DKK 433K-433KComputer Security | Distributed Systems | Formal Methods | Logic | Programming LanguagesInternational working environment | Mentoring | Research collaboration | Self organizer time registration exemptionEntry-level Full TimeOdense M, Denmark11d ago
-
Project Officer/Research Associate/Research Fellow (Computer Science/Mathematics/Statistics) SGD 60K-78KAlgorithms | Bayesian statistics | Deep learning | Formal Methods | Language ModelsConference and seminar participation | Research funding support | Teaching opportunityNone Full TimeNTU Main Campus, Singapore19d ago