Singapore Management University Jobs

Principal Research Engineer (till 30 Jun 2025), Centre for Computational Law

Permanent Job

Singapore

0-2 years

Yacc ltl CoQ Controlled Natural Languages Flora-2 Defeasible Logic Test-Driven Development Language Server Protocol Agda VDM++ FrameNet Protg UFO JetBrains MPS B Method owl K Framework SPIN alloy ivy RIF literate programming NuSMV Xp Advanced Haskell pair programming Z notation CTL Lean Prover Expert Systems Sentient Happy RDFt wordnet Template ACE rules Cyc Full-Stack Development ocaml BNFC KBpedia bison SUMO Oracle Policy Manager TLA+ F* RDFa DocAssemble CFGs Idris alex Emacs EBNF SWRL Answer-Set Programming SenseNet Attempto Controlled English Sublime Text Agile Scrum Visual Studio Code Prolog Atom Software Project Management Vim Lex Unit Testing Amazon Web Services datalog Node Drools Docker Typescript Haskell Javascript Python Lisp Continuous Integration

a month ago

Senior Research Engineer (contract till 30 Jun 2025), CCLAW

Permanent Job

Singapore

0-2 years

Yacc ltl CoQ Flora-2 Defeasible Logic Agda VDM++ Protg UFO B Method Parsers owl alloy ivy RIF Isabelle Advanced Haskell Z notation CTL Lean Prover Expert Systems Happy RDFt Template Cyc Full-Stack Development ocaml etc Programming Language Theory BNFC KBpedia bison SUMO Oracle Policy Manager TLA+ F* HOL RDFa DocAssemble CFGs Idris alex EBNF SWRL Answer-Set Programming StrangeLoop Compilers Prolog Lex Amazon Web Services datalog Node elm Drools Docker Typescript Haskell Javascript Python Lisp

a month ago

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Permanent Job

Singapore

Fresher

a month ago

Research Engineer (contract till 30 Jun 2025), CCLAW

Permanent Job

Singapore

0-2 years

CoQ BDI Flora-2 Defeasible Logic Language Server Protocol Temporal VDM++ Agda FrameNet Protg JetBrains MPS Skolemization K Framework owl SPIN Situation Calculus alloy SBVR Constraint Handling Rules NuSMV LegalRuleML OPA Kripke structures Sentient Expert Systems RDFt Cyc ocaml common lisp Akoma Ntoso petri nets Epistemic modals KBpedia SUMO TLA+ F* RDFa DocAssemble Well-Founded Semantics Emacs SWRL StrangeLoop RuleML+RR Attempto Controlled English ltl Neota Logic F-Logic ACErules UFO B Method DMN ivy JURIX ICAIL RIF Modal mu-calculus OCL Multivalent logics lps.doc.ic.ac.uk Advanced Haskell Z notation Scheme Lean Prover wordnet SMTlib Pony racket Process Calculi Statecharts Intuitionistic Non-monotonic Logics Z3 Hoare Logic Dynamic Logic Deontic Parnas Tables Abductive Logic Idris Isabelle/HOL Answer-Set Programming SenseNet Activity Diagrams Rdf Atom Bpmn Pat elm Drools Haskell Javascript Lisp Uml Sublime Text Visual Studio Code Prolog Vim datalog Node Typescript Python Ilog

a month ago

SCIS Full-Time Faculty, Associate Professor on Tenure Track

Permanent Job

Singapore

0-2 years

