Total 1,150 Education / Training job vacancies in 1 Crossgates Mall Road Space C-202 Albany, NY 12203

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

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 your domain 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 prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements 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 multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with 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 be expected to actively participate in team meetings and text-based communications. You will be expected to be active 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 through community 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 Engineering

Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

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

Formal Verification and Specification Languages

Some 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 (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

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

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 Flora-2 Datalog Answer-Set Programming 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

• Design and implement AI for software engineering solutions.
• Conduct evaluations and/or user studies to validate the effectiveness of algorithms and solutions.
• Write and publish research papers and present them to reputable academic conferences.
• Package the documents, implementation code, evaluation results for release.
• Liaise with other team members.

• PhD degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Excellent research experience, evidenced by at least 5 first-authored publications in major/top software engineering conferences and journals, including at least 2 in top-tier publication venues.
• Excellent knowledge about AI for Software Engineering.
• Highly fluent in Python.
• Highly competent in designing and implementing algorithms and data structures.
• Excellent analytical, technical and problem-solving skills.
• Self-motivated individual who can work independently and collaboratively with team members.
• Able to work under strict deadlines.

#LI-JN2

Job Description & Requirements

• To provide quality yoga classes to ensure clients enjoy a positive and inspiring training experience every time they attend group yoga classes at Platinum Yoga.
• Be able to deliver different class programs/class formats.
• Knowledgeable in group yoga instruction and coaching.
• Watch clients do yoga to ensure that they are using the correct techniques.
• Be motivating and able to give clear instructions.
• Connect with clients during the yoga classes through fun, intelligent sequencing.
• Minimum 6 months to one year of experience in teaching group yoga classes.
• Minimum of 200 hours of experience.
• CPR/First Aid certification (preferable).
• Education or experience in health and fitness (preferable).

Please email your resume to hrdept@platinumyoga.sg . Only shortlisted candidates will be notified.

• Liaise with clients about the nature of the research to be carried out
• Design and manage a research project independently
• Programming of SPSS templates, syntaxes for capturing of data, excel macros
• Creating a data coding frame / coding
• Manage and execute analysis type projects (e.g. when data is provided by client / data-mining in big data)
• Data analysis based on project specifications (e.g. cross-tabulations, custom-tables, pivot tables, significance testing, multivariate analysis, matrix analysis, discriminant analysis, parametric and non-parametric tests etc.)
• Data cleaning and vetting
• Prepare and finalise reports for both qualitative and quantitative in PowerPoint / Word / Excel

Job Requirements

• Bachelor degree in Business, Science or Social Sciences
• Applicants with diploma and related experience may apply
• Organization skills, aptitude to work in teams to meet deadlines
• Good analytics skills and aptitude for data
• Proficiency in Microsoft Office (Excel, Power-point), experience with SPSS is an advantage.
• Knowledge of data analysis (statistics and/ or econometrics)

The Role

Astor International School is recruiting for a teacher assistant. The successful candidate will have previous experience working with primary ages children. Experience with students with specific needs is a bonus.

The Context

Astor opened in August of 2019 to provide quality, affordable education to international students. Astor provides a focused and creative learning environment that specifically grows student understanding in English, math and International Primary Curriculum, whilst embracing the humanities, science, art, music, dance and drama as an important too in which to explore thinking and learning. By being intentional in our program, students finish at 1pm, allowing them the time needed for external coaching, training and programs that have otherwise not been accommodated for in extended school days.

Main Working Relationships - The Principal / Classroom Teacher

We endeavour to provide a close, nurturing, family environment where staff work closely together as a team. Planning and working together collaboratively; with students, parents and staff in partnership to create a dynamic and vibrant learning environment. The Teacher Assistant role will be to support and maintain the school culture and environment, working with the Principal and teachers.

Specific duties and responsibilities

- Working with all children either in small groups or 1 to 1.

- Working with students with specific needs.

- Communicate with classroom teacher’s student information that is necessary to monitor student progress.

- Supporting classroom teachers with lesson preparation and any support they need to fill full their teaching.

Pedagogy

- Have a student-centred pedagogy that leads their practice and gives students the ability to construct and co-construct learning in a personal and collaborative environment.

- Builds healthy and nurturing relationships with all students in their care with the outcome in mind to build students as life-long learners.

- Support students in becoming independent learners.

- Provides appropriate and actionable feedback to learners.

Curriculum

- Assists with lesson planning, materials preparation

- Assists with preparing, organising, categorising and maintaining teacher resources.

- Available to support all primary grades in the school

An integral member of a supportive, collaborative and vibrant school environment

- Committed to and actively creating an environment that is supportive, positive and respectful.

- Ensures that the classroom and school’s physical environment is one that reflects the values and vision of the school, whilst celebrating learners and the learning process.

- Nurtures positive relationships within the whole school community.

Other duties and responsibilities

- Before school, morning and lunch duty.

- Extra Curriculum Activity (ECA) support.

- Upholding a high level of presentation and personal and professional conduct.

- Contributing to the corporate life of the school through effective participation in meetings and management systems necessary to coordinate the management of the school.

- Any other reasonable request from management or administration to undertake work of a similar level that is not specified in this job description.

Qualifications and Experience

- Native English speaker.

- Experience in working with students in primary years.

- Experience working in international schools.

- Experience with a holistic approach to Education.

- Must be able to work in Singapore

Our school is committed to safeguarding and promoting the welfare of all the students in our care and expects all applicants to share this commitment. We follow safe recruitment practices and all appointments are subject to interview, satisfactory references, and identity and criminal record checks.

Please email your cover letter and resume to Ms. Rachel rachel@astor.edu.sg. We look forward to receiving your application.

*Please note that only shortlisted applicants will be contacted.

Company Description

OOM Institute, an extension of OOM Marketing Agency, has broadened its scope to become a premier educational platform. It provides in-depth courses, workshops, and consultancy services tailored to enhance professionals' expertise in digital marketing.

Roles & Responsibilities:

Admin and Operations

• Conduct administrative and operational tasks of the Training Centre
• Liaise with learners, trainers and related departments & organisations to ensure programmes run smoothly
• Manage administrative work (Attendance, preparation of course materials and course enrolment process etc)
• Coordinate and oversee training schedules to ensure adherence to SOPs
• Supports and contributes to the company's continuous improvement and training programs.

Learner’s Management

• Collaborate with the sales and marketing team to execute effective strategies for promoting training courses and maximizing enrollment rates.
• Build and maintain strong relationships with learners, to achieve high customer satisfaction
• Provide quality customer experience through understanding of their queries and needs through email, walk-in and calls
• Ensure that all customer enquiries or feedbacks are satisfactorily managed, resolved and closed within agreed timeframe
• Facilitate effective learning experiences for participants

Job Requirements:

• Possess a Diploma or Degree in any discipline
• Customer-oriented with good interpersonal and communication skills
• Motivated team player with pleasant personality, positive working attitude and determination to learn, achieve and excel
• Experience in customer service or contact centre will have an added advantage
• Good analytical, planning and organizational skills and ability to work independently.
• Willing to work on weekends and/or public holidays.
• Computer literacy e.g. Excel, PowerPoint, MS Word, Google Docs, Sheet

Interested applicants may send your updated resume to +65 8068 2355 or by clicking "Apply". Only shortlisted candidates will be notified.

1) Job Role

