We are looking for a passionate and professional Senior Executive Officer to join our Customer Experience team.

Based in Singapore and reporting to the Senior Manager, the incumbent will oversee the day-to-day operations of the team's initiatives for customer segments, working along-side teams to integrate content, design, and customer engagement activities into cohesive initiatives aimed at increasing customer retention and market diversion from illegal operators, developing segment programmes and enhancements to drive customer segment performance to encourage responsible gambling and achieve advocacy.

However, we also recognize that each individual has a unique blend of skills. Whether your strength is in customer segmentation or campaigns, we want to talk to you.

What You'll Do

• You will collaborate with cross-functional teams to gather insights and data relevant to specific market segments.
• You will develop and maintain segment profiles and personas based on data-driven analysis and customer research, conduct in-depth analysis of each customer segment to understand their unique needs, preferences, and pain points, identify opportunities for personalisation and targeted communication initiatives within each segment, evaluate the effectiveness of segmentation strategies and recommend adjustments based on performance metrics and customer feedback.
• You will conduct competitive analysis to identify strengths, weaknesses, opportunities, and threats within target segments, monitor illegal market activities and industry trends to anticipate changes in segment dynamics and market conditions, present findings and recommendations to key stakeholders to support strategic decision-making and resource allocation.
• You will stay abreast of emerging technologies and methodologies in segmentation analysis and incorporate best practices into existing processes.
• You will develop targeted marketing campaigns and content tailored to the specific needs and preferences of each customer segment.
• You will leverage the CRM system, digital and remote channels, and retail touchpoints to deliver personalised experiences for customer engagement.
• You will collaborate with Customer teams to ensure campaign alignment and seamless customer experience.
• You will identify relevant courses/conferences for development of current capabilities and acquire new capabilities.

Who You Are

• You will need a Degree in marketing, business analytics, computer science or information technology. Advanced certifications in Analytics preferred.
• You will need at least 3 years of experience in customer segmentation, data analysis and/or marketing.
• Experience in gaming products and services will be advantageous.
• You should have a proven track record of using customer data and insights to drive marketing campaigns with results in improved customer engagement and retention.
• You should have hands-on experience with customer data platforms, analytics tools, and data visualisation techniques. Experience with Qlik Sense is an advantage.
• You should have strong understanding of customer behaviour, purchasing patterns, and market trends.
• You should have the ability to collaborate cross-functionally with Customer, Channels and Product teams to translate customer insights into actionable strategies.
• You should have excellent communication skills, both written and verbal, to effectively collaborate with cross-functional teams and stakeholders.
• You will need creativity and innovation to develop engaging and personalised campaigns that resonate with target audiences.
• You should have attention to detail and a commitment to delivering outcome driven campaigns.

Benefits

• Competitive salaries
• Flexi Benefits
• Staggered working hours
• Medical Insurance

Singapore Pools welcomes you not for how you look, where you come from, or differences you may have. We want you here for who you are. Diversity at the company helps us see a greater picture represented by different voices, helping us in contributing back to the society. So, feel free to express who you are, and be proud of your heritage and personal experience as you begin your journey with us!

Singapore Pools was established by the Government on 23 May 1968 to provide safe and trusted betting to counter illegal gambling. As a not-for-profit organisation, all of Singapore Pools' surplus is channeled to Tote Board to fund a wide range of causes in social service, community development, sports, the arts, education and health. Currently, Singapore Pools contributes about $2 billion annually to the Government in the form of taxes and duties, and for the funding of good causes.

Job Title: Incident Response Admin Officer (ID8261)

Location: Kaki Bukit, Singapore

Working Hour：Mon-Fri, 8:30am to 5:30pm, Sat 8:30am to 1pm

Salary: $2100 - $2800

Job Description:

- Monitor the platform for any work request

- Respond and assign the work request to our technicians within the allowable response time based on work priority in the system

- Ensure that the assigned work is completed by our technician within the required timeline and update the completed work status to the platform promptly

