Responsibilities:

• Coach theoretical and practical lessons for motorcar/motorcycle.
• Teach and motivate customers assigned.
• To promote safe driving.
• Maintenance and upkeep of training equipment and resources.
• Other ad-hoc duties as assigned

Requirements:

• No experience required, training will be provided.
• Minimum GCE N-Levels, ITE/ITC or equivalent.
• Possess a valid Singapore Class 3 (manual/auto) license and for at least 3 years.
• Bilingual, preferably fluent in English with good communication and interpersonal skills.
• Remuneration package shall commensurate with higher educational qualifications.
• Both genders may apply.
• Must be able to commit to work 2 shifts (weekly rotating morning / afternoon)

Morning shift:

Monday to Saturday: 7.20am to 3.10pm

Lunch break: 11.00am to 11.30am

Rest day: Sunday

Afternoon shift:

Monday to Friday: 3.05pm to 10.55pm

Dinner break: 6.50pm to 7.20pm

Sunday: 7.20am to 3.10pm

Rest day: Saturday

Only shortlisted candidates will be notified.

Job Description & Requirements

Responsibilities:

• Develop software solutions by studying information needs; conferring with users; studying systems flow, data usage and work processes; investigating problem areas; following the software development lifecycle.
• Determine operational feasibility by evaluating analysis, problem definition, requirements, solution development and proposed solutions.
• Document and demonstrate solutions by developing documentation, flowcharts, layouts, diagrams, charts, code comments and clear code.
• Prepare and install solutions by determining and designing system specifications, standards and programming.
• Improve operations by conducting systems analysis; recommending changes in policies and procedures.
• Update job knowledge by studying state-of-the-art development tools, programming techniques and computing equipment; participating in educational opportunities; reading professional publications; maintaining personal networks; participating in professional organizations.
• Protect operations by keeping information confidential.
• Provide information by collecting, analyzing and summarizing development and service issues.
• Accomplish engineering and organization mission by completing related results as needed.
• Support and develop software engineers by providing advice, coaching and educational opportunities.
• First and foremost, developing software our users need.
• Collaborate with team to brainstorm and create new products.
• Grow engineering teams by interviewing, recruiting and hiring.
• Make informed decisions quickly and taking ownership of services and applications at scale.
• Work collaboratively with others to achieve goals.
• Be a persistent, creative problem ­solver.
• Remain cool and effective in a crisis.
• Stay on the leading edge of development practices
• Passionate about great technologies, especially open source
• Understand business needs and know how to create the tools to manage them.

Requirements

• Bachelor's degree in computer science or related field.
• Minimum 3 years of programming experience.
• Broad experience designing, programming, and implementing large information systems.
• Ability to provide in-depth evaluation and analysis of unique complex technological issues.
• Excellent analytical and problem-solving skills.
• Excellent organization and time management skills.
• Excellent written and verbal communication skills.
• Demonstrated ability to lead others.
• Ability to exercise discretion and independent judgment in the performance of duties.

The Team

Managing the administrative matters of the organisation and providing administrative support to the CEO. As part of the role, you will be exposed to all administrative support matters and assisting various departments on management and compliance matters

Job Responsibilities

• Handle all telephone enquiries and calls with professionalism and courtesy, on phone or email
• Assignment of leads from company hotline to respective salesperson in accordance to portal listing records based on ERP system queue
• Coordination of advertisement with relevant advertisement agencies and vendors
• Manage subscriptions and distributions to respective personnel including but not limited to newspaper subscriptions, advertisement agencies
• Coordinate room booking, preparation of meeting and provision of hospitality to guests e.g. serving of drinks to waiting guests
• Ensure proper daily maintenance of office supplies, amenities and replenish stocks on a prompt basis
• Report maintenance issues, e.g. furniture, flooring, fittings, equipment to the relevant party(s)
• Manage incoming and outgoing documents and billing on a timely manner including but not limited to couriers, hotline contracts, name card printing, MediaRing updates, corporate billing on credit card, road tax, insurance group policies
• Coordinate the season parking matters, monthly phone billing contract status, rebates, annual pest control service, group insurance renewal and discount with vendors with proper filing
• Enrolment and maintenance of fingerprint biometric access records for employees
• Manage the attendance maintenance program for book-keeping purposes
• Coordinate despatch and bank cheque schedules whenever necessary
• Coordinate catering, flower, hampers for corporate events on request basis
• Assist office employees with their business travel and accommodation arrangements
• Any other ad-hoc duties as assigned by the Management

