Position: Operations Network Engineer
Location: Tanjong Pagar
Working Hours: 8 hours rotating shifts

Job Overview:
The Operations Network Engineer will be responsible for maintaining optimal network performance and security. Key duties include monitoring alerts, troubleshooting network issues, and collaborating with various departments to resolve any identified problems.

Key Responsibilities:

• Timely monitoring and escalation of alerts.
• Troubleshoot and oversee network activity.
• Isolate and diagnose faults, escalating to higher-level support when necessary.
• Collaborate with internal teams to address network issues.
• Proactively monitor data center network systems and connectivity to ensure availability and prevent downtime, coordinating resolutions with vendors or second-level support teams.
• Log and submit problem management records, assigning to the appropriate parties as per guidelines.
• Adhere to physical security protocols.
• Conduct basic troubleshooting on network switches and configure devices.
• Understand customer concerns, maintaining trust and managing expectations effectively.
• Ability to configure switches at height as required.

Qualifications:

• Diploma or Degree in Computer Science or a related field.
• Familiarity with monitoring tools such as SolarWinds or PRTG.
• Knowledge of network devices.
• CCNA certification is required.
• Experience in data center operations or a related area.
• Strong communication skills.
• Must be able to work from height

EA License Number: 11C3017

EA Personnel Number: R21100713

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Find Your Dream Job With Us

WE ARE HIRING !! Apply now and make a difference.

Role: Workplace Technology Solutions Engineer

Job Requisition Number: IGSKA002

Job Level: 6 – 9 years of relevant experience (L3)

Location: Singapore

Job Objectives

We are looking for a Workplace Technology Engineer. The applicant will have a strong background in IT Infrastructure with a strong understanding and at least 5 years’ experience with Workplace Technologies.

Asset Management is a leading Asian asset manager with award-winning investment expertise in fixed income and equities. Headquartered in Singapore, we offer global investment management expertise to individuals, institutions and corporations from a regional network spanning Thailand, Malaysia, Brunei, Japan and beyond. Our comprehensive product suite includes innovative solutions covering retail unit trusts, exchange-traded funds and customised portfolio management services.

Key Responsibilities

· Design and execute the standardization of workplace and infrastructure solution across the group, taking into consideration industry best practices and regulatory requirements.

· Implement and manage workplace technology solutions including end users devices, telephony, collaboration and office productivity tools, managed print. These will include the focus on Microsoft 365 suite, including emerging technologies like Microsoft Co-Pilot.

· Implement and manage network infrastructure such as WAN, Enterprise LAN, firewalls, routers, switches, load balancers, remote access and other network enabling technologies and applications.

· Implement and manage the Service Desk to handle service requests and incidents.

· Drive workplace technology and infrastructure service recovery to reduce system downtime and impact to internal users and external customer.

· Track service providers SLAs.

· Experimentation and recommendation of new workplace technologies. Keep abreast with technology development in the industry and regulators.

Key Requirements:

· Bachelor’s degree in computer science, Information Technology, or a combination of

· More than 5 year’s relevant working experience in managing Workplace Technology and

infrastructure. Financial services industry experience preferred but not mandatory.

· Experience in implementing and managing Microsoft infrastructure (i.e. Microsoft 365), including Active Directory, ADFS, Azure AD, SCCM, end point management tools.

· Familiar with WAN routing protocols, QOS, COS and experienced with Telco’s business and operations and network protocols like DHCP, TCP/IP, and VPN.

· Relevant certifications in Workplace Technology and Networking preferred but not mandatory.

· Strong technical, analytical and engineering competencies with hands-on experience in managing workplace and infrastructure environments.

· Customer and service centric and able to communicate concisely and clearly with non-IT-savvy users.

· Knowledge of ITIL framework and IT service management concepts and Agile methodologies.

Please forward your resume in MS word format to [email protected] and

[email protected]

Please refer to your friends for any IT openings as we have various positions.

Please do not send PDF Format Resume. Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Reporting to the Director of Sales, Domestic, you will be responsible for the revenue generation of assigned portfolios. You will also be expected to develop, service, retain, and acquire new business opportunities.

Duties and Responsibilities:

• Identify sales opportunities and develop new accounts
• Drive sales, monitor and track; and take necessary actions to ensure that goals are met
• Prepare and submit quotations, proposals, and tenders
• Ensure customer orders are processed accordingly
• Manage and grow existing accounts to ensure continuous growth
• Expand market share with existing and new customers
• Enhance value-added selling approach
• Provide quality after-sales service to customers

The Successful Applicant:

• Preferably with a diploma or degree in Mechanical Engineering or equivalent
• Minimum 3 years of working experience
• Experience in Engineering or a related field would be an added advantage
• A team player who is meticulous and able to work independently
• Computer literacy (MS Office)
• Possess own transport
• Salary commensurates with qualifications and experience

