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

Job Descriptions

· Handle all Import Documentation and Shipping Procedures include Shipment Coordination

. Correspondence and Liaise with Suppliers

· Responsible for Purchase Orders/Delivery Orders Issuance

· Handle all shipping documents, custom declaration and permits for Import /Export - including of data compilation for invoices

· Ensure relevant supporting certificates are ready by the registration department prior to shipment

· Coordination with suppliers, shipping companies/freight forwarders to schedule transport and shipping documentation arrangements

· Ensure relevant shipping documents are ready and deliver to respective parties such as banks and shipping/forwarder companies in a timely manner

· Correspondence with Suppliers and Customers to ensure smooth and timely shipment delivery

· Provide coordination and support with Export Documentation Department for all related matters

. Provide coordination and support with Accounts Department for all Finance related matters

· Responsible for all Admin and Ad Hoc Duties

Qualifications

· At Least 1-2 years of working experience in the related field is required for this position.

· Good command of written and spoken English. (Knowledge of Chinese will be an advantage)

· Proficiency in Microsoft Office and Good Knowledge of Advanced MICROSOFT EXCEL Skills preferred.

· Possesses positive working attitude and able to Multitask, self-driven and willing to learn.

· Independent, highly motivated and a good team player.

· Meticulous and Detailed Oriented.

· Good Follow Up Skills and Good Initiative Skills

· Good Interpersonal and Communication Skills

· Hardworking and Responsible

· Able to work in a Fast Pace Environment

Job Highlights

• Central Location
• 5 Days Week,
• Immediate Vacancy.
• Good Career Development and Great Learning Opportunities
• Friendly Working Environment

Nearest MRT: Labrador Park
Contract Duration: 12 Months
Working Hours: Monday – Thursday: 8.30am – 6pm, Friday: 8.30am – 5.30pm Basic Salary: Up to $5,350 per month

Job Responsibilities:

· Provide administrative and secretarial support for day-to-day tasks like schedule management, booking meeting venues, handling meeting logistics, and managing requests from staff and external companies as well as agencies for meeting slots

· Manage travel arrangements for four Directors, handle expense claims, procure office supplies as well as track processing of invoices and payments.

· Organise divisional functions, off site and teambuilding events as needed

· Prepare meeting materials and event admin briefs where necessary

· Perform budget tracking for certain line items and purchase related processes

· Participate in any other ad hoc projects (such as assisting with events management) and committees as assigned from time to time

Job Requirements:

· Diploma in any discipline.

· Minimum of five to seven years’ secretarial experience at the executive level preferred.

· Proficient in Microsoft Office Word, Excel, Outlook and PowerPoint

· Only Singaporeans need to apply.

This role would require the incumbent to support calendar management for four directors.

We regret to inform that only shortlisted candidates will be notified.

Interested candidates, please forward a copy of your resume to: [email protected].

Justin Lee: R22107715
APBA TG Human Resource Pte Ltd
EA License: 14C7275

Job Description

• Proficient in conducting literature reviews and appraisals of publications.
• Coordinate the submission of new IRB applications, study amendments and annual reports
• Work closely with principal investigators, research fellows, and program manager to execute studies by planning, preparing study protocols, and implementing these studies efficiently.
• Conduct research study activities like patient recruitment, data collection, data analysis and data management
• Assist in data collection from electronic health records
• Provide research updates to study team on regular basis.
• Maintain the highest standard of professional conduct and record keeping in accordance with hospital policies, ethics requirements and local regulations
• Assist with any other duties of a similar nature that are delegated by the PI.

Job Requirement:

• Min Diploma/ Degree in any relevant field

Work with Jobstudio today by simply furnish us with your detailed resume in MS Words format and click "Apply Now" button now !

** 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 SOLICT 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 AT 64221390 FOR VERIFICATION. WE WILL NOT BE LIABLE FOR LOSS ARISING FROM SCAMS.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Hoh Mei Ling

EA Personnel Reg No: R21103150