Job Requirements

• Candidate must possess at least a GCE O/A Levels or NITEC / Higher NITEC Certification / Diploma
• At least 1 year of working experience in administrative support or relevant field
• Fluent in spoken and written English
• Friendly, independent and self-starters preferred
• Ability to multi-task, organised and meticulous

Jenga Corp wishes to hire an Assistant Business Consultant.

Interested applicants MUST apply by resume and cover letter through emailing [email protected]. We MUST receive an email application from you in order to consider you.

About the role:

• Manage and grow assigned account base and business segments;
• Understand and gather clients’ requirements, analyse, design and implement business performance approaches, develop tailor-made solutions;
• Work closely with clients to ensure positive impact and sustainable results;
• Manage and ensure clients are compliant with relevant statutory and regulatory requirements;
• Manage and mitigate risks;
• Maintain a strong understanding of the competitive landscape, industry trends and emerging technologies in the blockchain and cryptocurrency space;
• Research, business analysis and process re-engineering based on industry’s best practices and accelerators;
• Manage client files and update information daily in accordance to the Company’s policies and procedures;
• Identify and establish partnerships with key stakeholders, industry associations to drive user acquisition and brand awareness
• Monitoring and reporting of personal sales activities and performances;

You should have:

• Outstanding problem-solving skills with demonstrated ability to identify business issues, conduct analyses and synthesise conclusions into recommendations
• Strong general business acumen, broad understanding of current Finance trends and technologies, their impact on business strategy;
• Positive attitude, driven and ready to take on challenges;
• Meticulous attention to detail and follow-through; perform tasks with high degree of accuracy and efficiency with the ability to meet deadlines;
• Ability to work independently, to take initiative and to overcome obstacles;
• Ability to successfully manage competing priorities, keeping constant sight of the overall objectives;
• High degree of flexibility in a demanding, fast-paced and frequently changing environment;
• Strong service orientation in responding to customer needs;
• Excellent oral and written communication skills (both in English and Chinese to better manage the clients);

Interested applicants MUST apply by resume and cover letter through emailing [email protected]. We MUST receive an email application from you in order to consider you.

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

Requirement:

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

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 Principal Investigator (PI), and where relevant, the Industry Directorand 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 manner as 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 multipleuse 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 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 be active members of the applied research community, by validating and contributing to advances in computational law.

As a Technical Project Manager, you will be required to work closely with and at the direction of the PI and Industry Director. This includes:

• Determining and planning the core requirements, deliverables, budget, and resources of a use case or research project
• Allocating tasks and designating responsibilities by identifying the specific skill sets of engineers
• Supervising the research team and monitoring progress of technical tasks on a daily basis,
• Leading project milestones tracking and ensuring that project objectives and timelines are met
• Identifying project challenges and problems and devising strategies to resolving them at both the team level and technical level
• Coordinating the team and developing effective communication plans and processes
• Collating project status update and reporting them regularly to the PI and Industry Director, including escalating any functional/timeline issues in a timely manner
• Organising meetings, setting the right agenda, recording outcomes and tracking open items to closure
• Managing risk, issue, dependency and ensuring mitigation plan
• Driving the recruitment for roles within the team to fill any skills gap
• Engaging with industry partners to understand business requirements and constraints
• reading academic papers, standards publications, and related material such as blog posts andpresentations
• Reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research workdone
• 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.

