Position Overview:

We are seeking a dynamic and experienced Regional HR Project Manager, APAC to manage our training and development initiatives across the Asia-Pacific region. This role will be responsible for designing, implementing, and overseeing various training programs, including leadership and technical training, internship programs, and mentoring initiatives. The ideal candidate will have a strong background in talent development, excellent communication skills, and the ability to work collaboratively with various stakeholders.

Key Responsibilities:

Promoting Training:

• Assist with Global L&D organizational development program implementations and deliveries - promotion of programmes and learning campaigns.
• Provide support for implementation of plans and strategies on succession planning, talent development, leadership training etc.
• Partner with regional senior management to select and localize learning and development programs that are scalable to the needs of the region in alignment with global and regional business needs
• In partnership with regional leadership and key stakeholders, support Fugro’s strategic objectives by fostering a learning culture
• Communicate regional business and employee needs with the global team and ensure that learning strategy, initiatives and priorities are in alignment.
• Ensure an equitable and inclusive approach to L&D activity across APAC
• Promote regional learning offerings and drive adoption and impact by regularly communicating and marketing available learning opportunities to the business and employees.
• Identify and recommend regional Learning solutions to enhance performance such as role clarification, process standardization, etc.

APAC Training Matrix:

• Collaborate with Service Lines and Functions to identify and define the competencies and skills required for the training matrix.
• Develop and implement a comprehensive training matrix that includes both leadership and technical training components.
• Work closely with the business to ensure employee technical competence is measured, monitored and compliant with industry standards and business expectations.

APAC ILT Participants:

• Lead recruitment drives for Instructor-Led Training (ILT) programs.
• Maintain close communication with ILT participants to monitor their progress.
• Provide career development support and follow-up upon participants’ graduation from the program.

APAC UGro Participants:

• Identify suitable personnel for the UGro program.
• Track attendance and motivation levels of UGro participants.
• Conduct regular check-ins to assess progress and identify potential for growth.
• Support career development and follow-up post-graduation.

Internship Program:

• Develop a structured internship program for technical personnel.
• Liaise with educational institutions to recruit potential interns.
• Monitor interns’ progress and provide regular feedback.
• Identify high-potential interns for potential hiring opportunities.

Mentoring Program:

• Design and implement a structured mentorship program.
• Facilitate regular check-ins between mentors and mentees to ensure progress and address any challenges.

Recruitment Support:

• Assist the Talent Acquisition (TA) group in organizing and participating in recruitment drives at career fairs and campuses (e.g., ITE, Polytechnic, University).

Team Building:

• Utilize Management Drive as a tool to facilitate team-building activities and enhance team cohesion.

Employee Success Stories:

• Develop and share success stories of employees who have participated in UGro and ILT programs to inspire and motivate others.

Qualifications:

• Bachelor’s degree in Human Resources, Business Administration, or a related field.
• Proven experience in training and development, preferably in a regional or global role.
• Strong understanding of talent development and competency frameworks.
• Excellent communication and interpersonal skills.
• Ability to work collaboratively with diverse teams and stakeholders.
• Strong organizational and project management skills.

Job Title: Therapy Aide

Job Description & Requirements:

l Minimum of 3 years of experience in a related field, demonstrating a strong foundation of knowledge and skills in therapy support.

l A collaborative team player with exceptional interpersonal and communication skills, capable of effectively liaising with therapists, clients, and other health care professionals.

l Possess analytical and problem-solving abilities, adept at identifying and addressing challenges to support the delivery of high-quality therapy services.

l Availability to work on public holidays, weekends, and retail hours, showcasing dedication and flexibility to meet the diverse needs of clients and the organization.

l Commitment to adhering to infection control procedures, prioritizing the safety and well-being of clients and staff members in all aspects of therapy support activities.

Key Responsibilities:

l Assist in the fabrication, donning, and doffing of orthoses and pressure garments under the guidance and supervision of therapists, ensuring precise execution and adherence to prescribed protocols.

l Support therapists in assessing clients' status to determine suitability for therapy sessions or continuation of ongoing therapy, providing valuable input and observations as needed.

l Collaborate closely with therapists to carry out treatment plans effectively, demonstrating competence and attentiveness in implementing therapy interventions and techniques.

l Record therapy sessions accurately and comprehensively according to predefined templates, ensuring meticulous documentation of client progress and treatment outcomes.