Meta-Heuristics Human-Robot Interaction Biometrics Optimization Modeling IT Platforms Marketing Context-Aware IT Impacts adaptation Explainable AI evolution SE For AI Economics Of IT Human-AI Interaction Mobile Human-Computer Interaction Sharing Economy Cyber-Physical Systems Simulation mechanism design Sustainable SE Media Content Communities Pervasive Sensing Security Computer Graphics Decentralised Privacy Policy Analytics Computing Practice Electronic Markets Education Risk Analysis management science Embedded AI Cognition Understanding Robotics Systems Cognitive/Brain-Inspired Computing Agent Planning Large-Scale Optimization Systems Economic Paradigms Multimedia Search Collaboration Systems Econometrics Information Security Economics Engineering IoT Social Media activation Inverse Reinforcement Learning Digitalisation Multimedia Systems Intelligence Augmentation wearable computing Safety information visualization Distributed Trusted Systems Fintech Social Sensing Generative Media Scheduling reinforcement learning Data Related Applications Security Analytics process transformation Human-Centric AI Interdisciplinary Studies Across The Core Areas formal methods Drones Active Citizenry AI For SE Edge Computing Platform Empirical Methods game theory Embedded Systems Operations Urban Systems Human-Aspects In SE Ai Human-In-The-Loop AI Pervasive Systems Software Agent Modeling Machine Intelligence Intelligent Assistants Decision Making Technology Innovation Accessibility Augmented Reality Data Science System Security Data Management Computer Forensics Virtual Reality Usability software analytics Data Mining Healthcare It metrics Recommender Systems Natural Language Processing Information Systems Management Machine Learning Iot Software Maintenance Information Security Software Testing Cybersecurity Deep Learning Data Visualisation Software Engineering Computer Vision

a month ago

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Permanent Job

Singapore

Fresher

a month ago

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Permanent Job

Singapore

0-2 years

CoQ BDI Flora-2 Defeasible Logic Language Server Protocol Temporal VDM++ Agda FrameNet Protg JetBrains MPS Skolemization K Framework owl SPIN Situation Calculus alloy SBVR literate programming Constraint Handling Rules NuSMV LegalRuleML OPA Kripke structures Sentient Expert Systems RDFt HTTP(S) Cyc ocaml common lisp Akoma Ntoso petri nets Epistemic modals KBpedia SUMO TLA+ F* RDFa DocAssemble Well-Founded Semantics Emacs Natural Language Generation SWRL StrangeLoop RuleML+RR Attempto Controlled English ltl Controlled Natural Languages Neota Logic F-Logic ACErules UFO B Method DMN ivy JURIX ICAIL RIF Modal mu-calculus OCL Multivalent logics lps.doc.ic.ac.uk Advanced Haskell Z notation Scheme Lean Prover wordnet SMTlib Pony Full-Stack Development racket Process Calculi Statecharts Intuitionistic Non-monotonic Logics Z3 Hoare Logic Dynamic Logic Deontic computational linguistics Parnas Tables Abductive Logic Idris Isabelle/HOL Answer-Set Programming SenseNet Activity Diagrams Rdf Atom Bpmn Yaml Amazon Web Services Pat elm HTML Drools Docker Haskell Javascript Lisp Git Uml Json Sublime Text Visual Studio Code CSS Prolog Xml Vim datalog Node Typescript Tcp/ip Python Github Ilog

a month ago

Senior Research Engineer, Symbolic AI (contract till 30 Jun 2025), CCLAW

Permanent Job

Singapore

0-2 years

Yacc ltl CoQ Controlled Natural Languages Flora-2 Defeasible Logic Language Server Protocol Agda VDM++ FrameNet ACErules Protg UFO JetBrains MPS B Method owl K Framework SPIN alloy ivy RIF NuSMV Advanced Haskell Z notation CTL Lean Prover Expert Systems Sentient Happy RDFt wordnet Template Cyc Full-Stack Development ocaml BNFC KBpedia bison SUMO Oracle Policy Manager TLA+ F* RDFa DocAssemble CFGs Idris alex Emacs EBNF SWRL Answer-Set Programming SenseNet Attempto Controlled English Sublime Text Visual Studio Code Prolog Atom Vim Lex Amazon Web Services datalog Node Drools Docker Typescript Haskell Javascript Python Lisp

a month ago

Instructor (5-year contract), School of Computing and Information Systems

Permanent Job

Singapore

Fresher

a month ago

Manager (3-year contract), UOB-SMU Asian Enterprise Institute

Permanent Job

Singapore

6-8 years

Communication Skill project management Administrative Skill external facing functions online platforms stakeholders management website content management

a month ago

Full-Time Faculty, Tenure Track, Organisational Behaviour & Human Resources

Permanent Job

Singapore

0-2 years

teaching Publishing Research

a month ago

Associate Director (3-year contract), UOB-SMU Asian Enterprise Institute

Permanent Job

Singapore

10-12 years