Requirement:

Min 1 years work related experience in construction trade

Who We Are

As Singapore's first institute for lifelong learning, the Singapore University of Social Sciences (SUSS) champions inclusivity to bring education to all and ensure that they are given equal opportunities to develop to their fullest potential in our diverse learning environment.

We advocate for the same for our people. We believe everyone should have equal opportunities and develop to their fullest potential in their careers.

Embark on an exciting lifelong journey with us in making a positive difference in your career and serving our society.

For more information on Singapore University of Social Sciences, please visit www.suss.edu.sg.

About The Role

Project Summary
The Behavioural Insights Centre of Excellence in SUSS is seeking a qualified research executive to support the study of “Development and Validation of a Platform Worker Occupational Well-being Indicator Tool”. The approach to this project will be through interviews, and surveys. The intent of the project is to develop and validate an indicator tool for platform workers to measure their occupational well-being. The project is scheduled to run for one year.

What You Will Be Doing

• Oversee the general management and administration of the project (e.g., organise meetings, recording meeting minutes),
• Manage project timeline and ensure project milestones/ deliverables are met,
• Perform literature reviews,
• Assist with designing and conducting of qualitative and quantitative research tasks (e.g., interviews, surveys), and perform data processing and analysis tasks,
• Maintain related documentation of project, and management of tokens for respondents,
• Assist in procurement processes (e.g., purchase of tokens for focus group participants), and
• Contribute to development and writing of report.

Job Requirements

Qualification / Experience Required

• Have a bachelor’s degree or hold a Master’s degree in a relevant discipline (e.g., Educational Technology, Learning Sciences, Educational Psychology, Psychology)
• Have experience in independent social science research
• Familiarity with qualitative and quantitative research methods is essential
• Be able to work independently with minimal supervision
• Be able to work collaboratively in a team
• Have good oral and written communication skills
• Only shortlisted candidates will be notified.

Applications should be made to:
Melissa Sim ([email protected]) at SUSS Behavioural Insights Centre of Excellence, Singapore University of Social Sciences, 463 Clementi Road, Singapore 599494

Job purpose:

Specific to this role: Credit Officer supporting the Korean desk in the Singapore Branch International Corporates business line, located in the Singapore Branch.

This is a Group Risk Management role working closely with the Korean Client Relationship desk (3 pax) with the focus on detailed credit risk assessment and obtaining the credit decision. The credit risk assessment is on the Parent Group, usually also subsidiaries, that are located either in Korea or Europe / US / Other Asia.

In addition to actively working on new business, ongoing assessment, and monitoring of completed transactions, and ad hoc credit related projects.

Generic to Credit Officer role: Guided by the highest quality standard in decision-making, the Credit Officer (CO) decides and is primarily responsible for credit synopses which he/she processes himself/herself or within his/her group, distributes within the group according to difficulty and complexity, and discusses in individual cases. In order to obtain adequate information he/she regularly participates in client visits.

As supervisor the CO is responsible for the risk result and the risk quality of the credit portfolio within his/her responsibility. The CO shares responsibility for the performance (gross / value contribution margin) of the exposure he/she processes in the corporate lending business. In the context of managerial duties, the CO is guided by the Bank’s strategic goals, business policy focus and, in particular, its credit risk strategy. In addition, the CO ensures compliance with Service Level Agreements entered into with Market units (Time to Market). He/she disposes of extensive competencies and lending authorities and uses them in responsible manner within his portfolio responsibility and to influence a risk adequate pricing. Cases within his/her own 4 eyes-lending authority he/she acts as final decision maker and cannot be overruled on his/her authority level by the market side. For superseding authority levels the CO adopts the higher competence, submits decision proposals and exposes files when indicated in the decision making bodies of the segment credit committee of Corporate International or, if applicable, in the Group credit committee (KK).

In the context of his executive function the CO promotes self-initiative, readiness to perform, constructive co-operation and team spirit through clear job definition, delegation of responsibility and adequate information.

