Job Description:

• Serve as the point of contact for clients and communicate with them by phone and email to respond to questions and requests. Answer client questions about property facilities/services.
• Generating reports, preparing proposals, coordinating with clients & suppliers.
• Prepare sales-related documents throughout the sales process (e.g., proposals, contracts, banquet event orders, CVGR letters).
• Gather materials and assemble information packages (e.g. brochures, promotional materials, sales demo kit, welcome kit, souvenir etc.).
• Assist the sales team by managing schedules, filing important documents and communicating relevant information. Arrange and co-ordinate meetings, events and any appointments.
• Record, transcribe and distribute minutes of meetings.
• Meets with clients in the absence of the Director of Sales or Sales Managers; perform hotel site tours with potential clients.
• Print Daily Sales reports for each sales manager and submit to the Director of Sales.
• Print Sales manager productivity reports for each sales manager and submit to the Director of Sales.
• Ensures all documents produced by the Sales Department (i.e. contracts, rooming lists, proposals) are completed accurately and on time.
• Respond to complaints from customers and give after-sales support when requested.
• Ensure the adequacy of sales-related equipment or materials are available at all times.
• Other duties as assigned by the Director or the management.

Job Requirements

• Min GCE 'O' Levels
• Candidate with relevant experience working in a hotel, clerical or sales will be added an advantage.
• Entry level candidates are welcome to apply, training will be provided
• Good computer skills and excellent customer service skills.
• Friendly, customer centric and able to work in a team environment.
• Proficient in the use of Microsoft Office (Word, Excel, PowerPoint)
• Short notice or immediate available will be added an advantage.

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

Job Description:

• Greet guests and attend to enquiries
• Visitor registration and scheduling appointments
• Provide administrative support to the department
• Assist pharmacists and senior pharmacy technicians in handling routine task in pharmacy administration
• Prepare statistics and reports for supervisors
• Any ad hoc duties as per assigned

Job Requirement:

• Minimum GCE O Level
• Can commit minimum 2- 3 months
• Training provided

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button.

** We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities.**

**JobStudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties. Please be aware of scams impersonating JobStudio and our employees. You may call our office directly for verification. We will not be liable for any loss arising from scams.**

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

This position is an entry level to the audit profession. The candidate is to support and assist the team leader in the execution and delivery of assurance engagements.

Responsibilities:

To support team leader in the audit process

To resolve review points raised by the team leader

To identify accounting and audit issues and consult team leader

To produce clear and concise audit working papers and documentation

To provide job progress update and ensure the assigned tasks are completed

Requirements:

Diploma holders or graduates in Accountancy/ACCA

Responsible with good work attitude and integrity

Good communication and interpersonal skills

Fast learner and resourceful with good logical and analytical thinking skills

Able to work well in a team as well as independently

Duties and responsibilities:

- Report to the Administrative Manager.

- Perform general administrative duties to ensure the smooth running of the office operation, such as sourcing and maintenance of office supplies and utilities, and maintaining the office calendar.

- Cover the reception area during the receptionist’s absence and lunch break. Eg. Answer phone calls, and attend to visitors.

- Prepare business letters, reports and office memos.

- Assist in planning and scheduling office maintenance needs.

- Assist in applications or subscriptions of utilities and other services, including form fillings, document submissions, contract proofreading and other follow-up matters.

- Assist in a wide range of travel arrangements for staff､ suppliers and clients､ etc., including but not limited to travel document application or renewal, obtaining letters of invitation where applicable, flight､ accommodation and transportation arrangements, making enquiries to address travel-related concerns, and coordinating travel arrangement with multiple parties, working outside office hour whenever necessary.

- Communicate with Admin staff outside Singapore and other counterparts effectively on daily matters.

- Assist in company events from planning to execution.

- Assist in the implementation and follow-up of Safe Management Measures.

- Assist in all general ad-hoc duties.

- Carry out other duties and responsibilities assigned by the Company from time to time.

Requirements:

- Minimum 2 years of relevant working experience

- Diploma in Business or a diploma in a related field

- Fluent in spoken and written English

- Enthusiastic

- Excellent interpersonal skill

- Ability to prioritize tasks

- Ability to work under stress and a tight timeline

Perks and benefits:

Medical

Dental

Group Employee Insurances

