You will be a vital part of the Nursing department in the Operating Theatre and Endoscopy, contributing to the provision of top-notch cancer care for our patients. As a member of the team, you will be responsible for preparing safe and hassle-free operating/procedure rooms. Your role involves assisting the surgical/endoscopist team in providing patient care, surgical positioning, handling, and decontamination of endoscopic equipment. Additionally, you will be involved in the interim and terminal cleaning of the operating/endoscopy rooms, along with any other duties assigned.

Key Responsibilities:

• Setup the operating room/endo procedure room layout for surgical and procedures.
• Assist operating theatre/endoscopy nurses to ensure all medical equipment is in working condition, functional, and operational, ready to use.
• Assist the surgeon/procedurist in positioning the patient, applying diathermy pads, and adjusting operating theatre lights.
• Exercise care and apply safe techniques in lifting and positioning the patient to protect from potential injury.
• Perform daily cleaning and wipe down of basic operating theatre/endoscopy equipment.
• Maintain good housekeeping of Operating Theatre/Endoscopy Rooms, including disposing of linen/biohazard and general waste, etc.
• Clean and handle intervals interim and end process terminal decontamination of the operating theatre/endoscopy, including endoscopic equipment handling and decontamination.

Job Requirements:

• GCE N, O level, WSQ Higher Certificate in Healthcare Support (Operating Theatre/Sterilization), and NITEC in Health Care.

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

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

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

JOBSTUDIO PTE LTD

EA License No 10C4754

EA Personnel: Hoh Mei Ling

EA Personnel Reg No: R21103150

Job Expectations

Collaborate closely with the Assistant Manager to provide courteous and efficient services to guests. Responsively and tactfully address guest complaints, requests, and inquiries.

Maintain close communication with Concierge, Reception, Bell Counter, and Front Office Cashier regarding guest arrivals and departures.

Build connections with in-house guests and those on extended stays, offering assistance as needed.

Conduct courtesy calls to guests, ensuring their comfort and satisfaction.

Stay well-informed and updated on all tourist-related information.

Manage and maintain stock of promotional materials for daily operations.

Approach any additional tasks assigned by superiors diligently and professionally.

Requirements

Minimum completion of PSLE or its equivalent.

Able to work rotating shifts, weekends and Public Holidays.

Positive attitude with an outgoing personality and good communication skills.

Those without experience are welcome to apply.

1. Full time
2. Start work immediately
3. Able to work on weekends
4. Ability to communicate with Mandarin-speaking clients
5. Team player
6. Willing to learn
7. Pleasant personality & positive attitude
8. Good communication & listening skills
9. Good patient etiquette and manners
10. Strong sense of responsibility
11. Assist in dental procedures & surgeries
12. Responsible for clinic's overall upkeep and cleanliness
13. On-job training provided
14. Career growth opportunities
15. No experience required

- Part Time Admin Asisstant

- Able to work 2 weekdays (4-9pm) and 1 weekend (9am to 5pm)

- Payment of $10 per hour weekday and $11 per hour weekend

- Able to use computer, micrsoft word, excel, google drive.

- Attend to enquires & answer phone calls, walk-in enquiries & emails

- Carries out administrative duties such as filing, typing, copying, binding, scanning etc.

- Exhibits polite and professional communication via phone, e-mail, and mail.

- Provides information by answering questions and requests.

- Contributes to team effort by accomplishing related results as needed.

- Able to handle little children from age 3 yrs old

• Ward/ SOC/ Clinic Settings opening
• No Experience welcome
• 5/ 5.5 days work week Opening

Job scope

• Perform admission process
• Answering to patient enquirers
• Assisting with registration
• Other ad- hoc duties

Job Requirements

• Min GCE O/N level and above

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 SOLICT ANY MONEY , REQUEST TO USE YOUR BANK ACCOUNT FOR BUSINESS OR REQUEST YOU TO TRANSFER ANY MONIES TO ANY PARTIES , PLEASE BE AWARE OF SCAMS IMPERSONATING JOBSTUDIO AND OUR EMPLOYEES , YOU MAY CALL OUR OFFICE DIRECTLY AT 64221390 FOR VERIFICATION. WE WILL NOT BE LIABLE FOR LOSS ARISING FROM SCAMS.”

JOBSTUDIO Pte Ltd

License No.: 10C4754

Personnel Name: Hoh Mei Ling

Personnel Registration No.: R21103150

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