• This role supports the HR Manager in administering the company's policies and handles the hiring processes. This includes on-boarding and off-boarding practices, foreign worker administration and liaising with agencies on employment requirements.

2) Job Description

• Coordinate and conduct the administration, recruitment, employment relations, medical coverages and training of employees for the organisation in alignment with the organisation’s strategies and policies and procedures and directions of higher management
• Prepare and monitor employment contracts, pre-employment medical check-up and submissions of security screening details to governmental agencies
• Facilitating new hires on-boarding orientation and conduct periodic check-in sessions
• Create new hire records such as Staff Personnel File and profile creation via the HR system
• Process new hire and employee’s staff pass, name stamp and name cards
• Monitor the probationary period of new hires and obtain the confirmation recommendation letters from respective supervisors for management approval
• Conduct the off-boarding process such as exit interviews, handover, final settlement of last drawn salary and archiving staff personnel file documents
• Administer the foreign worker matters such as liaising with recruitment agencies on foreign worker manpower needs for the organisation, work permit applications and renewals, coordinate the submission of 6 monthly medical examinations (6ME) and repatriation matters
• Liaising with government agencies (ie;MOM/HDB) concerning Other Converted Living Quarter (OCLQ)
• Coordinate career fairs and road show campaigns and network with agencies and organisations for internship and recruitment opportunities
• Regular update of employment records via HR system
• Handle employee and department enquiries pertaining to employment matters, policies and procedures
• Conduct investigations and submit reports on employee grievances
• Manage the administration for Cab Charge matters for respective centres
• Raise the Material Service Requisition Form (MSRF) for any expenditure matters
• Carry out any other tasks assigned by the HR Manager and higher management