l Facilitate basic or routine group therapy sessions, assisting therapists in organizing and leading therapeutic activities to meet the diverse needs of clients.

l Educate clients on the proper use of therapeutic aids and assistive devices prescribed by therapists, providing clear instructions and demonstrations to optimize therapeutic outcomes.

l Provide education to patients and caregivers on therapeutic interventions, empowering them to actively participate in the therapy process and support ongoing progress outside of therapy sessions.

l Contribute to the fabrication of orthoses and pressure garments as directed by therapists, maintaining high standards of craftsmanship and attention to detail.

l Uphold the cleanliness and safety of therapy areas, ensuring compliance with regulatory standards and organizational policies to create a safe and conducive environment for therapy sessions.

l Manage inventories and equipment for the therapy department, conducting regular audits and replenishments to ensure availability and functionality of essential resources.

l Actively participate in quality improvement initiatives, contributing insights and suggestions to enhance the effectiveness and efficiency of therapy services.

l Perform administrative duties as assigned, including scheduling appointments, maintaining client records, and assisting with billing and documentation tasks as needed.

l Execute therapy procedures according to established protocols and guidelines provided by therapists, demonstrating proficiency and precision in all aspects of therapy support activities.

l Prepare clients, materials, and equipment for assessments or therapy sessions, ensuring readiness and organization to facilitate smooth and efficient service delivery.

We thank you for your interest and we regret that only shortlisted candidates will be notified. All resumes received will be used for recruitment purposes only.

EA License ID: 18C9520

EA Registration ID: R1765753

f you are looking for an exciting introduciton into the world of video production, come join our established production house.

You should already have some knowledge of the video production process, have worked on a film set before and are familiar with the ins and outs of the production environemnt

You will be tasked with running your own projects and budgets.

- Degree in a related field

- Speaks excellent english and has good communication skills

- Good time management and project cordination skills

- Comfortable with budgets and negotaitions

- Client management skills

Please have a portfolio of work to show

ANS EMPLOYMENT Pte. Ltd.

Singapore

SGD 2,500 - SGD 3,500

Job Description

Responsibilities

• Meet monthly sales target
• Manage enquiries
• Handle documents and applications
• Conduct and arrange interviews for clients
• Provide after sales support

Requirements

• CEI certification required
• Related experience in the industry is an advantage
• Sales oriented
• Good communication skills

Why Join Us:

• 5 days work week
• Attractive basic salary
• Commission + Incentives

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.

main responsibilities:

• Learn lines, songs and/or dances
• Research the play/character
• Attend all rehearsals scheduled
• Attend costume fittings
• Take direction from the Director and/or Choreographer
• Work with other Performers
• Attend technical and dress rehearsals
• Perform the show to an audience
• Use props and costumes during the performance
• Perform other duties laid out in the job description depending on the kind of show

Requirement:

• Strong leadership skills with an affinity for capacity development.
• Excellent conflict resolution abilities.
• Innovative, trustworthy, and impartial.
• Ability to work evenings, weekends, and holidays.

Job Scope –

• Handle day-to-day admin & accounting functions (data entry and bookkeeping into the accounting system)

• Responsible for handling general affairs and office management

• Assist in documentation of quotations, purchase orders, and delivery orders

• Liaise with internal employees and external parties regarding general affairs and administrative support functions

• Manage admin duties such as data entry, email, preparing of issuing of invoices, delivery orders, etc

• Coordination of payment issues between suppliers/customers and our company

• Coordination of disputes between our requestors and suppliers.

• Any other ad hoc duties assigned.

Requirement

• Possess at least ‘N’, ‘O’ level & ITE or equivalent relevant work experience

• At least 1-2 years of purchasing experience in the Construction Industry

• Can work independently with initiative and minimal supervision

About Four Seasons:

Four Seasons is powered by our people. We are a collective of individuals who crave to become better, to push ourselves to new heights and to treat each other as we wish to be treated in return. Our team members around the world create amazing experiences for our guests, residents, and partners through a commitment to luxury with genuine heart. We know that the best way to enable our people to deliver these exceptional guest experiences is through a world-class employee experience and company culture.
At Four Seasons, we believe in recognizing a familiar face, welcoming a new one and treating everyone we meet the way we would want to be treated ourselves. Whether you work with us, stay with us, live with us or discover with us, we believe our purpose is to create impressions that will stay with you for a lifetime. It comes from our belief that life is richer when we truly connect to the people and the world around us.

About the location:

As the world’s leading operator of luxury hotels, Four Seasons Hotels and Resorts currently manages 132 properties in 47 countries. Open since 1994, Four Seasons Hotel Singapore provides a preferred address for business and leisure travellers, and the highly personalised, anticipatory service that Four Seasons guests expect and value around the world. Recent awards and honours include Top 10 ‘Singapore’s Best Hotels’ and Top 5 ‘Singapore’s Best Hotel Spas’ in Travel + Leisure’s Luxury Awards Asia Pacific. For more information on Four Seasons Hotel Singapore, visit press.fourseasons.com/singapore or follow us on www.instagram.com/FSSingapore and www.facebook.com/FourSeasonsHotelSingapore

Exciting Opportunity: Director of Catering and Conference Services

This role presents a dynamic and rewarding opportunity for an experienced leader in Catering and Conference Services to drive success in a luxury hotel. If you have the vision and expertise to elevate our Catering and Conference Services offerings, we invite you to apply.

About the Role:

Director of Catering and Conference Services

The Director of Catering and Conference Services will lead and manage the catering team, ensuring efficient execution of events while maximizing revenue and delivering a high-quality experience for all guests. The role also involves active solicitation of new business and collaboration across departments to ensure smooth event operations, all while fostering a motivated and engaged team.

Key Responsibilities:

Leadership and People Management

• Lead, train, and motivate the Catering team to deliver high-quality events.
• Supervise all aspects of event operations, ensuring flawless execution.
• Develop team members through coaching, performance evaluations, and training.
• Coordinate weekly meetings with staff to troubleshoot and review events.
• Ensure adherence to service standards and guest satisfaction metrics.

Sales and Revenue Management

• Actively solicit and secure new business, including corporate, social, and group events.
• Optimize space utilization and manage function space allocation to maximize revenue.
• Work with Sales & Marketing and Revenue teams to develop event pricing strategies for related market segments and forecasting.
• Lead sales activities, including responding to inquiries, managing leads, and driving event conversions.
• Build and maintain relationships with key accounts, event planners, and stakeholders.
• Work with the Director of Banquet Operations and Executive Chef to monitor and manage Banquet and Food & Beverage expenses and revenues.

Technical and Functional Competencies

• Ability to formulate catering sales manager goals and budget setting.
• Liaise with department heads such as Chefs, Banquet Managers, and Front Office Managers to ensure smooth execution of all Catering and Group events.
• Oversee audio-visual requirements and ensure all logistical aspects of the event are handled efficiently.
• Prepare reports on booking pace, forecasting, month-end analysis, and other relevant metrics.
• Ensure team and relevant operating departments are kept up to date with competitor activities and provide insights on the market when required.
• Ensure compliance with safety and sanitation standards.

Administrative Duties

• Ensure all event documentation is accurate and up-to-date, including contracts, proposals, and function sheets.
• Maintain an effective trace and follow-up system for client communication.
• Prepare and monitor budgets, forecasts, and pacing reports.
• Implement standards for space management to avoid conflicts in event setup and breakdown times.

Client Relationship Management

• Establish and maintain strong working relationships with clients to ensure repeat business.
• Address and resolve any complaints or issues arising from events.
• Conduct pre-event and post-event meetings with clients to ensure satisfaction and opportunitie for future bookings.

What You Bring:

• Strong commercial acumen, leadership, and team management skills, with the ability to lead, motivate, and inspire team members.
• Commitment to employee training, learning, and development, fostering a positive and productive work environment.
• 5+ years in Hotel Catering, MICE Sales, or related fields such as Banquet or Rooms Division, preferably in a luxury brand.
• Proven experience in event planning, catering, and sales management (i.e. familiarity with sales processes, lead management, and customer relationship management. Experience with budgeting, forecasting, and revenue management for events. Knowledge of local market trends and competitive landscape.)
• Understanding of catering and conference services, menu planning, food and beverage service standards, and banquet operation matters (i.e. audio-visual requirements, space management, event logistics). Knowledge of event management software (e.g., Golden Sales & Catering, Opera or similar tools).
• Strong organizational and problem-solving abilities. Ability to manage large teams, handle complex schedules, and coordinate across departments.
• High attention to detail and creativity, with the ability to handle multiple priorities and the demands of a dynamic environment.
• Excellent interpersonal and influencing skills in building and maintaining relationships across departments and with guests, creating a memorable and high-quality experience.
• Excellent verbal and written proficiency in English.
• Proficient in Microsoft Office.
• Preferably a degree holder in Hospitality Management, Business, or its equivalent.