• This position is for Office of Corporate Communications and Marketing (OCCM).
• The principal speech writer will support and create all forms of written content including presentation materials for SMU President in her role as lead spokesperson for SMU across local and international platforms to enhance the brand and reputation of SMU.
• The role will develop compelling content on various topics and include content that clearly conveys the meaningful impact SMU makes through its education, research and global engagement, with focus on its three strategic priorities to realise SMU Vision.
• In speech writing and content development, the role will need to capture the personality/voice, vision, and priorities of SMU President on a wide range of topics clearly and crisply.
• Other duties include conducting research, developing, writing and editing a wide variety of materials including quotes, video scripts, speeches, talking points, background materials, narratives, opinion-editorial and thought leadership pieces.
• There will also be occasions where subject matter experts will be interviewed, and complex ideas will need to be translated into simple, memorable, and powerful stories.
• The role will be part of the corporate communications team who works on SMU President's communication strategies and thought leadership narratives and will report to the head of corporate communications.

• A bachelor's degree in journalism, English, literature, communications, creative writing, or a similar discipline. A master's degree is preferable.
• Keen interest in current affairs, and geopolitical and socio-economic issues and is also intellectually curious.
• A good understanding of public speaking, aware of language subtleties and always crafts the speeches with the audience in mind.
• Excellent research skills and ability to work independently.
• Strong strategic, analytical thinking skills, with demonstrated excellence in creating and articulating ideas.
• Exceptional writing, editing and oral communications skills ability to produce compelling content for internal and external audiences to achieve desired results.
• Adept at creating PowerPoint slides that convey compelling visual information to various audiences.
• Strong organisational skills with ability to successfully manage multiple assignments simultaneously and at speed while collaborating with multiple teams across the university.
• Experience in integrated communications, including knowledge of earned, paid, owned and shared media.
• Creative, state-of-the-art communications knowledge who understands emerging technologies, communication best practices, and has a passion for exploring new methods of communicating.
• Ability to remain resilient and work well under pressure as this role must deliver high-quality communications under tight deadlines, with excellent attention to detail.
• Demonstrated teamwork and collaboration in a professional setting.

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

Suntory is a global leader in consumer-packaged goods, renowned for producing and distributing a uniquely diverse portfolio of beverages, premium spirits, beer, wine, and wellness products throughout the world. With a history dating back to 1899, we are driven by a profound purpose: To inspire the brilliance of life, by creating rich experiences for people, in harmony with nature. At Suntory Beverage and Food, we boldly move forward together to realize the dreams of becoming a world-leading next-generation global beverage company, always together with Seikatsusha – you are an important part of this and here’s how your role helps us win.

We are seeking a driven and meticulous Assistant Manager, Key Account (Pharmacy) to join our Sales team at Suntory Beverage & Food Singapore. In this role, you will be accountable for delivering key customer sell out (GSV & NSV) budget by driving strategic initiatives to attain sustainable growth. You will also be responsible to foster strong customer relationship, implement customer strategies to drive topline sales and optimize trade spend to maximize profitability.

Job Responsibilities

• Develop the annual account business plans in line with company brand and sales objectives to drive sustainable achievement of company annual and monthly Gross Sales and Net Sales targets within spend budget and company guidelines
• Preparation and negotiation of Customer Account Plans with proactiveness to ensure the achievement of deliverables
• Monitoring and reviewing of account scorecards by category in accordance with prescribed methodology and timeline
• Analysis of sales performance for each customer, sharing of customer insights and proposal of actional next steps
• Establishing positive internal and external customer relationships; including timely sharing of marketing intelligence to internal stakeholders
• Responsible for key accounts receivable and invoicing

Skills & Experience

• Diploma or Degree in Business/Commerce/Retail Marketing or its equivalent.
• Minimum 2 years of FMCG experience in Sales/Marketing
• Strong in account management and negotiation
• Proficient in both English and Mandarin to deal with stakeholders at all levels
• Competent in Microsoft Office applications
• Successful sales track record as well as strong key account management
• Ability to effectively prioritize and manage tasks within a fast-paced environment with attention to detail
• Strong problem solving and quantitative analytical skills
• Strong communication and presentation skills
• Possess excellent interpersonal and communication skills to build trust and long-term relationship with customers
• Positive attitude and meticulous in execution
• Innovative & creative – takes initiative to test, learn & drive improvement to achieve better commercial outcomes
• Problem solving and critical thinking
• Ability to work independently & can coordinate with various functions (internal & external) to get things done proactively
• Strong learning agility and adaptability to handle ambiguity & change
• Team player with initiative and excellent communication skills

Key Responsibilities:

• Prepare treatment rooms by setting up instruments and materials needed for dental procedures.
• Assist the dentist during dental treatments such as fillings, crowns, extractions, and more.
• Sterilize and disinfect instruments and equipment following infection control protocols.
• Record and update patient information, treatment plans, and medical history in the dental management system.
• Maintain a clean and organized environment in the dental clinic.
• Assist with patient scheduling, appointment reminders, and other administrative tasks.
• Ensure patients feel at ease before, during, and after procedures by providing compassionate care.

