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.

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.

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

AccVisory Pte Ltd

About the Company

We are a fast growing and dynamic boutique public accounting firm providing accounting, assurance, corporate secretarial, tax and business advisory services. We are also approved training employers under the ACCA, ICAEW and SCA Schemes.

In AccVisory, we believe in supporting and helping our staff to become competent and effective in their work. We also believe that it is possible to achieve work life balance through sufficient planning and tapping on technology to do things more efficiently.

Over the years, we have incorporated new technologies, such as robotic process automation (RPA) into our work areas so as to get ourselves future-ready for opportunities in professional services afforded through digitalisation.

Working here gives you an opportunity to acquire new and emerging skill-sets, such as digitalisation, accountancy advisory or data analytics that are associated with the evolving role of an accountant.

You can look forward to a challenging, yet satisfying and practical experience in our public accounting practice as our staff get to take on and experience other job roles to build their professional skill-sets beyond those of a traditional accountant.

We are located at Rochor area. Visit www.accvisory.com for more information about us.

Accounts Assistant / Associate

Your professional designations are as follows:

i. Accounts Assistant -> Corporate Services Executive

ii. Associate -> Corporate Services Senior Executive

Job Description:

With supervision from the senior, managers and partners, your primary focus is to ensure that the accounting, corporate secretarial, tax and related assignments are executed based on the relevant professional requirements.

You will have the opportunity to use of robotic process automation (RPA) technology to prepare reports and schedules that are to be delivered to the clients and other external parties.

You shall be responsible to prepare the following deliverables for clients and other external stakeholders:

1. Full set of management accounts, unaudited financial statements or consolidated financial statements and business activity reports
2. Perform financial accounting and corporate reporting activities;
3. Prepare and submit GST return and tax computations

You will also contribute as a team member, assuming shared responsibilities, providing support and managing effective communication with fellow colleagues on a regular basis.

Finally, you are responsible for developing and maintaining professional relationships with clients.

Job Requirements:

● Diploma/Degree in Accountancy or a professional qualification under the ACCA, ICAEW and SCA schemes

● Proactive, committed and a team player

● Possess initiative and ability to work independently

● No experience required

Benefits:

● Approved Training Organisation (ATO) by ACCA & SCAQ

● Flexible Working Arrangements (FWA)

● Training you to become a professional auditor/ accountant/ business advisors through on the Job trainings

● Challenging and fulfilling career growth

● Dynamic working practices and environment

● Unlimited pantry access (while stock last)

Write in to us with your latest resume, expected salary and attach a recent photograph to [email protected]

We regret that only short-listed candidates will be notified.

AccAssurance LLP

About the Company

We are a fast growing and dynamic boutique public accounting firm providing accounting, assurance, corporate secretarial, tax and business advisory services. We are also approved training employers under the ACCA, ICAEW and SCA Schemes.

In AccAssurance, we believe in supporting and helping our staff to become competent and effective in their work. We also believe that it is possible to achieve work life balance through sufficient planning and tapping on technology to do things more efficiently.

You can look forward to a challenging, yet satisfying and practical experience in our public accounting practice as our staff get to take on and experience other job roles to build their professional skill-sets beyond those of a traditional accountant.

We are located at Rochor area. Visit www.accassurance.com.sgfor more information about us.

Audit Assistant / Associate

Job Description:

• Work on audit and related assignments under the supervision of audit seniors, managers, and partners, to ensure that these assignments are executed, documented and concluded based on the relevant professional standards.
• Assist in the preparation of reports and schedules that are to be delivered to the clients and other external parties.
• Harness technology to gather and analyze data
• Work as a team member by sharing responsibilities, providing support and maintaining communication with colleagues on an effective and efficient basis.
• Develop and maintain professional relationships with clients.
• Act in accordance with professional standards when providing assurance services

Job Requirements:

• Degree in Accountancy or a professional qualification under the ACCA and ICAEW schemes
• Proactive, committed and a team player
• Possess initiative and ability to work independently
• No experience required

Benefits:

• Approved Training Organisation (ATO) by ACCA & SCAQ
• Flexible Working Arrangements (FWA)
• Training you to become a professional auditor/ accountant/ business advisors through on the Job trainings
• Challenging and fulfilling career growth
• Dynamic working practices and environment
• Unlimited pantry access (while stock last)

Write in to us with your latest resume, expected salary and attach a recent photograph to [email protected]