In his/her team the CO points out deficits as well as necessities for improvement and pursues these consistently. He/she continuously optimizes task execution and promotes exchange of information, ideas and experience.

Key activities:

Specific to tise role:

• New position to establish Corporate Credit Risk Management expertise to support Korean desk.
• Strong track record as risk manager. Mandatory - good experience of risk assessment of Korean corporate clients and their subsidiaries. Good understanding of Korean Group structures. Products: Syndicated and Bilateral Loans, Export Credit Agency Covered Loans, Various types of Guarantees, Trade Finance instruments, Derivative products.
• Strong ability to confidently participate in meetings with clients where required.
• Liaison and close working involvement with the Credit Officers and Managers in other Commerzbank branches and across different time zones.
• Evaluation and structuring of potential transactions within risk guidelines and policies including the preparation of Credit Applications and Internal Credit Ratings. Including cash flow modelling, return analysis as well as coordination with other bank support functions in connection with transactions in the existing portfolio. Involvement in post approval documentation.
• Where required, assist in the external due diligence process as part of the credit process.
• Monitoring of portfolio will include evaluation of potential deteriorations in the credit condition of individual transactions. Stay up to date on industry trends and current market conditions.

Generic to Credit Officer role:

Junior (related to exposures with a low degree of risk):

• To improve risk result and risk quality (risk mitigation) of the credit portfolio within his/ her decision-making authority
• To ensure a well-balanced situation between risk and earnings
• To analyse the financial and economic situation of the borrower (incl. balance sheet analysis on internationally accepted accounting principles, business development trends, in particular future-orientated cash flow analysis etc.) and decision-making regarding case-related core segmentation criteria
• To be involved in the gathering of information about customer, as well as about current development of respective industry sector i.e. regular participation in customer visits
• To ensure a consistent, risk-sensitive and rule-compliant rating assessment
• Risk identification and early recognition, perception of potential risks
• Classification of risk (depending on the situation) in dialogue with other COs to guarantee a consistent and coherent credit policy
• Consideration of portfolio targets within one’s area of responsibility, including controlling and reporting

Intermediate (additional; related to exposures with a medium degree of risk):

• Investigation, definition and rule-compliant reporting of engagements with significantly downgraded creditworthiness (Intensive Care)
• Duty to inform Local Credit Officer (LCO) concerning process disruptions, problem issues and significant individual case decisions
• Compliance with Service Level Agreements (qualitatively and quantitatively)
• To ensure data quality in consideration of regulatory standards,
• Promotion of know-how transfer, expertise and teambuilding
• Supply of necessary information from his/her own sphere of activity for the preparation of Industry Batches
• To support the Local Credit Officer (LCO) in risk management related tasks e.g. portfolio analysis
• To participate in projects and also to lead them if required.

Formal education:

• University degree in Accounting / Business / Financial discipline.
• Other postgraduate of professional qualifications in finance related fields.

Specialist knowledge (work experience, further qualification):

- Work experience

• Minimum 3 years Risk Management of Korean corporates for Associate level, 5 years AVP level, 7 years for VP level, either within an International bank, Korean Headquartered bank, or Leading Rating Agency. (Mandatory).
• Demonstrable track record of transaction execution across multiple Korean corporates / sectors (Mandatory).
• Good command of Korean language at a minimum level of C1 (CEFR) or Level 5 (TOPIK) for non-native speaker as this role will need to liaise frequently with Korean speaking clients (Mandatory)
• Formal Credit risk trained and full understanding of lending principles (Mandatory)
• Excellent communication in English as well as presentation and marketing skills. Basic German language an advantage. Open to travel to Korea on an ‘as required’ basis.
• Extensive experience with Microsoft Word, Excel, PowerPoint, especially financial models, and rating systems
• Positive attitude to take on special tasks involving inter branch liaison and dealing with Head Office on risk operational issues.
• Ideally has existing network in the Korean Credit Risk Officer network.
• Strong knowledge of commercial and corporate banking products is an advantage.
• Detailed knowledge of loan and security documents.
• Knowledge of general and internal regulations, workflows and local (MAS) regulatory guidelines
• Knowledge of a future-orientated cash flow analyses
• Knowledge of the evaluation, implementation, and monitoring of portfolio structures
• knowledge of the general sector analysis