Requirements:

• Nitec or certification in Dental Assisting or relevant experience in a similar role.
• Basic knowledge of dental procedures, instruments, and hygiene protocols.
• Good communication and interpersonal skills, with a focus on patient care.

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

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Looi Ming Ming

EA Personnel Reg No: R1660254

Job Description:

• Oral feed patients who require assistance with oral feeding
• Assist with lifting, moving and transporting of patients
• Ensure patients safety and facilitate social-emotional support through suitable activities
• Maintain a clean, well-organised and pleasant environment for all patients
• Any adhoc duties as per assigned

Requirement:

• Minimum qualifications: PSLE or WPLN

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

The main responsibilities and tasks of this position are as listed below, but not limited to these:

• Maintain daily mis-en place and prepare ingredients 
• Inspect and clean food preparations areas, to ensure safe and sanitary food-handling practices 
• Ensure the highest standards and consistent quality in the daily preparation 
• Keep up to date with the new products, recipes and preparation techniques 
• Have full knowledge of all menu items, daily highlights and promotions  
• Effective communication between colleagues to ensure a secure and friendly working environment 
• Establishing and maintaining effective inter-departmental working relationships 
• Consistently offer professional, friendly and proactive guest service while supporting fellow colleagues 
• Efficiency in preparations and execution 
• Provide a level of Safety and Security for all team members whilst working 
• Follow guidelines provided in Colleague Handbook 
• Adhere to the hotel standards on personal hygiene and cleanliness on and off duty 

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

#LI-JN2

Clinic Assistant Job Role (Responsibilities & Duties)

Patient registration

- Handling phone calls and inquiries

- Scheduling of hospital appointment and

- Handle emails and govt/ insurance claims

- Chaperone doctor

-

- Maintaining inventory levels and drugs dispensing

- Handle administrative and ad-hoc duties

· Any other duties as required

Job Description

• Coordinate the maintenance of rooms, public areas and housekeeping equipment
• Inspect rooms and public areas to ensure cleanliness level conforms to hotel standards
• Maintain inventory of housekeeping supplies and equipment
• Monitor turnover of rooms to ensure housekeeping efficiency
• Organize work activities for shift commencement and completion
• Plan resources and allocate work assignments to team members
• Supervise work performance to ensure cleaning and maintenance are carried out in accordance with SOPs.
• Execute response and recovery actions during emergency situations
• Resolve guests’ concerns and feedback
• Conducts training and coaching to team members
• Assist with cleaning duties as and when required

Requirements

• Min 2 years of supervisory experience in housekeeping operations
• Able to perform rotating shifts, including weekend and public holidays
• Team player with positive work attitude
• Possess good communication, interpersonal and leadership skills
• Has good observation and pays attention to details
• Ability to work independently and take initiative
• Able to start work within short notice will be an added advantage

Ensure safe food quality, restaurant cleanliness and sanitation, in stock product availability

Ensure day-to-day compliance to operational standards

Inventory control, labor cost, and budget management

Develops and implements local promotional programs

Supervise assigned personnel

Reports to General Manager

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

• This position is for Lee Kong Chian School of Business (LKCSB).
• Student Pass Management
  • Support the application process for student passes for all postgraduate programs.
  • Address and resolve administrative issues and queries related to student pass applications.
• Information and Scholarship Application Management
  • Streamline and collate lead information.
  • Support scholarship applications by ensuring timely notifications and e-filing of lead data.
• Application Process Management
  • Ensure a seamless application process for postgraduate program applicants at LKCSB.
  • Maintain proper documentation of application materials and follow up with applicants promptly.
• Admissions Process Coordination
  • Facilitate a smooth admissions process for LKCSB postgraduate programs.
  • Coordinate admission and scholarship interviews.
  • Manage the sending of admissions offers and other related administrative tasks.
• Event Operations Support
  • Manage event operations, including the preparation of promotional materials for outreach activities.
  • Handle event setup, preparation, and registration for both on-campus and virtual information sessions.
  • Ensure event details are communicated to registrants and follow up with them.
  • Attend to walk-in and telephone queries regarding events.
• Outreach Capability Improvement
  • Enhancing outreach capabilities via digital systems.
• Prospective Candidate Engagement
  • Provide high-level service and customer experience to prospective candidates, addressing their queries and concerns promptly and effectively.