We regret that only short-listed candidates will be notified.

Retykle is Asia’s first and largest online consignment store for buying and selling designer baby, children's & maternity fashion, gear and toys. Our mission is to make buying and selling high quality pre-loved items as good, if not better than buying new. We sell over 2500 of the world’s best children’s and maternity brands at a fraction of traditional prices - up to 90% off. For sellers, we take the hassle out of resale. We allow parents to turn their kids' closets into cash without lifting a finger. We are a purpose led company with a strong environmental mission to create a longer lifespan for children’s products by keeping them in circulation and out of landfills. Our obsession with great customer service has created a community of loyalists who have not only embraced a new way of shopping for their kids but also helped spread the Retykle word to other families.

The platform started in Hong Kong in 2016 and launched into our first overseas market in Singapore in 2021. We are looking for talented people who are hungry to learn and contribute to our team. If you don’t mind getting your hands dirty, question the norm and believe in a collective action against climate change, then this is the place for you.

You may visit our website to learn more: https://www.retykle.sg/

Job Description

• Manage order fulfillment, order picking & packing and tracking of inventory.
• Product photography, loading products to website, studio assistance
• Deliver customer service and manage customer experience as a Retykle brand ambassador, drive awareness around sustainability and concept of circular fashion.
• Assist in offline events such as pop-up events.
• Any relevant ad-hoc duties as required.

Requirements

• Prior experience with e-commerce, retail operations and/or logistics a plus
• Interest in technology, fashion, e-commerce, and/or sustainability
• Enjoy working in an entrepreneurial and start-up culture.
• Enthusiasm for creating efficient processes and solving problems.
• Have the ability to work independently and be self-motivated while still working within a team environment.
• Strong attention to detail, hands-on with organisation skills
• Fluent in English
• 
  

Job Description:

• Greet guests and attend to enquiries
• Visitor registration and scheduling appointments
• Provide administrative support to the department
• Assist pharmacists and senior pharmacy technicians in handling routine task in pharmacy administration
• Prepare statistics and reports for supervisors
• Any ad hoc duties as per assigned

Job Requirement:

• Minimum GCE O Level
• Can commit minimum 2- 3 months
• Training provided

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

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

**JobStudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties. Please be aware of scams impersonating JobStudio and our employees. You may call our office directly for verification. We will not be liable for any loss arising from scams.**

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Job Responsibilities

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

Job Requirements

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

Job Description:

• Work closely with relevant department on the matters pertaining to business strategy, performance management, budgeting, forecasting cash management and revenue/ cost analysis
• Prepare financial reports and materials for presentation to senior management
• Manage internal and external audits
• Handle vendors invoices and payments and Purchase Requisitions
• Provide strategic financial and business insights, value-added support to the department and operational partners in understanding their expenses and performance
• Any ad-hoc duties as per assigned

Requirement:

• Minimum Degree in Business/ Accountancy/ Finance or equivalent
• Minimum 4 years of relevant experience in accounting, Financial Planning & Analysis (FP&A), and/or Costing & Pricing knowledge

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

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

**JobStudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties. Please be aware of scams impersonating JobStudio and our employees. You may call our office directly for verification. We will not be liable for any loss arising from scams. **

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Job Descriptions

• Management of Daily Restaurant Operations. Formulated micro-plans in tandem with organization objectives. Manages the business, customer & employee environment.
• Able to be progressive and adaptable to read the business landscape and equipped with good analytical skills and problem-solving abilities.
• Good applicable experience and knowledge in general managements functions such as HR, Marketing, etc.
• Travels (including overseas) and accepts redeployment of job responsibility and outlets wherever necessary

Job Requirements

• Experienced and passionate
• Minimum 3 years relevant experience in Japanese customer service
• Meticulous and detailed in their delivery of service and communication
• Experience in managing complex multi operating units
• Well-groomed and comfortable working under stress and a demanding environment;
• Positive attitude, cheerful and good interpersonal skills
• Comfortable working split shift and a 6 days work week, and
• Preferably ready to start immediately or within a short notice period
• Position suitable for ex-cabin crew/ airlines crew
• Excellent career prospects and various benefits for senior employees.

Working hours

• 6 days work week
• 11.00am - 3.00pm and 5 - 11pm

The Role

Astor International School is recruiting for a teacher assistant. The successful candidate will have previous experience working with primary ages children. Experience with students with specific needs is a bonus.

The Context