- Further Qualifications

• Self-confident, willing to make decisions and able to justify and communicate professionally, calmly, and clearly. Able to approach problems and resolve potential conflicts in a constructive and structured manner.
• Strong team player
• Self-motivated and resourceful. Ability to handle multiple tasks and adapt to a changing business environment

Job Highlights

• Central location.
• Executive Health screening, GP Clinic and Radiology Centre.
• 5.5 days' week.

About The Opportunity

As a Clinical Admin, you will be a key member of our Clinic and Medical Centre, ensuring the efficient management of administrative tasks and contributing to the smooth operation of our facility.

What You'll be Doing

Claims and Billing Management

• Submission of claims to corporate programme and insurer portals. Accurately and promptly submit insurance claims and follow up on any discrepancies or issues that arise.
• Manage invoicing and billing to patients and clients. Prepare and send invoices to patients and clients, track payments, and manage any billing inquiries or issues.

Medical Records Office

• Manage incoming and outgoing medical reports. Handle the receipt, processing, and distribution of medical reports, ensuring confidentiality and compliance with relevant regulations.
• Manage laboratory reports. Receive and verify lab results, submitting to doctor for review and compiling into medical reports for patients, liaison with lab partner on queries and issues.

Communication and Correspondence

• Monitor and respond to emails from patients, clients, and other stakeholders in a timely and professional manner.
• Handle incoming phone calls, provide information, schedule appointments, and direct calls to the appropriate personnel.
• Handle patient inquiries and concerns. Address patient questions and concerns, providing excellent customer service and ensuring patient satisfaction.
• Appointment scheduling and coordination. Schedule and confirm patient appointments, coordinate with medical staff, and manage the appointment calendar.

Operational Support

• Support clinic operations. Assist with various administrative tasks to support the overall operations of the clinic, including registering/discharging patients at the counter, clerical tasks, restocking of clinic supplies and other duties as assigned.

What We Are Looking for

• ITE, Diploma or equivalent; additional certification in Healthcare Administration or related field is a plus.
• Previous experience in a Medical administrative role or similar position is highly preferred.
• Strong organizational and multitasking skills.
• Excellent communication and interpersonal skills.
• Proficiency in using medical software and office applications.
• Knowledge of medical terminology and billing practices.
• Ability to work independently and as part of a team.
• High level of discretion and confidentiality.

We regret to inform that only shortlisted applicants will be notified for an interview.

To learn more about our Organization, please visit https://www.alliancehealthcare.com.sg.

Job location: Central

Working hours:

• Perm Full time 9am to 6pm or Part Timers are welcome

Job description:

• Recruitment Officer to manage company recruitment portfolio such as posting advertisements, screening candidates and scheduling interviews.
• Assisting to manage Social Media Accounts and content generation such as simple video editing and to perform social media trending
• Collaborate with schools / private institutions on recruitment activities
• Administrative duties for clients’ management. (EG. Sending letters / gifts / cards / following up on queries and requests.)
• Administrative duties for organization matters. (EG. Taking minutes / managing campaigns and schedules / Filing / Scanning.)
• Handling phone calls
• Data-Entry in preparation of clients’ meetings and organization’s meetings

Job requirements:

• Computer literate
• Proficient in Microsoft Office (Word, Excel, Powerpoint) and Social media
• Able to do simple editing on Capcut
• Fluent in English
• Good attitude, Has initiative, Meticulous and a Team player.
• Singaporeans / Permanent Resident

POSITION AVAILABLE FOR CLIENT EXPERIENCE OFFICER (FULL-TIME)

• Are you looking to work in a fun and supportive team?
• Do you enjoy making a difference in people's lives?
• Do you enjoy high quality conversation, and sometimes poor-quality jokes? Then please read on...