• Bachelor Degree, and any experience with law and/or computer science, are a plus
• Degree holder with at least 5 years of relevant working experience
• Track record in leading, managing and delivering technology projects
• Good team player with excellent interpersonal and communication skills (written/spoken English)
• Strong experience in project management
• Excellent analytical, problem solving and stakeholder management skills
• Strong capabilities in producing project reporting
• Technical proficiency: GitHub, Asana, Slack, and all major forms of software methodology (Agile, Lean,Scrum, etc)
• Essential for the individual to be self-motivated, resourceful, and able to work independently
• Agile, with meticulous attention-to-detail, and well-organised
• Ability to multi-task and willingness to learn quickly and effectively
• Ability to be discrete and maintain confidential information
• Understanding of how to prioritize and respond accordingly
• A self starter who is able to work independently, and under pressure, while consistently exercisingsound judgment even when faced with ambiguity
• Be transparent and unafraid to challenge, ask questions or call out obstacles
• Excellent organizational skills and ability to roll up your sleeves to get things done

#LI-JN2

Koelnmesse, founded in Cologne, Germany, is one of the world's largest trade fair companies since 1924. With over 80 annual international trade fairs and conferences organized worldwide, Koelnmesse is the leading trade fair organizer across the following sectors: Food and Food Technology; Technology, Digital Media and Entertainment; Health, Lifestyle and Facilities and more. Koelnmesse Pte Ltd, established in Singapore since 2002, is one of the key subsidiaries managing the trade fairs and conferences in the Asia-Pacific region.

Essential Roles and Responsibilities:

Payroll Management:

• Process payroll accurately and on time for all employees in Singapore, Taiwan and Hong Kong.
• Ensure compliance with payroll regulations and company policies.

Standardization of HR Practices:

• Assist to develop and implement standardized HR policies and practices across various countries.
• Ensure that local laws and cultural nuances are considered while maintaining global consistency.

Recruitment:

• Collaborate with hiring managers in various countries and help in the recruitment process.

Performance Management:

• Support performance appraisal processes and provide guidance to managers.

Others:

• Help to organize social events, team buildings, trainings, townhalls, etc.
• Some administrative work

Requirements:

• Bachelor’s degree in Human Resources, or a related field.
• 5 years working experience in human resources, payroll experience is a must.
• Strong knowledge of HR practices, employment laws, and payroll regulations.
• Ability to clearly convey information, both verbally and in writing.
• Excellent interpersonal skills, able to build relationships and interact with employees at all levels and in various countries.
• Strong ability to manage multiple tasks and projects efficiently.
• Precision and confidentiality in handling employee records, payroll, and compliance matters.
• Positive attitude and interest in the exhibition industry.

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 Responsibilities

• Reporting to the Director of Rooms, the Front Office Manager takes charge of the Front Office Operations such as planning, coordinating and supervising;
• Train and motivate the team to deliver service excellence.
• Make sure all guest requests and queries are responded to promptly and effectively and be available to assist on duty in the hotel;
• Maintain presence in the lobby, setting an example to team members for guest service.
• Maintain leave plans, monitor and control the department.
• Coordinate with the Housekeeping department to ensure that cleaning is followed up and procedures are maintained.
• Prepare annual budget.
• Control and review expenses monthly.
• Ensure the new join team members have all relevant information upon commencing employment and receive relevant training.
• Carry out annual appraisals with all team members and identify individual training needs per hotel guidelines.
• Work closely with the Revenue and Sales Department to maximize revenue, room inventory control and drive upsell.
• Co-ordinate with the various departments to deliver quality stay experience for guests.
• Train and develop the Front Office staff;

REQUIREMENTS

• Diploma/Degree in any discipline.
• Min 2 years of similar experience or 4 years as Assistant Front Office Manager in the hospitality industry.
• Knowledge of Opera-cloud system.
• Competent in MS Words & Excel applications.
• Strong leadership, organisational and decision-making skills.
• A positive and people-oriented person
• Able to multi-task and detail-oriented communication
• Good interpersonal and communication skills

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

As a Client Service Associate, this position will be the first point of contact and support to the client via emails or calls.

You will be working with a dynamic team to solve issues that arises from the services provided.