Astor opened in August of 2019 to provide quality, affordable education to international students. Astor provides a focused and creative learning environment that specifically grows student understanding in English, math and International Primary Curriculum, whilst embracing the humanities, science, art, music, dance and drama as an important too in which to explore thinking and learning. By being intentional in our program, students finish at 1pm, allowing them the time needed for external coaching, training and programs that have otherwise not been accommodated for in extended school days.

Main Working Relationships - The Principal / Classroom Teacher

We endeavour to provide a close, nurturing, family environment where staff work closely together as a team. Planning and working together collaboratively; with students, parents and staff in partnership to create a dynamic and vibrant learning environment. The Teacher Assistant role will be to support and maintain the school culture and environment, working with the Principal and teachers.

Specific duties and responsibilities

- Working with all children either in small groups or 1 to 1.

- Working with students with specific needs.

- Communicate with classroom teacher’s student information that is necessary to monitor student progress.

- Supporting classroom teachers with lesson preparation and any support they need to fill full their teaching.

Pedagogy

- Have a student-centred pedagogy that leads their practice and gives students the ability to construct and co-construct learning in a personal and collaborative environment.

- Builds healthy and nurturing relationships with all students in their care with the outcome in mind to build students as life-long learners.

- Support students in becoming independent learners.

- Provides appropriate and actionable feedback to learners.

Curriculum

- Assists with lesson planning, materials preparation

- Assists with preparing, organising, categorising and maintaining teacher resources.

- Available to support all primary grades in the school

An integral member of a supportive, collaborative and vibrant school environment

- Committed to and actively creating an environment that is supportive, positive and respectful.

- Ensures that the classroom and school’s physical environment is one that reflects the values and vision of the school, whilst celebrating learners and the learning process.

- Nurtures positive relationships within the whole school community.

Other duties and responsibilities

- Before school, morning and lunch duty.

- Extra Curriculum Activity (ECA) support.

- Upholding a high level of presentation and personal and professional conduct.

- Contributing to the corporate life of the school through effective participation in meetings and management systems necessary to coordinate the management of the school.

- Any other reasonable request from management or administration to undertake work of a similar level that is not specified in this job description.

Qualifications and Experience

- Native English speaker.

- Experience in working with students in primary years.

- Experience working in international schools.

- Experience with a holistic approach to Education.

- Must be able to work in Singapore

Our school is committed to safeguarding and promoting the welfare of all the students in our care and expects all applicants to share this commitment. We follow safe recruitment practices and all appointments are subject to interview, satisfactory references, and identity and criminal record checks.

Please email your cover letter and resume to Ms. Rachel [email protected]. We look forward to receiving your application.

*Please note that only shortlisted applicants will be contacted.

Roles & Responsibilities

a) Accountable for customer orders, liaison with mandarin speaking clients and inventory management in the operations function.

b) Distribution of clients information.

c) The role involves packing supplements picked by courier companies.

d) General administrative work.

Skills Required

• Good communication skills -spoken/written English
• Computer skills including Windows, MS Office and Photoshop.
• Good interpersonal skills.

Other Information

• 5 working days per week
• working schedule: 9.00 am to 06.00 pm.
• Salary: S$2,200/- – S$2,600/- per month with CPF
• No age limit.
• Location: Bugis.
• Immediate commencement

Interested candidates are requested to send us your resume by emailing [email protected] and mention in the subject Administrative Assistant. We regret to inform you that only shortlisted candidates will be notified.

• Assist in planning and executing sales plans.
• Guide and train the sales team for optimal performance.
• Track, report, and refine sales performance metrics.
• Strengthen relationships with key clients and ensure customer satisfaction.
• Monitor the sales team’s daily activities and adherence to company policies.
• Collaborate effectively with the marketing, product, and customer service departments.
• Represent the company at industry events and gain market insights.
• Monitor stock levels and predict future sales trends.

Scope of work

• Man the reception counter in General Office
• Perform Customer facing tasks such as answering and directing phone calls, providing information and services and attending to walk-in enquiries/requests from students, visitors and suppliers in the General Office
• Management of records such as maintaining and updating filing and inventory
• Manage lost and found items and delivery of goods
• Maintain sickbay records and taking care of students at sickbay, including early dismissal of students due to medical reasons and providing basic first aid to injured students
• Secretarial tasks such as arranging appointments, organising meetings, calling students for fee arreas
• Perform other related administrative duties as required