Embrace Physiotherapy is Singapore’s only Physiotherapy clinic dedicated to women. By providing Women’s Health and Pelvic Physiotherapy services we support women in health and wellbeing across the lifespan with empathy, to educate and empower them to embrace a life they desire.

Embrace Physiotherapy is looking for mission driven, empathetic Client Experience Officer’s (CEO) in a full-time role to join our team. The position requires someone who is a “people person”, with a knack for organization and is task orientated.

As a Client Experience Officer you will have the opportunity to work in a small, tight-knit team supported by the manager and founder. There are opportunities for growth for the right candidates within the releams of operations, business development and marketing.

• You will be part of a fast paced environment with a variety of duties
• You will be joining a committed team within a great work environment
• It is a challenging yet rewarding role

Things you will be responsible for:

• Patient Nurturing: Ensuring that our patients have an incredible experience each time they visit the clinic.
• Tower of Support: Ensuring that the physiotherapy team is well-supported so that they can create amazing outcomes for our patients.
• Efficiency on Reception: Delivering awesome service with efficiency and style, following our systems and procedures.
• Organization Whiz: Ensuring our clinic space and calendar are clean and maximised to help all the patients we care for.

Start date is August/September 2024 and the roles do require rostered Saturday’s with adhoc leave coverage.

How to apply:
If this role sounds perfect for you, please send us through a short video (less than 5 mins) telling us:

• A bit about yourself
• Why you are applying for this job
• What do you bring to the clinic that we shouldn't miss out on
• Anything else about you that you think we might find interesting

This position won’t be open for long, so if you believe you are the right person, please forward your responses to Nor via email at [email protected].

**Please do not send a resume. We don't like them and don't read them**

Applications close soon, however we will be contacting applicants before this date. Only shortlisted applicants will be contacted, but we will be shortlisting and contacting applicants before the cut-off date, so get your application in quickly.

Job type: Full-time

Preferred education level: At least Polytechnic or similar

Preferred experience: preferred not essential

1. Responsible on the processing of work/employment pass application, renewal and cancellation and other MOM related matters.
2. Preparation of relevant letters and Memos (Offer Letter, Employees contract and memos for workers etc).
3. Assist in payroll preparation.
4. Administer HR-related documentation, such as contracts of employment.
5. Handles employees welfare and leave administration.
6. Ensure the relevant HR database is up to date and accurate. Maintenance and administration of employees personal file.
7. Provide general administrative support.
8. Other ad-hoc duties assigned by superior.

Experience Required:

- 2 years related working experience is an advantage

- Possess good communication skills (English) both oral and written

- Competent in Microsoft Office (Word, Excel, PowerPoint & Outlook)

- Able to communicate effectively to different types of Nationality

- Able to work independently, self-motivated and adaptable to change

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

• Monitor closely pre-operative patients seen in the wards and clinics on the outcomes of decisions for surgery.
• Provide information regarding patient’s diagnosis, need for intervention and possible outcomes to patients.
• Responsible for patient education.
• Responsible for financial counselling and admission procedures
• Ensure all appropriate investigations ordered are carried out before any surgical intervention.
• Ensure smooth workflow between cardiac clinic, cardiac lab, OT, CTICU, ward and other hospitals
• Inform patients’ families on patients’ progress post operation
• Assist nurses and allied health professionals in educating and facilitating the clinicians care plan
• Inform and remind patients / families on follow up appointments and post discharge medical instructions
• Develop educational materials and assist in research activities of Adult Cardiac Surgeons
• Ad hoc duties as assigned by the Head of Department

Job Requirements:

• Minimum Degree, preferably in Nursing / Allied Health / Science or equivalent
• Excellent interpersonal and communication skills
• Preferably with working experience in a similar setting
• Proficient in using MS office

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

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

“Jobstudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties, please be aware of scams impersonating Jobstudio and our employees, you may call our office directly at 64221390 for verification. we will not be liable for loss arising from scams.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Choong Yi Han