What We Offer:

• A culture built on mutual respect, offering a growing world of opportunities and an environment that supports the pursuit of excellence.
• Career growth opportunities.
• A strong, unique culture.
• Best-in-industry training.
• Complimentary stays at Four Seasons properties (subject to availability), with discounted meals.
• Paid holidays/vacation.
• Dental, medical, and life insurance.
• Employee service awards/Birthday Gift.
• Annual employee party/social and sporting events.
• Complimentary meals in a dedicated employee restaurant.
• Due to work visa restrictions, we regret to inform that this position is open to Singaporeans only.

Schedule & Hours: This position requires one to work from Mondays to Fridays, 8.30 am to 6.00 pm with flexibility in scheduling (i.e. the ability to work on weekends and festive holidays subjecting to work exigencies).

Job Description

• Report to the Restaurant Manager in ensuring the smooth daily operation of the restaurant.
• Greet customers as they arrive and assign them to their table or reservation arrangement.
• Ensure customers have a pleasant and memorable dining experience
• Maintaining guest satisfaction levels by being proactive in in-service operations.
• Serving and clearing of food & beverages
• Taking of orders
• To ensure that all pre-opening duties are completed on schedule daily.
• To clean up section area after service and maintain the cleanliness of the area.
• Take appropriate action in the event of an accident or complain to guests or employees.
• Ensure that food hygiene and safety standards are maintained and comply
• Perform general housekeeping and equipment maintenance duties
• Any other appropriate duties and responsibilities as assigned.

Job Requirement

• GCE ‘O’ Levels or WSQ Advanced Certificate in Food & Beverage Service or equivalent.
• At least 1 to 3 years of F&B experience
• Able to handle all levels of customers
• Strong communication, interpersonal, public relations, and management skills.
• Able to work independently and in a team
• Split Shift arrangement
• 5.5 days work week
• 
  

Job Description & Requirements

• To provide quality yoga classes to ensure clients enjoy a positive and inspiring training experience every time they attend group yoga classes at Platinum Yoga.
• Be able to deliver different class programs/class formats.
• Knowledgeable in group yoga instruction and coaching.
• Watch clients do yoga to ensure that they are using the correct techniques.
• Be motivating and able to give clear instructions.
• Connect with clients during the yoga classes through fun, intelligent sequencing.
• Minimum 6 months to one year of experience in teaching group yoga classes.
• Minimum of 200 hours of experience.
• CPR/First Aid certification (preferable).
• Education or experience in health and fitness (preferable).

Please email your resume to [email protected] . Only shortlisted candidates will be notified.

About Four Seasons:

Four Seasons is powered by our people. We are a collective of individuals who crave to become better, to push ourselves to new heights and to treat each other as we wish to be treated in return. Our team members around the world create amazing experiences for our guests, residents, and partners through a commitment to luxury with genuine heart. We know that the best way to enable our people to deliver these exceptional guest experiences is through a world-class employee experience and company culture.
At Four Seasons, we believe in recognizing a familiar face, welcoming a new one and treating everyone we meet the way we would want to be treated ourselves. Whether you work with us, stay with us, live with us or discover with us, we believe our purpose is to create impressions that will stay with you for a lifetime. It comes from our belief that life is richer when we truly connect to the people and the world around us.

About the location:

As the world’s leading operator of luxury hotels, Four Seasons Hotels and Resorts currently manages 132 properties in 47 countries. Open since 1994, Four Seasons Hotel Singapore provides a preferred address for business and leisure travellers, and the highly personalised, anticipatory service that Four Seasons guests expect and value around the world. Recent awards and honours include Top 10 ‘Singapore’s Best Hotels’ and Top 5 ‘Singapore’s Best Hotel Spas’ in Travel + Leisure’s Luxury Awards Asia Pacific. For more information on Four Seasons Hotel Singapore, visit press.fourseasons.com/singaporeor follow us on www.instagram.com/FSSingaporeand www.facebook.com/FourSeasonsHotelSingapore

About the role

Guest Relations Manager, Front Office

The Guest Relations Manager is a key member of the Rooms Management Team, overseeing the hotel lobby and ensuring a pleasant arrival/departure experience. As the first and last impression of the hotel, this high-profile role carries significant responsibility.

What you will do:

As the Guest Relations Manager, you will oversee and mentor a dedicated team, ensuring seamless operations and exceptional guest experiences. You will manage guest arrivals, departures, and billing requirements, swiftly resolving any discrepancies efficiently by ensuring seamless communication between department managers.

Exceptional customer service is at the heart of this role. You will professionally handle guest interactions, accurately assess and respond to guest needs, provide personal recommendations, and ensure maximum guest satisfaction while adhering to all Four Seasons policies.

Your ability to act swiftly in matters related to guest and employee safety, security, and satisfaction is key, in the absence of senior managers. Financial management is vital, as you will ensure adherence to financial and credit procedures, address credit issues, and verify cash transactions for accuracy.

What you bring:

• Diploma in Hospitality Business or its equivalent
• Two (2) years of relevant experience within Four Seasons (or a top luxury group) is considered an asset
• Good organisational skills, ability to prioritize workload and handle pressure
• Excellent interpersonal skills, and problem-solving abilities with a high level of professionalism
• Proficiency in Opera is required
• Ability to communicate (verbal and written) in English. Preferably equipped to communicate in a second language.
• Kindly note that due to work visa restrictions, the position is open to Singaporeans only

What we offer:

With a culture built on mutual respect, a growing world of opportunities and an environment that supports the personal drive for excellence, a Four Seasons career can be exceptionally rewarding.

• Career growth opportunities
• Unique strong culture
• Best-in-industry training
• Complimentary stays at Four Seasons properties (based on availability), with discounted meals
• Paid holidays/vacation
• Dental and medical/life insurance
• Employee service awards/Birthday Gift
• Annual employee party/social and sporting events
• Complimentary meals in dedicated employee restaurant

Schedule & Hours:

This position requires a person with a flexible schedule and the ability to work on a rotating shift basis, including occasional overnight shifts, weekends, and public holidays.

ARCHITECTURAL EXECUTIVE

1) Possess a diploma or degree in Architecture.

2) Minimum 2 to 5 years relevant experience.

3) Good knowledge of building regulations and codes.

4) Excellent interpersonal and communication skills.

5) Passionate about design and enthusiasm to deliver the very best for our clients.

6) Encourage and promote high standards of design and efficient ways of working.

The Solutions Architect will oversee the Solutions team to plan, execute, and deliver complex software’s solutions.

This role involves coordinating with cross-functional teams, managing client relationships, and ensuring that projects are delivered on time, within scope, and within budget. The ideal candidate will have a strong technical background, excellent project management skills, and a proven track record in delivering SaaS solutions.

How you’ll contribute

● Develop comprehensive project plans, including timelines, milestones, and resource allocation as per the designed solution.

● Serve as the primary point of contact for clients throughout the project lifecycle. Manage project execution, monitoring progress against the plan, and making adjustments as necessary.

● Maintain strong relationships with key stakeholders, ensuring clear and consistent communication.

● Address client concerns and provide regular updates on project status.

● Coordinate with cross-functional teams, including development, QA, and customer success and with stake holders, to ensure seamless project delivery.

● Facilitate regular team meetings to track progress, resolve issues, and ensure alignment with other project members who are envolved in .

● Identify potential project risks and develop mitigation strategies.

● Monitor and manage risks throughout the project lifecycle, ensuring timely resolution of issues.

● Ensure that all project deliverables meet quality standards and client expectations.

● Prepare regular financial reports for senior management.

● Track and report on project performance metrics, including delivery timelines, budget adherence, and client satisfaction.

● Provide regular project status reports to senior management and stakeholders.

● Utilize project management tools to maintain accurate project documentation.

Who you are:-

● Bachelor’s degree in computer science, Engineering, or a related field. Solution architect/PMP/PRINCE2/SCRUM or similar certification is mandatory.

● At least 10 years of experience in Pre-sales,project management, with a focus on software pre-sales, solutioning,Software services, development, and deliveries.

● Proven track record of managing and delivering complex SaaS projects.

● Proven experience in leading and mentoring solutions teams.

● Strong technical background with knowledge of software development processes and methodologies.

● Preference to someone coming from a SI Background.

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

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

Your Profile

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

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

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

About Foodsta Kitchens