3) Candidates Requirement

• Bachelor’s Degree in Human Resource or Business Management or Administration
• 1 year of experience in the relevant field
• Familiar and experience working with HRM systems
• Excellent interpersonal, verbal, and written communication skills
• Ability to coordinate and work as a part of the team.

Nanyang Academy of Fine Arts (NAFA), University of the Arts Singapore, an esteemed arts institution with a global reputation seeks an administratively strong Research Executive at the Institute of Southeast Asian Arts (ISEAA).

Since its establishment in April 2010, the Institute of Southeast Asian Arts (ISEAA) has facilitated in-curricula assimilation of Southeast Asian arts with contemporary arts training at Nanyang Academy of Fine Arts (NAFA). The study and research of Southeast Asian arts has positively influenced the multidisciplinary nature of art studies here at NAFA, accumulating a growing resource of ideas and innovations that include outcomes from 3D Design, Design & Media, Fine Art, Arts Management, Fashion, Theatre, Dance, and Music.

Key Responsibilities

The key responsibilities of the incumbent would involve researching and developing digital frameworks within which archives and live material research can be activated, including metaverse and online interface. You are also expected to innovate and initiate new research paradigms for such platforms to facilitate learning outcomes from academic programmes involving ISEAA content and projects.

In addition, you are required to support and assist in the discharge of administrative functions pertaining to the execution of E&A programming (such as the annual SEA Arts Forum, Exhibitions, Artist in Residence and Performing arts Principals) and management of the archival microsite as part of ISEAA purview.

The role includes assisting communications with relevant academic and administration departments on the delivery of academic outcomes involving ISEAA content and projects, as well as performing other ad-hoc duties as required in support of or relation to the activities of partner teams contributing to the outcomes of ISEAA.

Requirements & Qualifications

1. You should possess a Minimum Degree in Arts and demonstrate knowledge of Arts & Humanities, with a minimum of 2 years of relevant working experience.
2. To succeed in this role, you should also be proficient in MS Office Suite and IT savvy in gaming suite, digital applications and relevant technologies for online learning and delivery.
3. The ideal candidate should possess a strong command of both English and at least one Asian language, as the incumbent will be responsible for reviewing and writing materials for publications, catalogues, and other written content. A deep interest in the arts and culture will be an added advantage to effectively contribute to the role.
4. You should be resourceful and proactive in addressing issues, possess good organisational and coordination skills, and be a team player with excellent communication and interpersonal skills.

If you have a passion for the arts, we encourage you to apply. This is your opportunity to be part of NAFA in our season of global recognition and to shape the future of arts education in Asia.

Nanyang Academy of Fine Arts (NAFA), University of the Arts Singapore, an esteemed arts institution with a global reputation, seeks an innovative & seasoned Senior Lecturer at the School of Fine Art (SFA).