We invite interested and qualified candidates to write in with their updated resumes (in MS Word Format) and their current and expected salary.

We regret that only shortlisted candidates will be notified.

About the Opportunity

This role in our Technology squad is embedded in a high caliber, cross functional team that develops and executes our exciting technology strategy to deliver better outcomes for our business and customer.

As a Software Engineer, you will be working with an agile and innovative team and build on your technical expertise with a myriad of technologies, projects and platforms to deliver our business priorities and conquer technical challenges.

What You'll be Doing

• Support the delivery of projects in all aspects of Software Development Life Cycle including system analysis, design, development, quality assurance, UAT, maintenance and ongoing support.
• Contribute to Agile software development lifecycle and be familiar with DevOps processes.
• Develop pragmatic and fit for purpose solutions of high technical quality.
• Work with stakeholders to define and clarify functional requirements and scope to deliver robust cost-effective solutions.
• Maintain software design, engineering processes and quality standards.
• Identifying and addressing bottlenecks in the application or broader infrastructure.
• Assist with ad-hoc duties assigned by Manager.

What We Are Looking for

• Diploma/Degree in Information Technology/Computer Science or related fields.
• 2 years’ experience in full stack software development.
• Required skills: C#, .NET Core framework, Angular.
• Knowledge in DEVOPS, Docker Container, Cloud Implementation, Secured Webservice will have an added advantage.
• Highly collaborative team player, detail-oriented and passionate with technology.
• Ability to thrive in fast-paced, exciting environment.

We regret that only shortlisted applicants will be notified for an interview.

To learn more about our Organization, please visit https://www.alliancehealthcare.com.sg.

• Conduct regular inspections to ensure work adheres to approved method statements and complies with BCA's Good Industry Practice (GIP) guidelines.
• Develop and implement robust QA/QC plans to maintain consistent quality across all phases of the project.
• Monitor subcontractor workers across all trades, promptly identify defects, and ensure proper rectification to meet project standards.
• Effectively communicate non-conformances, corrective actions and preventive measures through the issuance and management of site memos.
• Draw up clear and accurate QA/QC reports and assist in the preparation of QM submissions.
• Arrange and coordinate with BCA for CONQUAS assessments.
• Follow-up and manage all required tests as per contract specifications and Inspection Test Plan (ITP).
• Conduct or participate in inspections at precast and structural steel work facilities (Malaysia and Singapore).
• Facilitate a smooth handover process during inspections and address client defects promptly during the Defect Liability Period.

Requirements:

• At least a Diploma in Civil Engineering or equivalent with 2 years of experience in construction QA/QC.
• Good knowledge in construction quality control/assurance principles and practices
• Excellent skills in construction management software and QA/QC documentation tools.

If you are interested, please send in your updated resume by clicking “Apply now” or email to [email protected]

Lim Siew Hua

Registration Number: R1984199

Workstone Pte Ltd

EA License Number: 19C9998

(Only shortlisted candidates will be notified.)

• Responsible for preparing and modifying precast schematic, detailed, and production drawings for precast concrete components, steel moulds, and reinforced concrete (RC) structures.
• Preparation of 2D and 3D design drawings and presentation
• Develop solutions for technical and design complications with reference to the Singapore’s established standards.
• Responsible for the performance of elementary designation computations and compilation of data.
• Participate in client liaison, authority consultation, coordination with consultants and subcontractors, and design and construction meetings.

Requirements:

• Diploma/Degree in Civil Engineering or equivalent
• At least 2 years of related working experience

If you are interested, please send in your updated resume by clicking “Apply now” or email to [email protected]

Lim Siew Hua

Registration Number: R1984199

Workstone Pte Ltd

EA License Number: 19C9998

(Only shortlisted candidates will be notified.)

SUPERVISE AND COORIDNATION OF SITE WORK

-ENSURE ALL WET TRADE WORK TO BE FOLLOW UP WITH SITE REQUIREMENT

-ABLE TO WORK AS A TEAM LEADER AND COORDINATE WORKS BETWEEN WORKERS OF ALL DIFFERENT COUNTRY

-HAVE BASIC TILING KNOWLEDGE

-ABLE TO TAKE STRESS ON SITE

Job Title: IT Infrastructure & Support Engineer (ID7029)
Location: Clementi
Working Hours: Mon to Fri 830am-6pm
Salary: $4500

As a key member of the IT team, the candidate will be responsible for overseeing and optimizing infrastructure systems across both local and overseas sites.


Key Responsibilities:
• Manage and configure infrastructure systems (Active Directory, data centers, telephony, video conferencing, etc.) and network devices (firewall, VPN, wireless, etc.).
• Ensure automatic system backups, implement disaster recovery plans, monitor resource usage, and apply patches as needed.
• Coordinate with external vendors to ensure Service Level Agreements (SLAs) are met.
• Develop and maintain technical documentation such as admin and user guides.
• Provide technical support to local and international branches, ensuring LAN/WAN security.
• Source products, solutions, and vendors for project needs.
• Offer L1/L2 support and contribute as a team lead or member in various IT projects.