Qualifications, skills and experience:

• Singapore-Cambridge General Certificate of Education (GCE) Normal (Academic/Technical) Level (3 subjects including English)

• Preferably three (3) years of experience as Receptionist with administration experience in a school environment

• General computer skills (Microsoft Office applications

At Baker Tilly Singapore, we welcome highly motivated and committed individuals who share our core values to join us. We are committed to our values of leading by example, delivering quality services with integrity, communicating openly, acting ethically, and fostering a community built around civic responsibility and teamwork.

We are looking for an Office Manager, who will be responsible for the office administrative function of the Group, and will organise and coordinate office administration and procedures, in order to ensure organisational effectiveness, efficiency, and safety. The Office Manager is also responsible for streamlining administrative procedures, inventory control, and administrative staff supervision.

In this role, you will:

• Oversee and manage daily office operations and procedures
• Manage procurement & maintenance of office and pantry supplies
• Manage office facilities, furniture & equipment and maintenance
• Act as liaison between group and building management as well as office services vendors
• Supervise the document management and retention
• Supervise and co-ordinate reception and administrative duties
• Office administrative project and work as and when required

We are looking for people with the following:

• Minimum six years of similar experience
• Meticulous with a keen eye for details
• Good relationship management and problem-solving skills
• Experience in team management
• High integrity, professional, ability to work independently
• Proactive with initiatives, driven and passionate

We regret that only shortlisted candidates will be notified.

Job Description

• Responsible for maintaining high standard of operation of Club’s restaurant’s training staff and to ensure productivity of work.
• To perform other F&B routine services and duties as directed.
• Train, evaluate and counsel service staff in order to create a high standard of morale and to reduce staffs turnover.
• To maintain a good working relation with the staff and maintain a high standard of motivation among staff.
• Provide training for service staff constantly and be accountable for the service standard through staff training.
• Ensure that the restaurant is well kept and cleaned and all operating equipment are properly handled and are in good condition.
• Monitor and plan manning guide in accordance to the volume of sales.
• Handle members’ feedback calmly, professionally and efficiently at all times, resolving any disputes and recovering service effectively.
• Keep the management /Chef updated on any food delay, complaints and customers feedback.
• Responsible for all administrative works of the department:
• Arrangement for Reservation Sheet & Seating Capacity Chart.
• Record of Staff performance.
• Schedule staff roster to ensure good and sufficient allocation of manpower.
• Perform other related duties as required by the F&B Director/Manager or Executive Chef.

Job Requirement

• Diploma in Food Management Services/GCE ‘O’ Level
• At least 5 years' relevant experience in a similar capacity.
• Experience in Chinese Cuisine in highly desirable
• Excellent personal presentation and interpersonal skills
• Confident, outgoing personality and positive attitude
• Ability to remain calm under pressure
• Able to cope in fast-paced environment with heavy volume
• Ability to multi-task
• Fluency in reading, writing and spoken English & Chinese / Mandarin
• Able to perform split shift (5 days work week including weekend and Public Holidays)

Responsibilities:

• Meeting developers, consultants and contractors to get products specified and to be selected for their projects
• Keep abreast of market trends and competitor offerings, and conduct regular market updates
• Constantly keep sales growth and brand management
• Responsible for identifying market opportunities, achieving sales targets and expanding customer base.
• Working effectively together as a team to meet performance targets

Key Requirements:

• Diploma/Bachelor's degree in marketing, business or related fields
• 3-4 years' business development/sales experience preferably in the building materials/construction industry
• Good business sense and commercial acumen
• Passion for sales and providing excellent customer service, with ability to deal with people of all levels in complex and difficult situations.
• Strong analytical, communication and presentation skills
• Able to multi-task in an extremely fast-paced environment with Positive attitude, self-motivated and self-driven
• Experienced in tenders/quotations

Interested candidates please email your CV addressed to Victor Teoh (R1218406) to [email protected]

Job Descriptions

· Handle all Import Documentation and Shipping Procedures include Shipment Coordination

. Correspondence and Liaise with Suppliers

· Responsible for Purchase Orders/Delivery Orders Issuance

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

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

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

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

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

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

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

· Responsible for all Admin and Ad Hoc Duties

Qualifications

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

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

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

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

· Independent, highly motivated and a good team player.

· Meticulous and Detailed Oriented.

· Good Follow Up Skills and Good Initiative Skills

· Good Interpersonal and Communication Skills

· Hardworking and Responsible

· Able to work in a Fast Pace Environment

Job Highlights

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

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

• Integrated Communications and Marketng
  • Develop strategies for the development and implementation of an integrated communications plan to engage SMU alumni, students, and colleagues in Schools, Offices, Colleges and Institutes in alumni engagement.
  • Innovate and create original, platform/channel-specific marketing and publicity content for the various communication touchpoints to engage the targeted alumni communities including but not limited to digital and non-digital platforms.
  • Develop the creatives of various publications and collaterals and oversee the quality of these creatives in production and utilisation.
  • Plan, organise and deliver the communications and marketing support for day-to-day activities, events, and initiatives.
  • Monitor, adapt and adopt digital engagement trends and best practices in communications.
  • Organise info-sessions and manage outreach booths at Cap/Gown and Commencement.
  • Liaise with the Office of Corporate Communications and Marketing to ensure alignment with the University's brand, marketing and communication strategies and policies for media requests, press releases, university-level or alumni events.
  • Support the Office of Alumni Relations to plan, coordinate and execute upon comms efforts including signature events such as Homecoming, Alumni Awards and Patron's Day..
  • Manage the recruitment, training, performance and of student ambassadors for events.
  • Lead, train and develop a team of staff members, define roles and delegate duties.
  • Provide support for ad hoc projects for Director and/or Office/University as deemed necessary.
• Building Institutional Knowledge of our Alumni
  • Continually improve SMU's knowledge of our alumni and their needs by gathering information on their participation in online activities, interaction, and usage trends.
  • Manage and maintain the updated records and media archives of alumni information.
  • Lead the team to analyse data, derive insights, and propose recommendations on improving digital alumni activities and events.
  • Identify key metrics and develop measurement reports to evaluate the success of digital and non-digital alumni engagement efforts.
  • When required, conduct surveys to identify the diverse needs of alumni and improve programme offerings.
  • Measure the success of events and programmes.

• Bachelor or Master Degree with at least 10 years of working experience, preferably in higher education sector and relationship management with at least 3 years in a managerial role.
• Able to manage a team under tight deadlines, thrive in a fast-paced environment, and maintain a high level of motivation and energy.
• Able to think strategically and develop plans; and implement these plans to achieve strategic outcomes.
• Proven track record in the higher education sector for planning, executing and improving community interaction and building. Knowledge of alumni relations will be an advantage.
• Detail-oriented with strong project management, good administration and organisational skills.
• Effectively bilingual with excellent interpersonal, presentation and communication skills (both written and verbal).
• Mature and able to build and maintain relationships with alumni, industry partners and stakeholders.
• Proficient at using social media, database, web analytics tools to run online marketing/community engagement campaigns.
• Proficient in the adoption of tech solutions to improve workflow and productivity.
• Experienced in working with stakeholders in the design and development, UX/UI testing, roll out and maintenance of data/content management systems (CMS).
• Web writing/development, graphic design, photography and or video production skills would be advantageous.
• A dynamic team player with an innovative mindset and a positive outlook.

#LI-ST1

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

Benefits:

• Basic Salary up to $3,300 with yearly increment based on performance.
• Monday to Friday (9am – 6pm), 2 x Saturday per month depending on roster basis (9am – 3pm)
• Annual leave up to 14 days for first year (pro-rated for incomplete year of service).
• Add 1 day per year till maximum of 18 days.
• Duty Allowance Amount - $250 for working on Saturday and $300 for PH on weekdays.
• Medical Benefits: Max $50 per visit under panel clinics (no cap for the year). Specialist treatment of up to $300 per year with referral letter.
• Dental Benefit Up to $250 per year

Job Description:

This is a full time role for a Customer Service Assistant located in North Bridge Road.Our client is the leading manufacturer and distributor of components for Factory Automation, Press Die and Plastic Mold, Electrical & Wiring Parts, Tools and MRO items.

You will be responsible for handling and processing a large volume of quotations and sales orders, ensuring they are completed within the target time. This includes verifying and correcting any part number errors in the orders. You will also manage customer inquiries, responding promptly and professionally via phone, email, and web chat.

In addition to processing claims related to shipment delays, defective items, or incorrect pricing, you will work closely with internal and external stakeholders to resolve any issues with customer orders, such as requesting lead time changes from suppliers.

Qualifications:

• Minimum o level
• Minimum 1 years relevant working experience
• Able work in a high volume and fast-paced environment

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

• HR Technology Projects
  • Work closely across internal HR teams and IT team to gather and document business requirements, analyse business processes and data to identify opportunities for technology improvements.
  • Work with external vendor to define the functional design (i.e., business requirements, workflow, system access) and solutioning to implement SAP SuccessFactors solutions that meet business needs.
  • Perform impact analysis and estimate effort/cost required which includes identifying scope/approach for data migration with the business users.
  • Act as the subject matter expert and provide support for the department suite of HR solutions e.g., SAP HR ECC, SAP SuccessFactors modules including Recruitment, Performance Management, Succession, Compensation, Learning, EC Payroll, 3rd party tools such as Glint, Chronus, SharePoint, Content Management System, Microsoft Forms, Power Automate, etc.
  • Prepare the user cases with business users for user acceptance testing (UAT) and conduct UAT together with the users prior to signoff and deployment.
  • Deploy solution following established processes and methodology.
• HR Technology Operations
  • Be the functional administrator to configure and maintain SAP SuccessFactors modules not limited to functional objects maintenance, business rules, process workflow, role-based permissions etc. This will include managing all user access maintenance for staff and faculty e.g., user roles in SAP SuccessFactors, Qliksense, Electronic Document Management System, any other 3rd party system.
  • Provide ongoing support to HR staff and other users, addressing any questions or concerns about the system; a point of contact for resolving technical issues related to the various HR solutions in place.
  • Create and maintain system documentation across all internal HR portals and HR tech platforms, including employee directories, user guides, policies, and processes, to enhance the self-service capabilities.
  • Develop training materials, conduct training sessions for users on the use of HR technology platform.
  • Create and maintain functional documentation, user guide, FAQs where necessary to support end-users to navigate the system effectively.
• Data Management
  • Ensure the integrity and accuracy of HR data through regular audits, data validation.
  • Develop and generate ad-hoc reports, stories to meet the needs of HR and other departments.
  • Work with different teams to understand their data needs, developing data collection strategies and ensure Employee Central as the system of record to optimize efficiency and data quality
  • Analyze HR data to identify trends, patterns, and areas for improvement and design HR dashboards that provide real-time insights into key HR metrics.
• Continuous Improvement
  • Identify opportunities to streamline HR processes, workflow and improve user experience through technology enhancement/automation.
  • Identify opportunities for system enhancements, new releases from SAP and work with vendors to implement new features.
  • Stay updated on latest trends, technology, and best practices to ensure the HR service delivery will be at the optimal level.

• Bachelor's Degree, preferably in Computer Science, Information Technology, Human Resources, or a related field.
• 8 or more years of experience in HR technology management and system administration, or system implementation of HR technology software or related roles, with at least 3 years in planning, project managing and executing SAP SuccessFactors project.
• SAP Certifications.
• In-depth knowledge with SAP SuccessFactors modules EC / ECP / RCM / ONB / PMGM / CMP / S&D.
• Expert proficiency in configuration, application, and maintenance of SAP SuccessFactors, preferably certification in SAP Employee Central and EC Payroll.
• Strong technical background to coordinate with technical teams and vendor to solve complex requirement and integration issues.
• Good grasp of IT Technologies, methodologies, architecture, and best practices.
• Good understanding of HR technology platforms, 3rd party faculty information system, survey platform (Glint).
• Excellent verbal and written communication skills, with the ability to explain technical concepts to non-technical users.
• Advanced proficiency in Excel and Power BI / Qlik or similar software.
• Attention to detail and ability to independently handle multiple concurrent tasks and changing priorities in high-pressure situations. Able to adapt to changes and maintain a customer-focused approach to meet the diverse needs of HR system users.

#LI-ST1

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

Job Description:

• Provide frontline customer service for registration and appointments of department.
• Assist with coordination and appointment booking for the customers
• Administrative duties associated with the clinical services/ programmes.
• Answer enquiries through phone/email
• Updating of patient particulars in the system
• Assist in basic medical examination when needed
• Keep track of drug inventory
• Assist in setting up consultation room and explain procedures to patients when needed
• Ad hoc duties as assigned by supervisor.

Requirement:

• Minimum GCE N / O Levels

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

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

**JobStudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties. Please be aware of scams impersonating JobStudio and our employees. You may call our office directly for verification. We will not be liable for any loss arising from scams. **

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

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

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