EA Personnel Reg No: R2196526

✅ UP $3000

✅ 5.5 Days

✅ 8am - 5pm

✅ Geylang Bahru

Responsibilities:

· Handle incoming calls and emails

· Attend to all enquiries from customers

· Provide excellent customer service at all time

· Transfer calls to the correct department

Requirements:

• Minimum Nitec or above
• Minimum 1 year of experience in Customer Service or other relevant role

You may “Using Apply Now Button” to send in your updated resume.

For more information, please reach us at 9138 5316

*Only shortlisted candidates would be notified*

Choek Wei Qi Joel

Registration Number: R1877109

Workstone Pte Ltd

EA License Number:19C9998

Case Management Officer, Haem-Oncology (Cancer Centre)

• Oncology Nursing Background
• Non-Clinical Nursing Duties
• Office Hour
  

Job Description:

• Coordinate and assist clinical and nursing team in the planning and logistic needs of the patients in the pretransplant setting.
• Handle direct patients' care following stem cell transplantation or cellular therapy treatment.
• Conduct related and unrelated stem cell donor searches, facilities donor identification process and communicate with team on the updates.
• Contact patients prior to their first visit to confirm their attendances, remind them to attend and follow up appointment on time.
• Provide patients and their family education pertaining to stem cell transplantation care.
• Prepare the necessary documents required for stem cell transplantation care.
• Any ad-hoc duties as per assigned.

Requirement:

• Bachelor Degree in Nursing or Allied Health or Science related.
• Minimum 2-3 years experience
  

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

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

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Job Scope:

• Participate in patient screening and recruitment
• Assist in consent-taking for participants enrolled on a community screening research programme
• Provide administrative support in surveys, questionnaires and interviews for the ongoing studies
• Assist in data collection and management
• Ad hoc duties as assigned.

Job Requirements:

• A Diploma in Life Sciences / Nursing
• Good interpersonal and communication skills
• Proficient in MS Office

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button OR email to [email protected]

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

“Jobstudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties, please be aware of scams impersonating Jobstudio and our employees, you may call our office directly at 64221390 for verification. we will not be liable for loss arising from scams.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Choong Yi Han

EA Personnel Reg No: R2196526

Responsibilities:

• Assist Superintending Officer in daily close supervision and coordination duties for civil works (road, drainage, etc)
• Inspect and supervise Contractors’ works and tests to Approved Drawings and Specifications
• Keep quality records of all works, monitor and report on work progress
• Responsible for the consistency of quality assurance inspections and testing for works
• Implement quality assurance plan in a well-coordinated manner
• Coordinate with Contractors, Stakeholders, Authorities, Interfacing Contractors and the like on execution of works

Requirements:

• Diploma in Civil/Structural Engineering
• Registered as Resident Technical Officer with the Joint Accreditation Committee of the Institution of Engineers Singapore / Association of Consulting Engineers Singapore
• 8 years of relevant experience in quality assurance inspections on C&S works for various building/infrastructure projects

• Minimum 5 years of site experience in the supervision of various types of developments. Good knowledge of the conservation trade and restoration techniques, experience in GFRC construction is an added advantage. Experience in architectural finishes required.
• Must be accredited with the IES-ACES Joint Accreditation Committee (JAC)
• Possess a complete understanding of local regulations/ codes for building projects, and complying with BCA's criteria for buildability and safety assurance systems.
• A good team player with effective communication skills and the ability to interact with people at all levels.
• Able to work overtime when required.
• Proficient in Microsoft Office and Excel.
• Knowledge of BIM and VDC capabilities will be an added advantage.
• Attend site progress, technical, client-consultant, variation, coordination meetings etc., with the project team and client.
• Ensure that proper site documentation for ongoing works, site meetings, safety records, method statements, shop drawings, as-built submissions etc., are well managed and relayed.
• Quality control of all civil, structural and architectural works such as inspecting materials and workmanship and performing tests to check the quality of materials
• Prepare defects snagging list, monitor the progress of rectification works and ensure all the defects are satisfactorily rectified;
• Implement and sustain the site supervision quality & safety assurance system.
• To ensure all the contractor’s works are in statutory compliance; Provide full-time supervision of structural works in large building works
• Assist in the review of contractor's method statements and working procedures and ensure that contractor proceeds in accordance to approved method statement