Management Partnership Management academic programme development Leadership Negotiation stakeholders management Interpersonal Skills business development communication

a month ago

Lead, Learning Excellence & Organisational Development (Human Resources)

Permanent Job

Singapore

8-10 years

Leadership Coaching Marketing Courseware/Curriculum Development Training Multimedia Tools Stakeholder Management Communication Facilitation Organisational Development Management Learning & Development E-Learning Platforms Project Management Data Analysis Virtual Collaboration Tools Web-Learning Technologies Training Software 360 Degree Feedback Microsoft Office Suite Learning Management Systems Excel Change Management SAP HR

a month ago

Assistant Manager, Treasury & Governance (Office of Finance)

Permanent Job

Singapore

Fresher

a month ago

Full-Time Faculty, Tenure Track, Organisational Behaviour & Human Resources

Permanent Job

Singapore

0-2 years

teaching Publishing Research

a month ago

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Permanent Job

Singapore

Fresher

a month ago

Senior Technical Project Manager (contract till 30 Jun 2025), CCLAW

Permanent Job

Singapore

5-7 years

Lean Github Slack Agile Asana Scrum

a month ago

Manager / Senior Manager (3-year contract), UOB-SMU Asian Enterprise Institute

Permanent Job

Singapore

6-8 years

Communication Skill Administrative Skill external facing functions online platforms stakeholders management website content management

a month ago

Assistant Manager/Manager, Alumni Engagement (Office of Alumni Relations)

Permanent Job

Singapore

4-6 years

relationship management Event Management Stakeholder Engagement Presentation Skills Technology Project Coordination Communication Skills social media Database Tools

a month ago

Executive/Senior Executive (3-year contract), SMU International Office

Permanent Job

Singapore

3-5 years

International Relations project management business development Analysis Communication Skills

a month ago

Research Associate (6-month contract), Lee Kong Chian School of Business

Permanent Job

Singapore

Fresher

a month ago

Accounts Executive/Snr Accounts Executive - AR Billing (3-mth contract),OFIN

Permanent Job

Singapore

0-2 years

SAP Data Analytics Bi Tools Rpa Ms Office Oracle

a month ago

SCIS Adjunct Lecturer

Permanent Job

Singapore

0-2 years

Computational Social Science computational physics Decision Sciences Computational Engineering management science Computer Science Smart Healthcare in Asia Statistics Cyber Threat Intelligence Marketing Analytics Information Systems

30 days ago

Research Engineer (1-year contract), SCIS

Permanent Job

Singapore

0-2 years

large language models Nlp python Machine Learning Research Sql

a month ago

Home

singapore management university Jobs

Top Industry

Job Category

Singapore Management University Jobs

Principal Research Engineer (till 30 Jun 2025), Centre for Computational Law

Senior Research Engineer (contract till 30 Jun 2025), CCLAW

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Research Engineer (contract till 30 Jun 2025), CCLAW

SCIS Full-Time Faculty, Associate Professor on Tenure Track

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Senior Research Engineer, Symbolic AI (contract till 30 Jun 2025), CCLAW

Instructor (5-year contract), School of Computing and Information Systems

Manager (3-year contract), UOB-SMU Asian Enterprise Institute

Full-Time Faculty, Tenure Track, Organisational Behaviour & Human Resources

Associate Director (3-year contract), UOB-SMU Asian Enterprise Institute

Lead, Learning Excellence & Organisational Development (Human Resources)

Assistant Manager, Treasury & Governance (Office of Finance)

Full-Time Faculty, Tenure Track, Organisational Behaviour & Human Resources

Assistant Research Engineer (till 30 June 2025), Centre for Computational Law

Senior Technical Project Manager (contract till 30 Jun 2025), CCLAW

Manager / Senior Manager (3-year contract), UOB-SMU Asian Enterprise Institute

Assistant Manager/Manager, Alumni Engagement (Office of Alumni Relations)

Executive/Senior Executive (3-year contract), SMU International Office

Research Associate (6-month contract), Lee Kong Chian School of Business

Accounts Executive/Snr Accounts Executive - AR Billing (3-mth contract),OFIN

SCIS Adjunct Lecturer

Research Engineer (1-year contract), SCIS