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

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 Title: Personal Assistant (Beauty Salons and Spas Company) ID9124
Location: Tiong Bahru
Working Hours: Monday to Friday 900am-600pm
Basic Salary: $4000-$5000

Benefit:
* VB & AWS provided with AL 10 days starting

Job Description:
•Provide comprehensive secretarial support, including managing calendars, scheduling meetings, and organizing appointments and engagements.
•Coordinate both internal and external meetings, ensuring smooth logistics for onsite or virtual gatherings.
•Screen calls professionally, take accurate messages, and handle inquiries promptly and efficiently.
•Arrange and coordinate complex travel arrangements, including visa processing and accommodations, for business and personal trips.
•Execute various errands and provide event support as required.
•Perform additional secretarial tasks according to established guidelines, ensuring accuracy and timeliness.
•Proactively anticipate the CEO's needs and assist in ad-hoc tasks to facilitate efficient operations.
•Act as a liaison between the CEO and other stakeholders, conveying instructions and ensuring effective communication.
•Maintain confidentiality and handle sensitive information with discretion and professionalism.
•Any other duties as assigned by the CEO to support organizational goals and priorities.

Requirement:
Minimum Diploma Graduate in any discipline with 2 years of experience in assisting HOD/CEO

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

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

• Continually meeting or exceeding sales quotas.
• Supervising and guiding the sales team as well as providing incentives to motivate staff to achieve sales targets.
• Monitoring the performance of the sales team.
• Ensuring that the store is clean and well-maintained at all times.
• Building and maintaining good working relationships with customers.
• Identifying opportunities and strategies to increase sales.
• Regularly attending sales meetings and training sessions.
• Ensuring that the store is adequately stocked with company products.
• Performing all duties of the Sales Manager in cases of absence or emergency.

• Term-time role (enjoy paid school holidays - non-working days);
• 5-day work week;
• Enjoy subsidized lunch;
• Competitive remuneration package & benefits (medical, dental, etc.).
• Salary is commensurate with relevant years of experience.

Dulwich College (Singapore) is seeking a dynamic and experienced Assistant Teacher to join its Junior School (Primary/Elementary equivalent).

Dulwich College (Singapore) recognises that exceptional and inspirational Assistant Teachers are a valuable resource in providing our children with an excellent international education. Dulwich College Assistant Teachers are ambitious for their students’ learning and put students first in everything they do. They have the highest aspirations for their students’ achievement and development, both in the classroom and through the many extra-curricular activities on offer.

Our Assistant Teachers actively promote the College’s Mission and Vision through their enthusiastic and full participation in College life and their supportive engagement with students, colleagues and parents.

Responsibilities and Duties:

• To support in a class as decided by the Head of Junior School;
• To support the class teacher in the learning of each child;
• To work alongside the class teacher to create an environment in which the children’s learning flourishes;
• To be responsible, with the class teacher, for the pastoral care of the children in their class and to be involved in the pastoral care of all children in the Junior School;
• To take part in the planning and preparation for learning both inside and outside the classroom as led by the class teacher;
• To take responsibility for the management of classroom resources, the replenishment of materials, setting up of the classroom and ensuring the safety of the teaching environment;
• To be aware of, and take part in, the schools performance management framework and participate in training and development activities as required;
• To facilitate the learning of individual children or a small group of children, guided by the class teacher and in consultation with the class teacher;
• To manage behaviour positively, as agreed and set out in the school policy;
• To attend staff meetings and professional development activities as required;
• To participate in the extra-curricular life of the children by leading, organising, or being involved in extra-curricular activities within the school day in the Junior School;
• To undertake supervisory duties in the dining hall and playground as directed by the Head of Junior School;
• To act as a role model, showing awareness of individual needs and responding to them;
• Comply with policies and procedures relating to child protection, health and safety, welfare, security, confidentiality and data protection, reporting any concerns to the appropriate person;
• To carry out other duties, as may be reasonably requested by Head of Junior School, and the Headmaster of Dulwich College (Singapore).

All other duties commensurate with the role.

The successful candidate will have:

• Min GCE ‘O’ Levels;
• A Certificate or Diploma in Education or equivalent, or working towards a relevant qualification;
• A minimum of two years’ experience in a classroom/school setting;
• Strong communication and interpersonal skills;
• Demonstrable experience in supporting children’s learning in a stimulating learning environment;
• Have experience as a teacher/assistant teacher to primary students
• Awareness of the importance of using a variety of assessments and observation to assess children’s learning;
• Commitment to supporting all aspects of our programme including extra-curricular activities and contribution to the school community;
• Previous experience in an international school and familiarity with the British education system would be desirable.

We welcome and encourage applications from people of all backgrounds. Having a diverse staff body is a great strength to us as a College and one of the ways that we can help students achieve our College Mission of Living Worldwise. We do not discriminate on the basis of race, ethnicity, gender, age, disability, religion, sexual orientation, pregnancy or socio-economic status. We support family-friendly flexible working opportunities, where operational needs allow. Staff recruited locally are subject to terms and conditions of service according to local employment law.

Dulwich College (Singapore) 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 which are aligned to the recommendations of the International Task Force on Child Protection. We hold ourselves to a high standard of effective recruiting practices with specific attention to child protection. All appointments are subject to an interview, identity checks, criminal record checks, and successful references.

PEI Registration Number: 201027137D. Period of Registration: 09 January 2024 to 08 January 2028

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

**Location:** Hillview Terrace, Singapore

**Job Description:**

Are you tech-savvy and eager to learn? We’re looking for an IT Support Assistant to help with our daily operations. This is a fantastic entry-level opportunity for someone who is interested in developing their skills in information technology while contributing to a positive learning atmosphere.

**Key Responsibilities:**

- Assist in maintaining and troubleshooting computer systems and equipment.

- Provide technical support with software and hardware issues.

- Help set up and maintain audio-visual equipment.

- Support daily IT operations.

- Collaborate with the IT team to ensure all IT technology is functioning.

**Qualifications:**

- A genuine interest in technology and a desire to learn.

- Ability to work well in a team-oriented environment.

- Problem-solving mindset and willingness to tackle new challenges.

**No Experience Required!**

We believe in nurturing talent and are happy to provide on-the-job training. If you have a passion for technology and a willingness to learn, we encourage you to apply!

**Why Join Us?**

- Work in a dynamic and supportive environment where your contributions matter.

- Gain valuable hands-on experience in IT support.

- Opportunity for growth and development.

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