• Plan and manage the day-to-day operations and administration of the Library, including management of resources and collection development within the approved budget.
• Plan, develop and implement library policies and Standard Operating Procedures ("SOPs") for library operation and management, upon obtaining the Authority’s approval.
• Monitor compliance with SOPs.
• Provide the relevant management reports on library usage or transaction statistics, such as loan of materials, reference enquiries and etc., in accordance with the Authority’s requirements as to the frequency and schedule of report submission.
• Manage the Library Management System (“LMS”), i.e. circulation, cataloguing, acquisition and access to online catalogue. To maintain accuracy of data in LMS and to monitor the movements of library items.
• Assist in asset tracking, i.e. tracking of Library's assets including furniture, trolleys & equipment.
• Perform library counter duties and manage the library loan services.
• Manage the inter-library loans and document delivery to support the Authority’s information needs (for official purposes only). Fulfil request within five (5) working days, subject to the availability of requested title(s).
• Liaise with relevant Divisions on facilities management, IT and security matters.
• Any other library-related administrative duties assigned by the Authority's Appointed Representative.

Requirement:

• A Diploma (preferably from a local polytechnic) with at least three (3) years of relevant working experience.
• Experience in a law library is preferred.

Responsibilities

Patroling & escorting duties

Monitor CCTV, Fire Alarm System, Carpark system

Observe and report any unusual behavior and conduct of the employees or guests in the Hotel.

Monitor all unauthorized vandalism and removal of property

Report any accidents that happened within the Hotel

Create security and fire safety awareness among staff and guests

Inspect all areas for safety and fire hazard & report on findings

Handle work place incidents and do investigations

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

• Collect data through web crawling and/or crowdsourcing.
• Implement baseline methods based on previous research papers.
• Implement new methods to improve the performance of large language models.
• Conduct experiments to empirically evaluate different methods.
• Contribute to the preparation of manuscripts for publication.

• Minimum PhD degree in computer science, Information Technology, Information Systems or closelyrelated disciplines.
• Relevant experiences in video processing, analysis, and research.
• Relevant experiences in developing systems for video computing.
• Excellent knowledge in large-scale video processing and search.
• Excellent knowledge and experience in system development and engineering.
• Good skill in computer programming.
• Good knowledge in dataset curation and preparation of dataset for deep learning.
• Self-motivated individual who can work independently as well as collaboratively in a team to researchand engineer challenging problems.

#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

• Training of neural networks using cooking videos and cooking recipes for cross-modal retrieval.
• Training of neural networks for cross-domain food-to-image retrieval.
• Experiment setup and analysis.

• Minimum PhD degree in computer science, Information Technology, Information Systems or closely related disciplines.
• Relevant experiences in food computing (e.g., food image recognition, recipe retrieval, cross-domain food image retrieval).
• Excellent knowledge in food computing.
• Good knowledge AI and large language models.
• Good skill in computer programming.
• Good knowledge in dataset curation and preparation of dataset for deep learning.
• Self-motivated individual who can work independently as well as collaboratively in a team to research and engineer challenging problems.

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

#LI-JN2

• 1) Process claims application
• 2) Checks for disbursement
• 3) Exception handling and refunds
• 4) Attend to escalated enquiries on claims
• 5) Collation of data / information / statistics for regular reporting
• 6) Provide administrative support
• 7) Undertake additional tasks as assigned

Requirements

1) At least Diploma holder

2) 1 to 2 years of working experiences (preferably) in processing claims, disbursement, and refund

3) Good interpersonal and communicate skills (oral and written)

4) Must uphold strong code of work ethnics and confidentiality of information

5) Detailed and meticulous

6) Able to work under pressure to meet deadlines

7) Good working knowledge of Microsoft Office, especially in using MS Excel

Please submit your LATEST resumes to [email protected] with the following details in MS Word format:

- Position applying for
- Current/Last remuneration
- Expected remuneration
- Notice period

We regret that only shortlisted candidates will be notified.

Lee Keck Ying | EA License No : 06C4642 | EA Reg No : R1877544