Requirements:
• Singaporean/ PR only.
• Diploma or Degree in IT/Computer Science, or a CCNA certification.
• Proficiency in English and Mandarin is required to liaise with overseas stakeholders.
• At least 1 year of experience in enterprise networking (WAN/LAN, VPN).
• Proficient in managing Microsoft Server, Microsoft 365, and Google Suite.
• Solid knowledge of TCP/IP, DNS, DHCP, Proxy, and Firewall setup.
• Familiarity with Alcatel PABX, FortiGate, Cisco, and Unifi Wireless controllers.
• Strong understanding of CyberRisk, CyberSecurity, and PDPA.
• Experience with Veeam, VMware, UNIX/Linux, API/Web programming, and database management is a plus.

Description

- To support payroll administration for manpower

- To coordinate with Operations Manager and Supervisors on ALL foreign workers matter

- To process foreign worker’s pass application/renewal/cancellation

- Administer foreign worker dormitory process

- To maintain updates on MOM and all relevant authorities measuers and policies

Requirement

- Familiar with TIMES Payroll (must)

- Well versed in excel (v-look up & pivot is a must)

- Willing to work in a very fast and dynamic environment

- Degree in Business preferred

- Able to converse in English and Chinese

- Mnimum 3 years experience in construction background

1. Produce design concepts (Concept Corners/ Commercial Interiors)

2. Develop and produce completed sets of shop drawings, as-built drawings for design development, detailing and construction documentation.

3. Presenting concept visualization through sketches, drawings and illustrations.

4. Overseeing design changes and improvements throughout the development process.

5. Integrating technical and visual solutions into a design concept

6. Understanding trends within the scope of the industry they are working in

Hiring drivers with class 4 and Bus Driver Vocational Licence. Drive 40-49 seater manual / auto, for workers trip and shuttle services. Must maintain bus cleaniness and puntuality

We are seeking a dynamic Marketing Manager with expertise in the China market to join our growing team. The successful candidate will have a deep understanding of Chinese business culture and consumer behavior, and will play a pivotal role in driving marketing strategies and strengthening relationships with our Chinese clients.

Key Responsibilities:

• Develop and execute marketing strategies to engage with clients in China.
• Build and maintain strong relationships with Chinese clients and partners.
• Act as a key liaison between the company and clients in China.
• Analyze market trends and consumer preferences in China to tailor marketing campaigns.
• Collaborate with internal teams to ensure marketing goals are aligned with business objectives.
• Plan and attend business meetings, events, and promotional activities in China.
• Travel to China up to 50% of the time to meet with clients and attend key events.

Qualifications:

• Knowledge in Marketing, Business, or related field.
• Proven experience in marketing or client management, preferably in the Chinese market.
• Strong understanding of Chinese culture, consumer behavior, and business practices.
• Fluent in Mandarin Chinese and English (spoken and written).
• Excellent communication, negotiation, and relationship-building skills.
• Willingness to travel to China frequently (approximately 50% of the time).
• Familiarity with digital marketing strategies and tools in China (WeChat, Baidu, etc.) is a plus.

What We Offer:

• Competitive salary and benefits package.
• Opportunity to work in a fast-growing, international environment.
• Exposure to exciting markets and high-level clients.
• Professional growth and development opportunities.

Job Description & Requirements

• Inspecting construction sites regularly to identify and eliminate potential safety hazards.
• Supervising and instructing the construction team as well as subcontractors.
• Educating site workers on construction safety regulations and accident protocol.
• Enforcing site safety rules to minimize work-related accidents and injuries.
• Handling site accidents in accordance with established accident protocol.
• Maintaining an accurate record of construction employee attendance.
• Evaluating the performance of construction employees and instituting disciplinary measures as needed.
• Analyzing blueprints to ensure that construction projects meet design, safety, and budget specifications.
• Recommending changes to construction operations or procedures to increase efficiency.

Description:

• Perform loading/unloading duties at the aircraft
• Physically fit and able to lift loads up to 15kg
• Collect, load, check and hand over meals and catering items to crew for freighter flights
• Marshaling the vehicle while approaching near to the aircraft and reversing
• Any other duties assigned or instructed by the supervisor

Requirement:

• Able to read, write and communicate in English
• A valid Class 3 driving license would be an added advantage.

Job Description & Requirements

• Process a Class 4 driving license and experience to drive a 20ft lorry.
• Picking & packing & ensure timely deliveries of goods to customers.
• Able to work closely with a team of Warehouse Personnel.
• Check goods to ensure there is no discrepancy in quantity and no damange before loading onto the lorry.
• Other ad hoc assignment as assigned.
• Must be able to carry bulky and weight goods