Key Responsibilities

• Prepare and cook a variety of Korean BBQ dishes, including marinating and grilling premium meats such as beef, pork, and chicken.
• Ensure all dishes are made according to the restaurant’s recipes, maintaining the authenticity of Korean BBQ cuisine.
• Ensure that meats are grilled to perfection, taking into account customer preferences for cooking levels.
• Manage kitchen operations, ensuring that the kitchen runs efficiently during service.
• Present dishes attractively, maintaining a high standard of food aesthetics and quality.
• Any other ad-hoc duties as assigned

Roles & Responsibilities

Responsibilities:
5+ years of driving experience Trailer/Container driving experience
Deliver loose cargo/machinery to and from designated locations in a timely and safe manner.
careful travelling to avoid damage.
Provide excellent customer service by maintaining professionalism and resolving any delivery-related issues.
Inspect vehicle regularly (e.g., oil level, tire pressure) and report any mechanical issues.
Complete delivery documentation, including delivery receipts, to ensure accurate records.
Plan delivery routes to optimize efficiency and minimize time on the road.
Comply with all traffic laws, safety regulations, and company policies to ensure safety.
Be familiar with traffic laws and safety standards.
Ability to work independently and manage time effectively.

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)

We are currently seeking administrative support to our managed Healthcare team to drive the development and expansion of our Business. You will be supporting the client servicing team to ensure the administrative aspects of things.

What You'll be Doing

• Creating user accounts for corporate customers
• Assisting the Servicing team in the preparation of documents & policies
• Sorting and filing of documents
• Data cleansing and sorting
• Assist in any other ad-hoc duties that are assigned by the manager

What We Are Looking for

• Diploma in any discipline
• Candidates with related experiences (Admin / Customer service / sales support) will be an advantage but not essential
• Able to follow standard work processes independently
• Meticulous
• Good team player with good communication skills

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

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

Job Description & Requirements

PT Sales Coordinator cum Admin Accounts Assistant

3 days a week (The day for work will confirm again)

Job Description:

Responsibilities:

* Coordinate sales activities and liaise with customers

* Manage customer calls/messages/email and follow up all activities

* Maintain and update the customer database

* Generate and prepare sales reports

* Assist with account receivable and payable tasks

* Perform general accounting tasks such as data entry, reconciliations

* Collaborate with the sales team to achieve sales targets

* Communicate with suppliers to obtain quotes and place orders

* Support other administrative tasks as assigned

Requirements:

* Minimum 1 year relevant experience

* Min. GCE 'O' Level

* Customer Oriented with good interpersonal and communication skills

* Must be fast learner and pro-active

* Good organizational and time management skills

* Ability to think strategically

* Pleasant and friendly personality

* Strong problem solving capabilities

* Computer Literacy

Job Title: Account Assistant (Machinery & Equipment Company) ID9122
Location: Ubi
Working Hours: Monday to Friday 830am-530pm
Basic Salary: Up to $3500

Benefit:
*VB & AWS provided with AL 14 days

Job Description:
• Assist with processing accounts payable and receivable transactions.
• Reconcile bank and credit card statements on a monthly basis.
• Prepare and submit invoices to clients and follow up on outstanding payments.
• Maintain accurate and up-to-date records of financial transactions and documentation.
• Assist with financial reporting, including balance sheets, income statements, and cash flow statements.
• Perform other general accounting duties as assigned by the accounting team.
• Respond to accounting-related inquiries from internal and external stakeholders.

Requirement:
Diploma/Degree in Accounting/ACCA

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

WAREHOUSE ASSISTANT @ BUKIT BATOK INDUSTRIAL PARK A

FULL TIME AND PART TIME ARE AVAILABLE!!!

Responsibilities:

• Cleaning, packing, re-arranging, carry IT/AV/ Furniture, take photos.
• Responsible for daily warehouse duties and ensure smooth operations
• Ensure compliance of warehouse Standard Operating Procedures and safety guidelines.
• To always keep the warehouse clean and tidy.
• Perform other related warehousing duties or Ad-hoc job assigned by Superior.

Requirements:

• Fit & Strong to carry loads – Similar to Movers Job
• Must be Hardworking
• Singaporean or PR ONLY.
• 6 Days (10am - 6pm) (Mon-Sat)
• Min. 1 year experience
• Salary: $1600-$1800 (CPF)

Interested candidates kindly apply with the latest resume via [email protected] or whatsapp to 8768-0049

• Install, maintain, and repair a variety of products, ranging from cabinets to insulation to tile to drywall
• Perform work in accordance with safety best practices
• Maintain tools and equipment in safe operating condition
• Conduct building inspections and identify needed repairs
• Document repairs and maintain thorough records
• Cut, shape, and alter materials as needed
• Build doors, cabinets, and windows
• Measure and mark materials for alterations

• Install, maintain, and repair a variety of products, ranging from cabinets to insulation to tile to drywall
• Perform work in accordance with safety best practices
• Maintain tools and equipment in safe operating condition
• Conduct building inspections and identify needed repairs
• Document repairs and maintain thorough records
• Cut, shape, and alter materials as needed
• Build doors, cabinets, and windows
• Measure and mark materials for alterations

• Reading blueprints or looking at sketches to determine how to install rebar or mesh
• Figuring out the quantity, size, and shapes of reinforcing rods and determining where to place them
• Preparing rebar and mesh for installation using metal shears, hacksaws, and torches
• Bending or welding rebar together
• Installing cables
• Using pliers to tie wire around rods to fasten them together
• Positioning and securing rods, cables, mesh, or rebar in concrete forms