• Handling and checking of LC (letter of credit)
• Updating of data into Client’s system
• Work closely with overseas agents/office, various Loaders / co-loaders, vendors, and warehouse
• Arrange timely collections / Dispatch according to customer’s request.
• Responsible for tracking of goods en-route or any problem arise and forward information or pre-alerts to customers.
• Ensure timely billing and accuracy of the invoices.
• Attend and respond to customers’ inquiries.
• Foster and maintain customer relationships to their fullest.
• Arranging cargo insurance and all other types of Shipping documents
• Liaise, coordinate and respond to meet customer’s shipping requirements
• Handling customer issues and feedbacks
• Interact with dispatch for shipping arrangements
• Performs any other task as instructed by section manager.

Requirements

• Minimum GCE 'O' Level / Diploma
• Meticulous to details
• Able to commence within short notice or immediately
• Preferable candidate with at least 1 year of relevant shipping experience
• Knowledge of LC application and negotiation
• Independent with good communication skills
• Fast learner and able to work under pressure
• Customer Service oriented
• Fresh candidates with a strong interest in shipping may apply

Responsibilities:

· Process staff claims and payments for daily operating expenses;

· Prepare accounting schedules such as Fixed Assets Register and Listing of OPEX.

· Preparation and posting of Journal Entries.

· Perform bank reconciliation;

· Perform quarterly GST filing;

· Prepare internal management reports such as daily monitoring and report calculation, daily regulatory data base calculation;

· Prepare MAS regulatory reports, such as MAS 610, 649, 640 etc

· Assist in the preparation and submission of monthly and quarterly Head Office Reports;

· Other administrative support duties.

Requirements:

· Possess an accounting degree.

· Min 1 year of relevant accounting experience

. Fresh graduates with relevant internship experience are welcome to apply.

· Good knowledge of MS Excel is essential.

· A good team player with good attitude.

· Meticulous and attention to details.

Ability to work under pressure and tight timeline.

What we do?

Boys’ Town is a charity founded by the Montfort Brothers of St. Gabriel in 1948. Its key services include residential care, fostering service, respite care, youth outreach, adventure therapy and clinical intervention.

Boys’ Town serves both boys and girls, from infants to young adults. It helps children and youth coming from disadvantaged and disengaged families who may have faced hardship due to difficult home situations, financial struggles, abandonment, and abuse. Boys’ Town equips children and youth in need with skills to become socially integrated, responsible, and contributing members of society.

What you will be doing?
To provide Human Resource and administration support to the Human Resource Department and provide quality customer service to both internal and external clients.

Job Responsibilities

Recruitment & Selection

• Assist in recruitment: job postings, pre-screening, phone interviews, shortlisting, coordinating interviews, document verification, interview prep, reference checks, pre-employment medicals, rejection emails.
• Prepare new hire onboarding packs, book induction rooms, send evaluations.
• Arrange, coordinate, and send invites for new hire induction.
• Assist in recruitment strategies like career fairs.
• Update daily hiring and vacancy tracking reports.
• Track and update new hire evaluations monthly.
• Manage voluntary and involuntary terminations, updating monthly reports.

Training & Development

• Manage and update training records.
• Coordinate in-house training: room bookings, attendance sheets.
• Handle training administration: documentation, communication, course applications, liaising with providers, training grants, evaluations.
• Collect data, prepare training evaluation reports for management.
• Support assigned projects: email follow-ups, venue setup, program coordination.
• Track and update the training budget.
• Conduct training as needed.

HR Administration

• Assist in employee engagement and wellbeing programs.
• Update and submit reports as needed.
• Prepare PowerPoint slides for reporting.
• Take minutes when necessary.
• Assist in performance management reviews.
• Track contract renewals and performance appraisals.
• Support corporate governance, audits, compliance, and documentation.
• Generate and track attendance sheets for meetings.
• Support employee welfare: baby hampers, wreaths, etc.
• Handle HR department purchases/requisitions.
• Provide administrative support to the HR Manager/Directors.
• Participate in meetings, committees, and projects as needed.
• Perform other assigned duties.
• Report to and provide feedback to the HR Manager.
• Actively participate in fundraising and other Boys’ Town commitments.
• Collaborate with staff, departments, and components of Boys’ Town.
• Perform additional duties assigned by the Executive Director or representative.

Requirements

• Minimum Diploma in Human Resource Management or equivalent.
• Preferably 1 year of relevant working experience*
• Good understanding of the Employment Act.
• Excellent organizational skills and attention to detail
• Proficient in record keeping (filing/documentation).
• Strong follow-up skills characterized by timeliness, persistence, organization, clear communication, attention to detail, proactiveness, and accountability.
• Good interpersonal and communication skills.
• Initiative and ability to work well in a team.
• Customer service oriented.
• Ability to work quickly and handle pressure effectively.
• Proficient in MS Office (Outlook, Excel, Word, PowerPoint); knowledge in HRMS is a plus.