ASPINE Wellness is looking for a dedicated Clinic Assistant to support our team in delivering top-quality spinal care. The Clinic Assistant will assist healthcare professionals with patient care, treatment preparation, and administrative tasks. This role requires attention to detail, excellent communication, and a patient-centered approach to ensure a smooth and positive experience for everyone in our clinic.

Key Responsibilities:

• Assist with patient intake and treatment setup
• Provide support to chiropractors and therapists during procedures
• Maintain cleanliness and organization of treatment areas
• Manage patient records and assist with scheduling
• Ensure a comfortable and welcoming environment for patients

Assist on achieving marketing and sales operational objectives by contributing marketing and sales information and recommendations to strategic plans and reviews; preparing and completing action plans; implementing production, productivity, quality, and customer-service standards; resolving problems; completing audits; identifying trends; determining system improvements; implementing change.

Assist on meeting marketing and sales financial objectives by forecasting requirements; preparing an annual budget; scheduling expenditures; analyzing variances; initiating corrective actions.

Determines annual and gross-profit plans by forecasting and developing annual sales quotas for regions; projecting expected sales volume and profit for existing and new products; analyzing trends and results; establishing pricing strategies; recommending selling prices; monitoring costs, competition, supply, and demand.

Accomplishes marketing and sales objectives by planning, developing, implementing, and evaluating advertising, merchandising, and trade promotion programs; developing field sales action plans.

Assist on identify marketing opportunities by identifying consumer requirements; defining market, competitor's share, and competitor's strengths and weaknesses; forecasting projected business; establishing targeted market share.

Assist on improving product marketability and profitability by researching, identifying, and capitalizing on market opportunities; improving product packaging; coordinating new product development.

Provides information by collecting, analyzing, and summarizing data and trends.

Protects organization's value by keeping information confidential.

Updates job knowledge by participating in educational opportunities; reading professional publications; maintaining personal networks; participating in professional organizations.

Accomplishes marketing and organization mission by completing related results as needed.

Able to read, write and speak Chinese

Able to work long hours

As our Assistant Manager, you will assist the Senior Roadshow Manager in managing the team of promoters and to lead by example, inspiring and guiding the team to deliver outstanding service and achieve sales targets. You will also be responsible for prospecting potential clients.

Responsibilities

• To reach out and engage the general public
• Lead and motivate team to drive delivery of consistent high standards of performance and behavior
• Consult with prospect and convert possible leads into businesses
• Pursue sales opportunities and close the deals effectively to meet target set by the Company
• Be a positive representative of the company and its brand by conducting all activities with professionalism and integrity
• Training and onboarding of new Roadshow promoters
• Planning of work schedule for the team
• Liaise with vendors
• Any other ad-hoc duties assigned

Requirements:

• Minimum 3 years of relevant experience with supervisory & management experience
• Proven ability to engage and handle customers’ queries
• Basic PC knowledge
• Strong communication and interpersonal skills
• Outgoing and friendly personality
• A great team player

AccAssurance LLP

About the Company

We are a fast growing and dynamic boutique public accounting firm providing accounting, assurance, corporate secretarial, tax and business advisory services. We are also approved training employers under the ACCA, ICAEW and SCA Schemes.

In AccAssurance, we believe in supporting and helping our staff to become competent and effective in their work. We also believe that it is possible to achieve work life balance through sufficient planning and tapping on technology to do things more efficiently.

You can look forward to a challenging, yet satisfying and practical experience in our public accounting practice as our staff get to take on and experience other job roles to build their professional skill-sets beyond those of a traditional accountant.

We are located at Rochor area. Visit www.accassurance.com.sg for more information about us.

Tax Assistant / Associate

Your professional designations are as follows:

i. Tax Assistant -> Corporate Services Executive

ii. Tax Associate -> Corporate Services Senior Executive

Job Description:

• Work on tax and related assignments under the supervision of seniors, managers and partners to ensure that assignments are executed based on the relevant professional requirements and on a timely basis.
• Assist to prepare corporate and individual tax computations and returns
• Analyse data to aid the drafting of tax advice to the client or management
• Working as a team member by sharing responsibilities, providing support and maintaining communication with colleagues on an effective and efficient basis
• Responsible for day-to-day administration and compliance for various tax matters
• Developing and maintaining professional relationships with clients.
• Assist in the non-tax services of the public accounting practice, of which the Company is part of, on a “need to” basis

Job Requirements:

• Degree in Accountancy or tax qualification or a professional qualification under the ACCA, ICAEW, SCA and SIATP
• Proactive, committed and a team player
• Possess professional qualities with good communication and interpersonal skills
• Possess initiative and ability to work independently
• No experience required

Benefits:

• Approved Training Organisation (ATO) by ACCA & SCAQ
• Flexible Working Arrangements (FWA)
• Training you to become a professional auditor/ accountant/ business advisors through on the Job trainings
• Challenging and fulfilling career growth
• Dynamic working practices and environment
• Unlimited pantry access (while stock last)

Write in to us with your latest resume, expected salary and attach a recent photograph to [email protected]

We regret that only short-listed candidates will be notified.

Jenga Corp wishes to hire an Assistant Business Consultant.

Interested applicants MUST apply by resume and cover letter through emailing [email protected]. We MUST receive an email application from you in order to consider you.

About the role:

• Manage and grow assigned account base and business segments;
• Understand and gather clients’ requirements, analyse, design and implement business performance approaches, develop tailor-made solutions;
• Work closely with clients to ensure positive impact and sustainable results;
• Manage and ensure clients are compliant with relevant statutory and regulatory requirements;
• Manage and mitigate risks;
• Maintain a strong understanding of the competitive landscape, industry trends and emerging technologies in the blockchain and cryptocurrency space;
• Research, business analysis and process re-engineering based on industry’s best practices and accelerators;
• Manage client files and update information daily in accordance to the Company’s policies and procedures;
• Identify and establish partnerships with key stakeholders, industry associations to drive user acquisition and brand awareness
• Monitoring and reporting of personal sales activities and performances;

You should have:

• Outstanding problem-solving skills with demonstrated ability to identify business issues, conduct analyses and synthesise conclusions into recommendations
• Strong general business acumen, broad understanding of current Finance trends and technologies, their impact on business strategy;
• Positive attitude, driven and ready to take on challenges;
• Meticulous attention to detail and follow-through; perform tasks with high degree of accuracy and efficiency with the ability to meet deadlines;
• Ability to work independently, to take initiative and to overcome obstacles;
• Ability to successfully manage competing priorities, keeping constant sight of the overall objectives;
• High degree of flexibility in a demanding, fast-paced and frequently changing environment;
• Strong service orientation in responding to customer needs;
• Excellent oral and written communication skills (both in English and Chinese to better manage the clients);

Interested applicants MUST apply by resume and cover letter through emailing [email protected]. We MUST receive an email application from you in order to consider you.

Koelnmesse, founded in Cologne, Germany, is one of the world's largest trade fair companies since 1924. With over 80 annual international trade fairs and conferences organized worldwide, Koelnmesse is the leading trade fair organizer across the following sectors: Food and Food Technology; Technology, Digital Media and Entertainment; Health, Lifestyle and Facilities and more. Koelnmesse Pte Ltd, established in Singapore since 2002, is one of the key subsidiaries managing the trade fairs and conferences in the Asia-Pacific region.

Essential Roles and Responsibilities:

Payroll Management:

• Process payroll accurately and on time for all employees in Singapore, Taiwan and Hong Kong.
• Ensure compliance with payroll regulations and company policies.

Standardization of HR Practices:

• Assist to develop and implement standardized HR policies and practices across various countries.
• Ensure that local laws and cultural nuances are considered while maintaining global consistency.

Recruitment:

• Collaborate with hiring managers in various countries and help in the recruitment process.

Performance Management:

• Support performance appraisal processes and provide guidance to managers.

Others:

• Help to organize social events, team buildings, trainings, townhalls, etc.
• Some administrative work

Requirements:

• Bachelor’s degree in Human Resources, or a related field.
• 5 years working experience in human resources, payroll experience is a must.
• Strong knowledge of HR practices, employment laws, and payroll regulations.
• Ability to clearly convey information, both verbally and in writing.
• Excellent interpersonal skills, able to build relationships and interact with employees at all levels and in various countries.
• Strong ability to manage multiple tasks and projects efficiently.
• Precision and confidentiality in handling employee records, payroll, and compliance matters.
• Positive attitude and interest in the exhibition industry.

Come join us to express your Andaz as Event Planning Assistant Manager if the following describes you.

You are a passionate yet patient individual who enjoys creating memorable experiences for your event clients. You believe that the sky is the limit and always strive to go the extra mile for customer satisfaction. You welcome challenges with open arms and excels in communicating with different teams.