Job Scope

• Coordinate with stakeholders to ensure project milestones are met within timelines.
• Work closely with relevant stakeholders on the ground coordination of projects
• Coordinate the planning and execution of associated initiatives and publicity plans
• Manage approved funding and expenditure
• Monitor progress of the projects and coordinate regular reviews with the project team and relevant stakeholders
• Assist in regulatory and IRB approvals for the research projects
• Assist in preparation of relevant reports/ presentations/ materials
• Assist in grant management and administration
• Monitor progress of research activities and outcomes
• Supervise staff involved in data collection and data entry/ transcription.

Requirement

• Bachelor's Degree in Public Health / Life Science or equivalent
• Minimum 5 years of relevant working experience

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

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

JobStudio Pte Ltd

EA License No: 10C4754

EA Personnel: Pearly Poh

EA Personnel Reg No: R2089904

Job Description

Grand Park City Hall is a sustainable sanctuary of modern comfort that takes pride and care in what we do and find joy in giving our best to positively impact people and the planet. We believe that true hospitality begins with service delivered with love and passion. If you share our passion for service, we invite you to join us. Discover your passion. Discover Love at Grand Park City Hall.

Job Responsibilities

· To perform the smooth operations of front desk and crystal club including but not limited to check in, check out, currency exchange, room change, audit balances, daily reports, food and beverage service according to establish policies and procedures.

· To assist all guests in a friendly, helpful and professional manner including but not limited to offering room orientation to all arriving guests or escorting guests to their destination within the hotel, attempting to use guest names at least twice during the engagement.

· To liaise with Guest Services Manager or Executive regarding any complaints and to assist walk in guests with alternative accommodation in the event of a full house situation.

· To inform other departments of arrival, room changes, check out and special arrangements.

· To maintain comprehensive knowledge of standard reservations procedures to assist Reservations personnel in their absence.

· To attend shift briefings to ensure hotel activities and operational requirements are known.

· To ensure effective handover and takeover of shift, ensuring proper follow-up and resolution of all outstanding issues.

· To attempt to upsell at every possible encounter, maximizing revenue.

· To ensure complete guests database including obtaining guest's passport details, nationality, date of birth and email addresses.

· To ensure that all Club guests are met, and in-room check in with room orientation is done.

· To perform any other job task as reasonably assigned.

Job Requirements

· At least 1 year of working experience in any F&B-related field.

· Outgoing, meticulous and service-oriented.

Job Objective

The commercial officer plays a key role in the overall commercial operation. The commerical officer is responsible for assisting towards the smooth operation of the Commercial Department.

Key Accountabilities:

• Coordinating visit requests from Suppliers
• Providing administrative assistance to the Commercial Manager
• Participating in undertaking and executing special tasks/projects as requested by the Management
• Maintaining the Department filing systems
• Maintaining a customer complaints log
• Maintain database of contracted Supplier’s details (incl. Supplier Request Form)
• Maintain a database of evaluations received from Members on contracted Suppliers
• Ensuring that all Member and Supplier agreements are filed, archived and available at all times
• Maintain Department Working List with updated information on all Members/Clients/vessels/contracts.
• Responsible for collecting all fleet changes of Members and submit to Commercial Manager for further action.
• Ensuring that the vessels information and fleet lists of Members are kept updated and circulated to relevant parties
• Ensuring distribution lists are up to date and available at all times
• Assist Commercial Manager in preparing all tender documents
• Take and distribute minutes of meetings
• Support statistics and analysis related to contract utilization and supplier performance
• Collect, develop, analyze and report statistical data to Commercial Manager reflecting activity with contracted suppliers.
• Prepare and maintain benchmarking records between suppliers/potential suppliers upon request.