Headquartered in Singapore, Foodsta Kitchens is a digital first restaurant company with operations in Singapore and India. Foodsta owns and operates 6 fast casual brands in Singapore – Bloom Cafe Pte Ltd (Formerly known as Artisan Boulangerie Co.(ABC), Alt. Pizza, Green Monster, Chi Ji and Fat Mario, Now Pizza. We believe that people are the foundation of our business are committed to providing a fun work environment and scope for rapid career development.

Title: Finance Executive

Reprting to: Finance Manager

Job Responsibilities:

• Manage day to day accounting functions and perform bookkeeping for AR, AP and GL
• Manage AR receipts, AP payments and monitor ageing report together with bank reconciliation
• Work closely with finance team to ensure PnL and other reports are done within stipulated timeline
• Work closely with operation team for daily orderings and liaise with suppliers for any discrepancy on orders and invoices
• Prepare, maintain, and review purchase price lists and highlight for the price changes

Requirements:

• Fresh graduate with degree or diploma in finance are welcome.
• Highly motivated, pro-active & resourceful
• Excellent interpersonal skills and contribute to a positive work environment
• Able to multitask and work in a fast paced environment
• Excellent verbal and written communication skills

Additional Information:

• Training required for the role will be provided
• Warm and friendly work environment

Company Benefits:

• $1000 staff referral bonus
• Annual Performance Bonus
• Medical benefit
• Staff discount

Work Location:
Holland Village

About Foodsta Kitchens

Headquartered in Singapore, Foodsta Kitchens is a digital first restaurant company with operations in Singapore and India. Foodsta owns and operates 6 fast casual brands in Singapore – Artisan Boulangerie Co.(ABC), Alt. Pizza, Green Monster and Fat Mario, Chi Ji, NowPizza. We believe that people are the foundation of our business are committed to providing a fun work environment and scope for rapid career development.

Job Responsibilities:

• Manage day to day aspects of Human resource function - recruitment, payroll, performance management, employee relations, policy and planning etc
• Leverage multiple recruiting sources and programs to identify and recruit candidates
• Manage employee lifecycle end to end from onboarding to off boarding including preparationand execution of various employee contracts
• Manage statutory and compliance submissions such as CPF, taxes, work pass applications etc.
• Process payroll timely and in a timely and accurate manner and liaise with finance department for payment processing
• Develop and maintain strong relations with departments to understand their people requirements and provide necessary support
• Pro-actively work towards fostering and reinforcing a positive work environment & culture
• Identify opportunities for productivity improvement by improving business process and adopting best practices
• Ensure that employee data is always up to date in HR systems
• Prepare and submit documentation and reporting in a timely manner

Job Requirement:

•  Diploma preferably in HR Management or related studies
•  Excellent communication skills
•  1 to 3 years of relevant experience in human resources function, preferably in F&B industry
•  Knowledgeable in Singapore labour laws and employment act and other regulatory requirements
•  Adaptable in fast-paced working environment
•  Competence to build and effectively manage interpersonal relationships at all levels of the company

Company Benefits:

• $1000 staff referral bonus
• Annual Performance Bonus
• Medical benefit
• Staff discount

• Responsible for the constant supply of beverage stock
• Sets up assigned bars; requisitions and stocks all beer, wine, spirits, paper products, straws and stirrers, condiments, glassware, ice and produce
• Maintains stock, prepares, cures and stores all fresh fruit and vegetable garnishes, juices and other perishables to ensure product quality
• Greets guests in a courteous, friendly manner
• Takes and/or processes orders for drinks; mixes, garnishes and presents drinks using standard ingredient recipes; practices prudent portion control
• Detects and acts upon guest inebriation as trained.
• Locks up and stores all beverage product, food, equipment items
• Performs general cleaning tasks to adhere to health and safety standards; keeps work area clean and organized
• Arranges bottles and glasses to maintain an attractive display in the bar area
• Wash glassware

• Good command of spoken English
• Pleasant and outgoing personality
• Team player, preferable with good communication and interpersonal skills
• Positive service attitude, coachable
• Able to work on weekends and public holidays

• 5 day work week
• Variable bonus and daily incentive scheme
• Free shuttle bus from Tanah Merah MRT station

• Washing of dishes, kitchen equipment, utensils (machine wash)
• Washing and cleaning of dishwashing equipment
• Maintain the dishwashing area to be clean and tidy
• Clear rubbish, ensure no trash left overnight
• Any other adhoc duties as decided by management from time to time.

• Team player
• High standard of personal hygiene
• Able to work on weekends and public holidays

• 5 day work week
• Variable Bonus and daily incentive scheme
• Free shuttle bus from Tanah Merah MRT station