Mps Jobs

Principal Engineer, MPS, Mobility Rail

Permanent Job

Singapore

5-7 years

8000 - 15000 USD monthly

Systems engineering systems design AFC system architecture tender processes network infrastructure Software Development Networking IT architecture

4 days ago

Cleaning Services Manager

Permanent Job

Singapore

2-5 years

4000 - 4500 SGD monthly

Multi Tasking field service Verbal Communication Skills Active Team Player Service Management Work Well Under Pressure Arranging Team Player Scheduling Operating Systems Service Delivery

11 days ago

Senior Finance and Administrative Assistant

Permanent Job

Singapore

5-7 years

Giro tracking list call centre reports Mps Petty Cash Cashier counter duties

7 days 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

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

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

Sr. Process Engineer

Permanent Job

Singapore

0-2 years

yield Tool filter Rf Investigation Improvement saw details Process cross Product Attitude urgency baw commonality attention Interaction cause root Metrology Discipline Mps Analysis Organized Team Tracking sense Electrical Spc Engineering physics place continuous Integrity Meticulous Electronic Smt departments PICK Equipment data Positive Microelectronics Setup Sites Parametric Performance Big Requirement Integration Quality Function Defect

a month ago

Home

mps Jobs

Top Industry

Job Category

Mps Jobs

Principal Engineer, MPS, Mobility Rail

Cleaning Services Manager

Senior Finance and Administrative Assistant

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

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

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

Research Engineer (contract till 30 Jun 2025), CCLAW

Sr. Process Engineer