Job Title: Preschool L1/L2 Teachers (English or Mother Tongue Language Teachers)

Job Type: Permanent, Full-time

Location: Islandwide

Responsibilities:

• Plan and implement an early childhood curriculum

• Document children's learning and build a warm relationship with parents

• Provide a safe and clean learning environment for the children

• Plan activities and equipment needed to support the curriculum

• Maintain communication with the children's parents

• Other tasks as assigned by Centre Principal/Manager

Requirements:

• Certification in Early Childhood Education or relevant studies

• Certificate in Early Childhood Care Education (Category L1)

• Diploma in Early Childhood Care Education (category L2)

• Excellent interpersonal skills and able to work in a team

Interested candidates, you may WhatsApp resume to Sky Lee @ (65) 9487 2799 / 9637 2813. Please note that by submitting an application or resume to us, you would be deemed to have given your consent to us collecting, using, retaining and disclosing your personal information to prospective employers for their consideration.

OneLink HR Consultancy Pte. Ltd

Co. Reg. 201313178M│ EA Licence. R13C6505 │ EAP Reg. R22108984

• Install, maintain, and repair a variety of products, ranging from cabinets to insulation to tile to drywall
• Perform work in accordance with safety best practices
• Maintain tools and equipment in safe operating condition
• Conduct building inspections and identify needed repairs
• Document repairs and maintain thorough records
• Cut, shape, and alter materials as needed
• Build doors, cabinets, and windows
• Measure and mark materials for alterations

• Install, maintain, and repair a variety of products, ranging from cabinets to insulation to tile to drywall
• Perform work in accordance with safety best practices
• Maintain tools and equipment in safe operating condition
• Conduct building inspections and identify needed repairs
• Document repairs and maintain thorough records
• Cut, shape, and alter materials as needed
• Build doors, cabinets, and windows
• Measure and mark materials for alterations

Job description

· Provide day-to-day support for HR functions.

· Process payroll.

· Maintain and regularly update master database (personal file, personal database & etc.) of each employee.

· Assist in recruitment & selection activities.

· Administer onboarding / exit clearance activities

· Handle work passes application, renewal and cancellation.

· Maintains company organization chart and employee contact list.

· Liaise with insurance company on staff insurance and claims

· Administer training related matters including coordination or enrolment of internal & external courses, update & maintain training record etc.

· Handle disciplinary issues of foreign workers.

· Assists to prepare and submit IR8A for all operational workers.

· Manage workers’ quarter.

· Handle company certificate (BCA/ Slots/ Bizsafe) & Company Insurance

· Perform general office administrative duties such as stationary / pantry requisition and maintenance of office equipment / facilities;

· Any Ad-hoc assigned by your superior.

Requirements

· Minimum Diploma or Degree in Human Resource or equivalent

· Minimum 2 years of relevant working experience in HR and Admin functions in construction industry.

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

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

Looking for Full /Part time Clinic Assistant

What You’ll Do:
• Handle patient registration, and payments.
• Assist with appointment bookings and health screenings.
• Provide to quality service to walk-in patients and phone inquiries.
• Support the Clinic Manager with administrative tasks and data tabulation and ensure clinic cleanliness

What We’re Looking For:
• Minimum GCE ‘O’ Level or equivalent.
• Prior experience in a similar role is preferred.
• A customer-focused attitude and strong communication skills.
• Able to work shifts. Weekdays ( Morning and Evening Shifts) . PM close. PH close
• Saturday ( morning and afternoon shifts) . Night close
• SG/PR

Clinic located opposite Bukit Gombak MRT station.

Interested candidates pls email cv to [email protected]

• Assist teachers in the printing of study materials.
• Other duties as assigned by supervisor.

Qualifications

• Completed Secondary 2 education
• Able to converse and write English Language
• Able to work under stress periods eg exam printing
• Suitably qualified individuals with the right qualifications, attitude and experience may apply.

• Attending to School General Office front-desk duties.
• Handling telephone calls and walk-in enquiries.
• Receiving in-coming mails / goods deliveries and arranging outgoing mails for posting.
• Maintaining, updating, and compilation of data.
• Attend to / assist unwell students.
• Logistical e.g. taking photos/videos and admin support for school programmes, events or resource preparation.
• Assist in other general admin duties when assigned.

Qualification

• Diploma or GCE ‘O’ level or higher.
• Conversant in at least two languages, English and a Mother Tongue language. Preference will be given to candidates who are conversant in English and Mandarin.
• Proficient in MS office i.e. Word, Excel, Powerpoint.
• Pleasant disposition, good communication and interpersonal skills.
• Relevant experience in administration and/or customer service

• Greeting, welcoming, directing, and announcing visitors appropriately upon their arrival at the Counter,
• Answering, screening, and forwarding incoming phone calls,  Attending to parents, visitors, and vendors via phone calls and walk-ins,
• Attending to unwell students in the sick bay.
• Support logistics and administrative tasks related to school activities and events,
• Pack documents and collaterals,  Receive and sort daily mail, manage faxing, mailing, and handle all correspondence, including maintaining accurate data entry using Microsoft Excel and Microsoft Word,
• Receive and manage office supplies, as well as print and photocopy documents,
• Perform any other duties assigned by the Administration Managers, Vice-Principals, or the Principal.

Qualifications

• Pleasant Personality, willingness and inquisitiveness to learn.
• Be proactive, a team player, organised and able to mutli-task and priortise daily tasks using today’s office technologies and computer applications.
• Preferably have GCE O-Levels or with relevant
• Able to communicate in a clear, concise and professional manner. Good telephone communications etiquette answering inquiries from public and stakeholders.