Your job role includes but are not limited to:

• Assisting in the management of portfolios or corporate clients
• Troubleshoot and resolve client requests or issues promptly, to coordinate with internal support teams where required.
• Maintenance of Client database, including data entry and upload
• Client implementation and system setups
• Generate and prepare monthly/ ad-hoc Client reporting
• Client contract renewals and upsell of services where applicable.
• Other administrative tasks including member card preparation, documentation, filing etc
• Assist with accounts receivable follow-ups where required

Requirements for the role:

• Diploma in any discipline
• Candidates with prior experience with healthcare insurance provider will be an added advantage
• Proficient in Microsoft Office Applications
• Possess good interpersonal and communication skills
• Passion for customer service

Should the incumbent be successful in this role, he/she will be considered for full-time conversion.

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

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

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

Join Our Growing Team!

The SKYLINK Group is a premier all-in-one mobility solution provider for retail sales of passenger cars and commercial vehicles, all vehicle leasing, Motor insurance, credit Hire Purchase financing, Motor workshop with full capacity of MRO (Maintenance, Repair and Overhaul) services, and vehicle body engineering works for all commercial and passenger vehicles.

Since 2017, SKYLINK Group has been rapidly expanding its offerings and fleet. We have served over 5,000 corporate customers including major industry leaders in logistics, distribution, F&B, marine, construction, sanitation, and government services.

With a commitment to fleet modernization, we have expanded our offerings to EV and Hybrid vehicles, and continuously aspire to provide greater value to our customers.

Be a part of the SKYLINK family and kick-start your career growth and progression in the mobility space today.

The Job

• Provide advisory roles for insurance related inquires
• Provide quotation for customers and advise the best insurance and its products
• Administer documentation for cost, claims and Issuance of Cover Note, Insurance Certificate and Invoicing to customer
• Follow up with customers on Payment collection from customer
• Follow up with existing customers base for policy renewal
• Follow up with customers and insurance companies for payment of Excess pertaining to own damage claims and repair costs pertaining to third-party claims
• Liaise with all parties, mainly workshop and insurance partners for accurate information provide to customer and prompt repair of the vehicle
• Effectively handle multiple priorities, organize workload, meet deadlines and perform detailed daily record keeping and reporting
• Ensure all customer issues or complaints reported are resolved and addressed in a timely manner to ensure customer satisfaction
• Weekly and monthly updates and report to Directors

Requirements

• At least 3 Year(s) of working experience in the related field is required for this position
• Possess General Insurance Certificates (BCP, PGI and CommGI), Health Insurance (HI) certificates is an advantage.
• Bilingual (Mandarin and English) to liaise with Chinese clients
• Good interpersonal and communications skills with the ability to build strong client relationship
• Meticulous with a flair for details, multi-task and highly committed
• Able to prioritise, articulate issues, problem identification, evaluation, and provide resolution
• Team player with self–discipline and willing-to-learn qualities

BENEFITS

* Birthday Perks

* Medical & Dental claimable + Insurance Coverage

* Team Bonding & Activities

* Easy access working location

* Career Progression

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.

Job Descriptions:

• Perform structural design and analysis, loading calculation and drawings for ETFE Skylight, Tensile Membrane, Structural Steel Structures.
• Able to perform Finite Element Analysis Modeling and Analysis of Structure.
• Preparation of 3D structural models and shop fabrication drawings, method statement etc.
• Work closely with architects, engineers, general contractors, fabricators and other professionals.
• Involve in supervising projects and provide progress report.
• Make sure projects meet authorities requirements.

Job Requirements:

• Minimum PhD or Masters degree in Civil and Structural Engineering or equivalent
• Minimum 2 years relevant experience in Civil and Structural Engineering design
• Proficiency with steel 3D modelling, analysis & design software such as Rhino and grasshopper.
• Proficiency with programming language especially C++ , Python and Fortran
• Able to produce detailed layout drawings
• Experience in Tensile Membrane, ETFE Skylight and Steelwork design is an advantage
• Good command of English

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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