Why join us?

Joining Boys’ Town means being part of a mission-driven organization where you’ll grow as a professional while giving back to the community.

Be part of something bigger by joining Boys’ Town as a Human Resource Officer. Help us shape a better future for children and youth from different backgrounds, while growing your career in a meaningful way. If you’re passionate about HR and want to contribute to positive change, Boys' Town is the place for you.

Bring your talents to a cause that matters apply now and make a difference with us!

*Candidates with more years of relevant experience may be considered for the role of Senior HR Officer or HR Executive if deemed appropriate and suitable for the role.

Administration pertaining to movements of personnel

• Ensuring the completion of check-list for new staff joining the school & staff leaving the school/service
• Updating Staff List
• Updating Staff Particulars, e.g. change of address & contact no., staff achievements, courses completed, etc
• Updating School’s Achievements, including CCA achievements
• Handle logistics for meetings
• Check daily incoming mails and dispatch to respective personnel
• Administrative duties for major events such as Founder’s Day, National Day cum Partnership Day & Secondary Four Graduation Ceremony, etc
• Designing and printing of programme booklets
• Preparing guest book for visitors
• Foreign Schools’ Visit to AHS
• Designing & preparing guest book for foreign visitors
• Preparing momento photographs for foreign visitors
• Updating school leaders’ & school’s calendar of events
• General filing and photocopying duties
• Any other administrative duties assigned by P/VPs such as arranging refreshments for meetings, photography, school organizational chart and general office administrative duties.

Qualification

• Minimum GCE ‘O’ Level Certificate or its equivalent
• Good interpersonal skills and a collaborative team player.
• Good communication skills and comfortable engaging stakeholders.
• Ability to multitask with good time management.
• Proficient in Microsoft Office
• Preferably with 3 years relevant administrative support experience in schools.

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

• Electrical Supply (MNC company)
• Basic $2200 - $2600
• *AWS + Bonus
• Mon-Fri (8.15am-5.45pm)
• Working location: Tuas
• Company transport provided: CCK, Bukit Batok, Boon Lay

Responsibilities

• Generate Delivery orders, PO and invoices.
• Printing, Sorting, Filling of Delivery Order and Tax invoice
• Issue Debit and Credit note
• Ordering of office equipment and stationeries such as toner, A4 paper, envelop and etc…
• Sending Statement of Accounts to customer every month.
• Consolidate and submit petty cash summary to accounts every month.
• Attend sales inquiry and process order via email / phone calls.
• Update and follow up with customer outstanding order.
• Liaise with customer of goods collection method and payment

Requirements

• Min O Level with experience in administration.

For consideration, kindly submit your CV by clicking “APPLY Now”

**Only shortlisted candidate would be notified**

EA Reg. No: R23114214 | Chloe Tan

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

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

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

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

Key Responsibilities

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

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

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

Requirements & Qualifications

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

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

Duties and Responsibilities

· Attend to all guests’ check-in by confirming reservations, assigning room, issuing and activating room key.

· Attend to guests’ check-outs including resolving any late and disputed charges.

· Process all payment types such as room charges, cash, checks, debit, or credit.

· Assist guests with directions and information regarding property and local areas of interest.

· Coordinate with Housekeeping to track readiness of rooms for check-in.

· Attend to all guests’ requests and queries promptly, politely and efficiently.

· Ensure a high level of customer service is consistently maintained to ensure guests’ satisfaction.

Requirements

· Previous Front Office experience in a similar environment will be an advantage

· Working knowledge of Opera is preferred

· Team player but also able to work independently

· Customer oriented with a pleasant disposition

· Able to multi task and thrive in a fast paced environment

· Able to work on rotating shifts, weekends and public holiday

This position is available from January 2025 onwards.

The Security Officer delivers the safety and security measures that meet the requirement of the Hotel Management.

Primary Responsibilities

Manages The Control Room