Requirements

Education and Qualifications:

• Bachelor’s degree in Business Administration, Economics, Supply Chain, or a related field, or equivalent experience.

Work Experience:

• At least 3 years relevant work experience in a similar role in the maritime industry

Job-Specific Skills:

• Proficient in Microsoft Office programs, such as Excel
• Pays careful attention to detail and strong emphasis on accuracy
• Good organizational skills and ability to work within a team
• Ability to handle multiple projects simultaneously to meet goals and deadlines
• Proficient in English
• Multitasking
• Organizational skills
• Customer Focus
• Teamwork
• Communication
• Passionate and Committed
• Adaptable
• Time Management

Customer Service Officer responsibilities include responding to customer service inquiries, finding appropriate solutions, and updating customer accounts or services.

Responsibilities

• Being the first point of contact for our clients/guests, candidate act as the fitness club gatekeeper.
• Greet customers warmly and ascertain problem or reason for calling with an enthusiastic attitude.
• Work well with fellow customer service officers and Front of House Manager to ensure exceptionally high standard of service is being delivered.
• To handle cashing duties and account for transactions.
• Create and maintain good and friendly customer relations with members and guests.
• Issuance and recording of equipment and items loaned to members and guests.
• Ensure that the lounge and private room is ready for use when booked and closed after members have vacated the premise.
• Get members to register for upcoming events / competitions.
• Oversee and manage the corporate events at the Karaoke Lounge.
• Positive attitude and team player.
• Night shift 5PM-3AM

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

• External Grants Administration
• During the pre-award stage: Assist grant applicants who are interested in applying for research grants, and review research grant applications so as to ensure that the applications meet the funding agencies' requirements.
• During the post-award stage: Review progress reports and grant variations prepared by grant awardees for onward submission to funding agencies. This includes advice on justifications for grant variations, checks for accuracy, consistency, and completeness for the various reports to be submitted to the funding agencies.
• Research Contracting
• Review RCAs together with internal stakeholders to ensure that terms are aligned with the university's positions for research collaboration agreements and the university's interests, while escalating non-standard clauses to management for discussion and approval.
• Negotiate RCAs with external research partners together with internal stakeholders.
• Multi-disciplinary And Knowledge Exchange Research X (MAKER-X) engagements
• Support the planning and logistics for MAKER-X engagements.
• Executing the engagements and post-workshop follow-ups according to the approved agenda, which include performing any secretariat duties and regular reporting to management on outcomes from each engagement.
• Execute thematic research grant calls and review process for research collaborations with strategic research partners.
• Planning & Policy
• Support SMU university level research meetings by providing secretariat support, preparing meeting materials and monitoring and following up from meeting discussions.
• Articulate SMU research activities and performance of SMU in research in reports to SMU senior management and external stakeholders such as MOE.
• Review or draft university level research policies and attend to ad hoc policy related queries with regard to Research Data Management.
• Any other matters in other ORe functions where assistance is required.

• At least a Bachelor's Degree in any major.
• Minimum 7 or more years of working experience is preferred.
• Experience in research and grant management, and report writing will be highly advantageous.
• Excellent written and verbal communication and ability to influence and communicate effectively with external stakeholders, faculty and senior management.
• Pro-active, independent and resourceful with strong decision-making skills and the ability to work with minimal supervision.
• Meticulous, attention to detail, and exercise care in delivering quality work.
• Resourceful and responsible.
• Proficient in the use of Microsoft Office Word, Excel and PowerPoint.
• Proficient in the use of online meeting platforms for virtual meetings such as Zoom and Microsoft Teams.

#LI-ST1

Candidates who do not possess the stipulated qualifications but have relevant work experience may still apply. Remuneration and appointment terms shall commensurate with qualifications and experience. SMU reserves the right to modify the appointment terms where necessary.