NAFA’s pioneering Fine Art programme’s vision is to nurture empathetic artists and creative practitioners who are equipped to lead and shape the local and regional art scenes.

In this vital role, you will be engaged with students to experience a mix of traditional and contemporary approaches, gain exposure to 2D, 3D and 4D mediums, as well as to foster an abundance of opportunities for students to cultivate professional development with industry partners. Through this investigative approach to teaching, your aim is to hone students' technical skills, enhance their creativity, and foster critical reflection, enabling them to develop their unique artistic voices and visual language within a Southeast Asian context.

Main Roles and Responsibilities

The role involves managing and overseeing the delivery of postgraduate modules, focusing on both research and studio skills. You will deliver approximately 18-24 contact hours of teaching per week, demonstrating a high level of pedagogical competence.

This includes teaching Fine Art modules (Degree), covering studio practices, research methodologies, and industry-relevant skills. Additionally, you will support Fine Art studio modules (Diploma), contributing to both practical instruction and the teaching of art history and theory as needed.

A key part of the role includes contributing to curriculum development, conducting program reviews, and designing learning materials to ensure academic excellence. You will supervise and assess student projects, while also organizing and coordinating artist talks, residencies, trips, seminars, conferences, exhibitions, and other related events to enhance the learning experience.

In addition, you will be responsible for monitoring student progress and providing career guidance, while offering pastoral care and empathetic support to ensure students' overall well-being. Establishing and maintaining strong industry and institutional links is also critical to integrating academic knowledge with real-world industry practices, providing students with valuable professional connections and insights.

Requirements & Qualifications

• You should possess a PhD with a minimum of ten years of teaching experience and a background in the contemporary art industry, either through permanent or fractional contracts
• In addition, you should also demonstrate an interdisciplinary and transdisciplinary approach to both teaching and practice, with a strong interest and a creative or research portfolio focused on the Southeast Asian context.
• A proven track record in research, knowledge exchange, or professional practice that advances the field of Fine Art and aligns with the objectives of the School and Academy is essential.
• To excel in this role, you must also employ effective pedagogical methodologies tailored to postgraduate-level teaching, utilizing innovative and reflective approaches to inspire learning, with a strong commitment to promoting equality, diversity, and inclusivity in teaching, assessment, and feedback processes.
• Moreover, demonstrating a positive, enthusiastic, and inspiring attitude would be vital, with the ability to engage students and understand the diverse experiences they bring to the Fine Art course.
• Proficiency in both written and spoken English is required, with knowledge of a second language being an added advantage.
• A team player with strong interpersonal skills to build and maintain relationships with diverse stakeholders, including academics, educators, artists, and cultural leaders, is a pre-requisite.

If you have a passion for the arts, we encourage you to apply. This is your opportunity to be part of NAFA in our season of global recognition and to shape the future of arts education in Asia.

Duties and Responsibilities

• Responsible in carrying out routine checks on vehicles and ensure the vehicle is in a working condition.
• Responsible in driving safely to instructed locations in a timely, safe and courteous manner.
• Responsible for ferrying residents to and from school.
• Responsible in arranging for maintenance services of the vehicle and vehicle inspection.
• Ensure the vehicle is kept perfect and clean at all times by washing both the inside and outside parts of the vehicle
• Ensure accurate and complete record in Vehicle Log Book.
• Ensuring timely services, issuing fuel, recording log-books and maintenance and repair/recovery of vehicles.
• Ensure timely conveyance of staff and materials to and from places as instructed by supervisor or the manager.
• Report any case of accident, injury or damage of vehicles to the Deputy Head (Operations) immediately.
• Keep all records, including receipts for vehicle maintenance (if any).
• To carry out any other relevant tasks as required for the Home and PERTAPIS.

Job Requirements

• ‘N’ Level / ‘O’ Level
• Possess a valid class 4A driving license
• Possess a valid vocational license
• Good interpersonal skills, matured and have genuine passion to work with young children

Location & Working Hours