• Bachelor's degree.
• Minimum 3 to 5 years of relevant experience marketing education products, wholesale and retail, preferably in an Institute of Higher Learning.
• Good interpersonal skills, prior event planning and administrative/recruitment experience would be advantageous.
• Good written and verbal communication skills.
• Understanding of postgraduate programmes or education environment a plus.
• Self-starter with initiative, and a good problem-solver.
• IT savvy and proficient in MS Office, Excel and Outlook.
• Meticulous with attention to important details.
• Pleasant personality and a strong team player.

#LI-KC1

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.

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

The Lee Kong Chian School of Business (LKCSB) at Singapore Management University (SMU) invites applications for Assistant Professor tenure-track faculty positions in Operations Management (OM). A Ph.D. (or near completion in the case of junior Assistant rank) in OM or a closely related field is required. While the positions are open for any candidate with research interests in broad domains of OM, those specializing in analytics (AI, machine learning), entrepreneurship, or sustainability are specifically encouraged to apply.

LKCSB is a vibrant and culturally diverse business school, located in the heart of downtown Singapore, with approximately 5,500 students and over 100 full-time faculty members. The school offers a wide array of undergraduate and postgraduate programs, including Ph.D, MBA, EMBA, MSc, DBA, as well as executive education. The OM group at LKCSB consists of 23 faculty members with diverse research expertise with strong publication record.

LKCSB provides internationally competitive remuneration, generous research support and conference funding. International faculty are offered housing and schooling subsidy as well as relocation assistance. The teaching load for pre-tenure faculty is two courses per academic year during their initial four-year contract, three courses per academic year during the second four-year contract (if renewed) and after tenure. Tenured faculty members with exceptional research performance are also eligible for reduced teaching loads.

All applications should be submitted using the following link:

Job Description (2400007F) - Tenure-Track Faculty Position (Operations Management)

Applicants should include a full CV, up to three selected publications or working papers, and a cover letter. Applicants for pre-tenure positions should also include research and teaching statements. Shortlisted candidates will be asked to provide three reference letters, which referees will be requested to send directly to the school.

Singaporeans selected for tenure track faculty positions may be considered for the Singapore Teaching and Academic Research Talent (START) Inauguration Grant. Details on the grant application procedure may be found here: https://www.smu.edu.sg/moe-start/inauguration-grant.

Responsibilities:

• Lead and manage a team of professional staff.
• Provide excellent client service and ensure deliverables timelines are met.
• Responsible for billings, fee negotiations and recovery for each client engagement.
• Review payroll, related forms as well as year-end remuneration returns for a portfolio of clients.
• Review current process flow for improvements and assist in the implementation of recommendations.
• Build strategic client relationship with existing / potential clients to generate pipeline of leads.
• Drive business development and new business growth
• Ensure compliance to SOPs and regulatory updates.
• Execute client service excellence at all times.
• Monitor credit control, regular review, responsible for debts collection and work with Finance to manage doubtful debts.
• Coach team members to set standard client communication protocol eg. all communication with clients are supported by emails, document agreed action steps, responsibilities and deadlines.
• Evaluate direct reports and review overall employees' performance appraisal during the annual review exercise for Singapore .

Requirements:

• Business Degree or diploma
• Minimum 5 years of payroll experience in a service provider environment is required
• Experienced in leading and managing at least 3 – 5 team members
• Preferably with Prosoft and/or other payroll software experience
• Strong spreadsheet skills (Excel) and good knowledge of Word
• Ability to work independently and as a team
• Strong problem solving skills
• Strong written and verbal communication skills
• Excellent organizational skills
• Client service oriented and able to interact with clients at ease
• Able to work in harmony with co-workers
• Drive for results
• Determination and persistence

The successful candidate will work in a team and required to:

• Prepare timely and accurate monthly, quarterly and yearly financial statements for local and multinational companies which include preparation of budget and variance analysis, diagnostic assessment or health check, through the use of computerised accounting and ratio analysis solutions.
• Manage both local and multinational companies payroll for their staff which include compliance of all applicable taxes and government regulations.
• Provide in-depth accounting and financial advise to clients.
• Keep track of expenses reporting and GST application& submission of GST returns

We welcome you to join and grow with us, if you possess:

• Professional qualifications / Accounting degree recognised by ISCA
• Minimum 5 to 8 years of relevant experience in accounting and advisory field
• Abreast with the latest technical and accounting standards such as SFRS, IFRS and US GAAP
• Ability to plan and manage teams
• Good and sound knowledge of outsourcing environment
• Service-oriented and commercially focused, we seek confident, extremely well-organised candidates who can analyse and make things happen, and work effectively in a highly motivated 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure Engineering

Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

App Development

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language Generation

Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization

Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Formal Verification and Specification Languages

Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:

CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

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

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

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

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

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics

Good Old-Fashioned Artificial Intelligence and Semantic Web

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

Semantic Web and Ontologies:

RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

#LI-JN2