Your Profile

• Minimum 3 years of recent work experience in Event Planning within the hotel or events industry.
• Computer literacy in MS Office and Outlook is a must. Prior knowledge of any CRM system, e.g. Opera, Delphi, will be an asset.
• Keen eye for details; creative problem-solving attitude; strong time management; and adaptable interpersonal skills.
• A relevant degree in Hospitality or Tourism Management will be ideal.

** Please note that this is a local packaged position and we regret that only shortlisted candidates will be notified **

AccVisory Pte Ltd

About the Company

We are a fast growing and dynamic boutique public accounting firm providing accounting, assurance, corporate secretarial, tax and business advisory services. We are also approved training employers under the ACCA, ICAEW and SCA Schemes.

In AccVisory, we believe in supporting and helping our staff to become competent and effective in their work. We also believe that it is possible to achieve work life balance through sufficient planning and tapping on technology to do things more efficiently.

Over the years, we have incorporated new technologies, such as robotic process automation (RPA) into our work areas so as to get ourselves future-ready for opportunities in professional services afforded through digitalisation.

Working here gives you an opportunity to acquire new and emerging skill-sets, such as digitalisation, accountancy advisory or data analytics that are associated with the evolving role of an accountant.

You can look forward to a challenging, yet satisfying and practical experience in our public accounting practice as our staff get to take on and experience other job roles to build their professional skill-sets beyond those of a traditional accountant.

We are located at Rochor area. Visit www.accvisory.com for more information about us.

Accounts Assistant / Associate

Your professional designations are as follows:

i. Accounts Assistant -> Corporate Services Executive

ii. Associate -> Corporate Services Senior Executive

Job Description:

With supervision from the senior, managers and partners, your primary focus is to ensure that the accounting, corporate secretarial, tax and related assignments are executed based on the relevant professional requirements.

You will have the opportunity to use of robotic process automation (RPA) technology to prepare reports and schedules that are to be delivered to the clients and other external parties.

You shall be responsible to prepare the following deliverables for clients and other external stakeholders:

1. Full set of management accounts, unaudited financial statements or consolidated financial statements and business activity reports
2. Perform financial accounting and corporate reporting activities;
3. Prepare and submit GST return and tax computations

You will also contribute as a team member, assuming shared responsibilities, providing support and managing effective communication with fellow colleagues on a regular basis.

Finally, you are responsible for developing and maintaining professional relationships with clients.

Job Requirements:

● Diploma/Degree in Accountancy or a professional qualification under the ACCA, ICAEW and SCA schemes

● Proactive, committed and a team player

● Possess initiative and ability to work independently

● No experience required

Benefits:

● Approved Training Organisation (ATO) by ACCA & SCAQ

● Flexible Working Arrangements (FWA)

● Training you to become a professional auditor/ accountant/ business advisors through on the Job trainings

● Challenging and fulfilling career growth

● Dynamic working practices and environment

● Unlimited pantry access (while stock last)

Write in to us with your latest resume, expected salary and attach a recent photograph to [email protected]

We regret that only short-listed candidates will be notified.

AccAssurance LLP

About the Company

We are a fast growing and dynamic boutique public accounting firm providing accounting, assurance, corporate secretarial, tax and business advisory services. We are also approved training employers under the ACCA, ICAEW and SCA Schemes.

In AccAssurance, we believe in supporting and helping our staff to become competent and effective in their work. We also believe that it is possible to achieve work life balance through sufficient planning and tapping on technology to do things more efficiently.

You can look forward to a challenging, yet satisfying and practical experience in our public accounting practice as our staff get to take on and experience other job roles to build their professional skill-sets beyond those of a traditional accountant.

We are located at Rochor area. Visit www.accassurance.com.sgfor more information about us.

Audit Assistant / Associate

Job Description:

• Work on audit and related assignments under the supervision of audit seniors, managers, and partners, to ensure that these assignments are executed, documented and concluded based on the relevant professional standards.
• Assist in the preparation of reports and schedules that are to be delivered to the clients and other external parties.
• Harness technology to gather and analyze data
• Work as a team member by sharing responsibilities, providing support and maintaining communication with colleagues on an effective and efficient basis.
• Develop and maintain professional relationships with clients.
• Act in accordance with professional standards when providing assurance services

Job Requirements:

• Degree in Accountancy or a professional qualification under the ACCA and ICAEW schemes
• Proactive, committed and a team player
• Possess initiative and ability to work independently
• No experience required

Benefits:

• Approved Training Organisation (ATO) by ACCA & SCAQ
• Flexible Working Arrangements (FWA)
• Training you to become a professional auditor/ accountant/ business advisors through on the Job trainings
• Challenging and fulfilling career growth
• Dynamic working practices and environment
• Unlimited pantry access (while stock last)

Write in to us with your latest resume, expected salary and attach a recent photograph to [email protected]

We regret that only short-listed candidates will be notified.

Retykle is Asia’s first and largest online consignment store for buying and selling designer baby, children's & maternity fashion, gear and toys. Our mission is to make buying and selling high quality pre-loved items as good, if not better than buying new. We sell over 2500 of the world’s best children’s and maternity brands at a fraction of traditional prices - up to 90% off. For sellers, we take the hassle out of resale. We allow parents to turn their kids' closets into cash without lifting a finger. We are a purpose led company with a strong environmental mission to create a longer lifespan for children’s products by keeping them in circulation and out of landfills. Our obsession with great customer service has created a community of loyalists who have not only embraced a new way of shopping for their kids but also helped spread the Retykle word to other families.

The platform started in Hong Kong in 2016 and launched into our first overseas market in Singapore in 2021. We are looking for talented people who are hungry to learn and contribute to our team. If you don’t mind getting your hands dirty, question the norm and believe in a collective action against climate change, then this is the place for you.

You may visit our website to learn more: https://www.retykle.sg/

Job Description

• Manage order fulfillment, order picking & packing and tracking of inventory.
• Product photography, loading products to website, studio assistance
• Deliver customer service and manage customer experience as a Retykle brand ambassador, drive awareness around sustainability and concept of circular fashion.
• Assist in offline events such as pop-up events.
• Any relevant ad-hoc duties as required.

Requirements

• Prior experience with e-commerce, retail operations and/or logistics a plus
• Interest in technology, fashion, e-commerce, and/or sustainability
• Enjoy working in an entrepreneurial and start-up culture.
• Enthusiasm for creating efficient processes and solving problems.
• Have the ability to work independently and be self-motivated while still working within a team environment.
• Strong attention to detail, hands-on with organisation skills
• Fluent in English
• 
  

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

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.

Job Description:

• Work closely with relevant department on the matters pertaining to business strategy, performance management, budgeting, forecasting cash management and revenue/ cost analysis
• Prepare financial reports and materials for presentation to senior management
• Manage internal and external audits
• Handle vendors invoices and payments and Purchase Requisitions
• Provide strategic financial and business insights, value-added support to the department and operational partners in understanding their expenses and performance
• Any ad-hoc duties as per assigned

Requirement:

• Minimum Degree in Business/ Accountancy/ Finance or equivalent
• Minimum 4 years of relevant experience in accounting, Financial Planning & Analysis (FP&A), and/or Costing & Pricing knowledge

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click Apply Now button.

** We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities.**

**JobStudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties. Please be aware of scams impersonating JobStudio and our employees. You may call our office directly for verification. We will not be liable for any loss arising from scams. **

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Job Descriptions

• Management of Daily Restaurant Operations. Formulated micro-plans in tandem with organization objectives. Manages the business, customer & employee environment.
• Able to be progressive and adaptable to read the business landscape and equipped with good analytical skills and problem-solving abilities.
• Good applicable experience and knowledge in general managements functions such as HR, Marketing, etc.
• Travels (including overseas) and accepts redeployment of job responsibility and outlets wherever necessary

Job Requirements

• Experienced and passionate
• Minimum 3 years relevant experience in Japanese customer service
• Meticulous and detailed in their delivery of service and communication
• Experience in managing complex multi operating units
• Well-groomed and comfortable working under stress and a demanding environment;
• Positive attitude, cheerful and good interpersonal skills
• Comfortable working split shift and a 6 days work week, and
• Preferably ready to start immediately or within a short notice period
• Position suitable for ex-cabin crew/ airlines crew
• Excellent career prospects and various benefits for senior employees.

Working hours

• 6 days work week
• 11.00am - 3.00pm and 5 - 11pm

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 [email protected]. We look forward to receiving your application.

*Please note that only shortlisted applicants will be contacted.