• Verifies all visitors, guests and contractors of their visit and issue pass to them after verifications.
• Records and issues departmental keys to the colleagues after verification. Acknowledges and records when the keys are returned.
• Reports and documents all incidents in the Security Management Occurrence log.
• Answers to all telephone enquiries in a calm and professionally manner.
• Records and takes pictures of all Loss and Found items surrender by colleagues or others in the “Case Property” form and thereafter to hand over to Housekeeping if there is no claimant.
• Responds to the fire alarm bell activation and activates the CERT members, Decam (Decentralized Alarm Monitoring Station), Hotel Telephone Operator and raised the Fire Alarm Bell Activation Report thereafter.
• Assists in the evacuation when the need arises.
• Assists in managing the Electronic Parking System for the Carpark, including printing the Daily Revenue Report and Settlement Report daily.
• Any other duties assigned by the Security Supervisors and Managers.
• Prepares to assume the role of a CERT member when the need arises.

Carries Out Static Duties

• Ensures a peaceful environment, greets guest coming/going out of the hotel, to report and take action if there is a disturbance.
• Ensures orderly traffic flow, advises drivers of unauthorised parking to park at designated car park and to report and take action if there is disturbance.
• Conducts checks on unauthorised parking, advise the driver to park in designated car parks, to report and take action if there is disturbance.
• Ensures only authorised contractors or supplier’s vehicles is allow to park in the loading bay.
• Ensures smooth traffic movements in the loading bay.
• Ensures the vehicles are parked in an assigned parking lot.
• Ensures no obstruction cause to other vehicles using the loading bay.
• Verifies the identities of all contractors/workers using the loading bay.
• Responds to any emergencies within 3 minutes or less.

Patrols The Hotel Grounds And Buildings

• Residence patrolling for crime prevention and to report of any incidents, disputes disturbances or found properties left unattended.
• Perimeter patrolling to ensure that the hotel’s exterior walls are not vandalised or damaged, ensures the street lamps are in working condition.
• Raffles Arcade Blocks patrolling for crime prevention, providing assistances or enquires from City guests or members of the public.
• Responds to any emergencies within 3 minutes or less.

Involvement As A Member Of The Security Team

• Provides security escorts for finance department to the bank.
• Witnessing for colleagues depositing sales proceeds at finance department.
• Crowd Control Duty during major events or VVIP visits.
• Prepare to assume the role of the CERT members and First Aider.

Candidate Profile

Knowledge and Experience

• Must be a registered Security Officer with Police Licensing & Regulatory Department (PLRD) and holds a valid Security License issued by PLRD.
• Secondary education with WSQ Certification in Security Operations.
• Certified in First Aid, CPR and AED.
• Certified CERT member as per Singapore Civic Defence Force (SCDF) guidelines under High Risks Installation (HRI) Tier 1
• Minimum of 2 years of relevant experience in the hotel industry.
• Outgoing personality and able to remain calm under duress.
• Willing to acquire new knowledge and experience.

Competencies

• Oral and written fluency in English. Ability to converse in other languages is an advantage.
• Working knowledge of Microsoft Office (Excel, Outlook, PowerPoint, Word) will be an advantage.
• Good interpersonal skills with ability to communicate with all levels of employees.
• Service oriented with an eye for details and inquisitive mind.
• Ability to work effectively and contribute in a team.
• Flexible and able to embrace and respond to change effectively.
• Ability to work independently and has good initiative under dynamic environment
• Self-motivated and energetic.
• Computer literacy will be an added advantage.

Benefits of Joining Raffles Hotel Singapore

• 5-day Work Week.
• Duty Meals are provided.
• Colleagues’ Discount and/or Preferential Room Rates at worldwide Accor Hotels.
• Flexible Benefit – Dental/Optical/Vacation Expenses/Children’s Education.
• Medical and Wellness Benefit.
• Comprehensive Insurance Coverage.
• Local/Overseas Career Development & Growth Opportunities.
• Holistic Learning and Development Opportunities.

Job Responsibilities

• To be responsible for the preparation of reports required by principal and internal stakeholders.
• Be responsible on minutes taking and timely submission.
• To coordinate with internal stakeholders on related matters (e.g. Finance, Human Resource Department, etc.)
• To be in-charge of ensuring documents are being submitted timely with compliance to principal and company guidelines.
• Taking ownership of tracking Work in Progress status, follow up and update status to HOD.
• Preparation of the WIP summary for monthly meeting.
• To be familiar with warranty processes and ensure company adhere to warranty policies and guidelines.
• Ensure all repair orders and invoices are kept in order.
• Any other duties or tasks that are assign by Service Manager whenever needed.

Job Requirements