• Shortlisted candidate will be based at the following place
• at PERTAPIS Children’s Home (PCH)
• 993B Kovan Road
• During school term, Mon – Fri: 6.15am to 5.00pm / Non-school term, Mon – Fri: 9.00am – 5.00pm
• Alt Saturday, Mon – Fri: 9.00am – 1.00pm

*Disclaimer: Only shortlisted candidates will be notified.

At Suntory Beverage and Food, we boldly move forward together to realize the dreams of becoming a world-leading next-generation global beverage company.

SBFI are about to undertake a large global transformation (FUSION). The vision and purpose are to fuel growth by simplifying and uniting common processes, data & technology helping to increase efficiency and scalability, as One Suntory. This includes the implementation of SAP S/4HANA, Centralising Master Data Management, and development of new operating models or evolving existing ones where needed.

You are an important part of this and here’s how you can help us win as SBFI Transformation Training Partner:

• Prepare a global training strategy & plan, and support Regional and local teams to execute that consistently.
• Provide both strategic thinking but also hands-on execution as part of the Fusion Change Management team.
• Own Training Needs Analysis and end-to-end execution of the training at a global scale (working closely with Regional and Market teams and our IBM partner with overall accountability for the plan).
• Ensure that as we go live with our various phases and implementations the teams are ready to adopt the new system, processes, and ways of working. This will be a joint effort between training, comms and regional transformation and change leads.
• Bring learning and development expertise to ensure we have an end-to-end plan that is well executed (comms to build awareness, participants identified and invites sent, highly effective training materials created, robust Train the Trainer rollout, effective measurement of KPI's and ROI, and standard best practice regarding documentation, versioning, accessibility etc).
• Contribute to a new way of working for our teams that will enable us to be more effective and efficient as an organisation, and meet the future ambitions of SBFI.

How you add value?

• Training Strategy & PlanBuild a global training strategy and plan linked to overall Project Fusion Change Management timelines and key project milestones – and build awareness and desire around this.
  Set clear targets and KPIs with measurable ROI.
  Work closely with Digital Core team on technical training requirements but also capture other changes from Change Impact Assessment as inputs into Training Needs Analysis (TNA).
  Incorporate Gemba insights from different Regions to ensure we meet their needs in a meaningful way.
  
• Training ContentIBM will create the technical content with our Digital Core team but you as the Training Partner will need to develop effective Gemba focused scenarios that require the audience to apply their knowledge and demonstrate understanding and competence.
  You need to ensure accurate branding and templates used consistently across all training materials; partner with Markets on translations, etc.
  To maximise relevance and effectiveness of training material, leverage digital to ensure content is easily updateable.
  Relevant guides to be produced if needed to update technical solutions (e.g. shorter User Guides).
  
• Training ExecutionPartner with representatives from across the organisation, including CM Leads, GPOs, Functional SMEs, P&C teams to align and monitor the delivery of training solutions.
  Ensure trainings are scheduled for all key audiences at the right time from Senior Leaders to all impacted end users across all functions (even if some of those sessions are managed by others).
  Build a training community (or leverage existing communities) among P&C and Functional SMEs to ensure effective training delivery.
  
• Training MeasurementCollect feedback from participants and ensure we have consistent training measures (think: reaction, learning, behaviour and results).
  Track all sessions and build improvements based on feedback.
  Ultimately ensuring all the actions contribute towards change readiness around speed of adoption, utilisation, and proficiency.
  Collaborate closely with Regional Change Management Leads to ensure we share regular updates and take joint actions.
  

What you bring to the table?

• Experience to develop and drive training programmes for transformation projects
• Collaboration and relationship management with various stakeholders
• Project and change management experience
• Future oriented and Gemba focused approach to ensure experiences are meaningful
• Completer-finisher mindset
• Ability to navigate through ambiguity
• Cultural sensitivity and international experience a plus
• Experience to develop and drive technical training programs covering multiple countries and functions
• Experience in running training programs for hard technical skills for end users at a multi-country scale