• GCE ‘O’ Level or GCE ‘A’ Level/ Diploma
• 3 years’ experience in relevant industry
• Self-motivated and able to work independently
• Quality orientation

Job Title: QMS Officer (ID4629)
Location: Gul Circle
Working Hour：Monday to Friday: 8.45am to 5.45pm
Salary: $2200-$2500


Role Summary:
• Management of certification, customer, and internal audits of the Quality System and product and service processes.
• Manages the control of Quality Management System (QMS) documentation.
• Management of suppliers with regards to supplier evaluation, development, selection, and supplier audits of the Quality System and product and service processes.
• Manages the control of Supplier Management System (SMS) documentation that is part of QMS.
Job Description:
• Management of certification and customer audits.
• Facilitation of internal and supplier audit program. Maintain internal / supplier audit schedule & assigning internal / supplier audit teams.
• Development and implementation of a training program for internal auditors.
• Review of internal / supplier audit reports.
• Conducting follow-up to verify closure of Quality Corrective Action Requests for internal, supplier & customer audits.
• Management of the Quality Corrective Action Request (QCAR) system.
• Ensures the quality controls & quality assurance programs and policies are maintained and modified regularly.
• Management of the control of QMS documentation.
• Assist process owners in development of procedures and work instructions
• Assist Superior in revision of the Quality Manual.
• Provide direction for control of customer supplied documents.
• Develops written documentation and procedures related to quality requirements and/or criteria.
• Support contract review process to ensure that Quality requirements are identified and communicated to the shop floor.
• Support of continuous improvement projects designed to identify and eliminate the root cause of non-conformances.

Job Requirement:
• A minimum 1 years' experience of relevant role in production environment.
• A team player and having a positive working attitude towards work challenges
• Responsible and able to work independently under minimal supervision

Join a dynamic and growing leather cleaning & restoration company!

If you are passionate about meeting people, enthusiastic with a pleasing personality, we want YOU!

Your key responsibilities include:

• Managing and engaging our clients.
• Building up our customer base.
• Assist with taking orders/bookings for our services.
• Handling sales enquiries over the phone or via email.
• Handle, process and manage quotations and invoicing.
• Handle customer enquiries and complaints.
• Actively support operations in meeting client needs and requests.
• Provide excellent customer service to meet the needs of the clients.
• Work closely with operations team to ensure smooth running of the business.

Requirements:

• Only Singaporeans/PR need apply
• Good command of English, Mandarin speaking is a bonus (as need to speak with Mandarin client speaking)
• Good communication skills
• Pleasant, enthusiastic and engaging
• Polite and patient
• PC literate, comfortable with MS Office
• Good with the various social media platforms

Job benefits:

• Attractive salary package
• Sales incentives
• Medical & insurance benefits
• Annual & medical leaves
• Career growth development

Working hours:

• 5 days
• Off on Saturdays, Sundays and Public Holidays

**High proficiency in English and Chinese (both verbal and written) is a MUST for this post.**

Please only submit your resume if you meet these language requirements.

The Role

This entry-level role provides essential knowledge and information support across the institute’s various initiatives. You will leverage your expertise in information gathering, organization, analysis, and presentation to conduct research on industries, markets, and the feasibility of new higher education programs.

Main Duties and Responsibilities

• Industry Research: Closely track global trends in the higher education sector and conduct market research on specific industries, sectors, and academic subjects.
• Feasibility Assessment: Conduct in-depth research and evaluations of the market potential for higher education programs in Singapore, including competitive analysis.
• Proposal Development: Prepare feasibility reports and business plans for specific higher education programs.
• Program Implementation Support: Provide support for the successful launch of new higher education programs in Singapore.
• Marketing Support: Provide essential information, including competitive intelligence and industry insights, for marketing new higher education programs.
• Other Responsibilities: Assist with other related tasks, including information collection, analysis, and evaluation in collaboration with other teams as required.

Requirements

• Minimum of Bachelor’s Degree or equivalent (Masters preferred)
• Strong ability to quickly retrieve, collect, analyze, and transform information into actionable insights
• High proficiency in English (verbal and written) and upper-intermediate Chinese for business communication
• Results-driven and task-oriented, with a strong sense of responsibility and the ability to meet deadlines efficiently
• Excellent communication and teamwork skills
• Proven work experience of 1 - 2 years as a research analyst preferred
• Prior experience in the higher education sector, research, or market analysis is a plus.