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

Job Responsibilities

· · Setting up of tables, topping up of condiments and other preparatory tasks

· · Providing good customer service and taking orders

· · Perform cashier duties and handle customer enquires

· · Maintaining the cleanliness of the restaurant and other ad hoc duties

Job Requirements

· Secondary school education

· Working experience is not required.

· Service-oriented with a pleasant disposition and positive attitude

· Ability to work in a fast-paced environment.

. Able to work on Split-shifts and commit week-ends and public holidays

Working Hours

. OFF ON EVERY MONDAYS

· At least 4hrs

. Tues to Sat Lunch 11:30am to 2:20pm and Dinner 6:45pm to 9:30/10:20pm (depends on customers crowd)

. Sunday Lunch 11:30am to 2:20pm and Dinner 6:45 to 9/9:30PM

Hourly rate at $12-$15 depending on work performance.

Kindly apply through ANY of the following methods:

· Submit your application by clicking the APPLY button;

. WhatsApp or SMS to 96433989

We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by us. In such cases, we recommend continuing your job search to maximize your opportunities and we look forward your reply!

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

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

• Conduct regular inspections to ensure work adheres to approved method statements and complies with BCA's Good Industry Practice (GIP) guidelines.
• Develop and implement robust QA/QC plans to maintain consistent quality across all phases of the project.
• Monitor subcontractor workers across all trades, promptly identify defects, and ensure proper rectification to meet project standards.
• Effectively communicate non-conformances, corrective actions and preventive measures through the issuance and management of site memos.
• Draw up clear and accurate QA/QC reports and assist in the preparation of QM submissions.
• Arrange and coordinate with BCA for CONQUAS assessments.
• Follow-up and manage all required tests as per contract specifications and Inspection Test Plan (ITP).
• Conduct or participate in inspections at precast and structural steel work facilities (Malaysia and Singapore).
• Facilitate a smooth handover process during inspections and address client defects promptly during the Defect Liability Period.

Requirements:

• At least a Diploma in Civil Engineering or equivalent with 2 years of experience in construction QA/QC.
• Good knowledge in construction quality control/assurance principles and practices
• Excellent skills in construction management software and QA/QC documentation tools.

If you are interested, please send in your updated resume by clicking “Apply now” or email to [email protected]

Lim Siew Hua

Registration Number: R1984199

Workstone Pte Ltd

EA License Number: 19C9998

(Only shortlisted candidates will be notified.)

Reporting to the Director of Sales, Domestic, you will be responsible for the revenue generation of assigned portfolios. You will also be expected to develop, service, retain, and acquire new business opportunities.

Duties and Responsibilities:

• Identify sales opportunities and develop new accounts
• Drive sales, monitor and track; and take necessary actions to ensure that goals are met
• Prepare and submit quotations, proposals, and tenders
• Ensure customer orders are processed accordingly
• Manage and grow existing accounts to ensure continuous growth
• Expand market share with existing and new customers
• Enhance value-added selling approach
• Provide quality after-sales service to customers

The Successful Applicant:

• Preferably with a diploma or degree in Mechanical Engineering or equivalent
• Minimum 3 years of working experience
• Experience in Engineering or a related field would be an added advantage
• A team player who is meticulous and able to work independently
• Computer literacy (MS Office)
• Possess own transport
• Salary commensurates with qualifications and experience

We invite interested and qualified candidates to write in with their updated resumes (in MS Word Format) and their current and expected salary.

We regret that only shortlisted candidates will be notified.

About the Opportunity

This role in our Technology squad is embedded in a high caliber, cross functional team that develops and executes our exciting technology strategy to deliver better outcomes for our business and customer.

As a Software Engineer, you will be working with an agile and innovative team and build on your technical expertise with a myriad of technologies, projects and platforms to deliver our business priorities and conquer technical challenges.

What You'll be Doing

• Support the delivery of projects in all aspects of Software Development Life Cycle including system analysis, design, development, quality assurance, UAT, maintenance and ongoing support.
• Contribute to Agile software development lifecycle and be familiar with DevOps processes.
• Develop pragmatic and fit for purpose solutions of high technical quality.
• Work with stakeholders to define and clarify functional requirements and scope to deliver robust cost-effective solutions.
• Maintain software design, engineering processes and quality standards.
• Identifying and addressing bottlenecks in the application or broader infrastructure.
• Assist with ad-hoc duties assigned by Manager.

What We Are Looking for

• Diploma/Degree in Information Technology/Computer Science or related fields.
• 2 years’ experience in full stack software development.
• Required skills: C#, .NET Core framework, Angular.
• Knowledge in DEVOPS, Docker Container, Cloud Implementation, Secured Webservice will have an added advantage.
• Highly collaborative team player, detail-oriented and passionate with technology.
• Ability to thrive in fast-paced, exciting environment.

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

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

• Responsible for preparing and modifying precast schematic, detailed, and production drawings for precast concrete components, steel moulds, and reinforced concrete (RC) structures.
• Preparation of 2D and 3D design drawings and presentation
• Develop solutions for technical and design complications with reference to the Singapore’s established standards.
• Responsible for the performance of elementary designation computations and compilation of data.
• Participate in client liaison, authority consultation, coordination with consultants and subcontractors, and design and construction meetings.

Requirements:

• Diploma/Degree in Civil Engineering or equivalent
• At least 2 years of related working experience

If you are interested, please send in your updated resume by clicking “Apply now” or email to [email protected]

Lim Siew Hua

Registration Number: R1984199

Workstone Pte Ltd

EA License Number: 19C9998

(Only shortlisted candidates will be notified.)

We are seeking a dynamic and experienced Service Engineer to join our team. In this role, you will be responsible for providing technical support and services related to our power generation products, including electrical and control systems. The ideal candidate will have a strong engineering background, excellent problem-solving skills, and a passion for customer service.

Key Responsibilities:

• Provide on-site technical support and troubleshooting for electrical and control systems related to power generation products.
• Perform installations, maintenance, and repairs on equipment, ensuring optimal performance and customer satisfaction.
• Travel extensively across the Asia Pacific and Southeast Asia regions to support customers and projects.
• Collaborate with team members and cross-functional teams to resolve technical issues efficiently.
• Maintain strong customer relationships, ensuring their needs are met and expectations exceeded.
• Stay updated on industry trends, technologies, and product developments to provide informed solutions.

Qualifications:

• Diploma or degree in Electrical or Mechanical Engineering.
• Minimum of 5 years of relevant experience in a similar role.
• Strong problem-solving skills and a task-oriented approach.
• Excellent customer service orientation and enthusiasm for power generation products.
• Experience with electrical and control systems, particularly with John Deere ECU and KDI ECU, is advantageous.
• Candidates with equivalent professional backgrounds will be considered.

If you are keen to join our dynamic team, please submit your resume in either Word or PDF format to [email protected]. In your application, kindly include the following details:

• Current Salary
• Expected Salary
• Availability
• Reason for Leaving

We appreciate your interest in this opportunity. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

Join a dynamic and growing leather cleaning & restoration company!

If you are passionate about meeting people, enthusiastic with a pleasing personality, we want YOU!

Your key responsibilities include:

• Managing and engaging our clients.
• Building up our customer base.
• Assist with taking orders/bookings for our services.
• Handling sales enquiries over the phone or via email.
• Handle, process and manage quotations and invoicing.
• Handle customer enquiries and complaints.
• Actively support operations in meeting client needs and requests.
• Provide excellent customer service to meet the needs of the clients.
• Work closely with operations team to ensure smooth running of the business.

Requirements:

• Only Singaporeans/PR need apply
• Good command of English, Mandarin speaking is a bonus (as need to speak with Mandarin client speaking)
• Good communication skills
• Pleasant, enthusiastic and engaging
• Polite and patient
• PC literate, comfortable with MS Office
• Good with the various social media platforms

Job benefits:

• Attractive salary package
• Sales incentives
• Medical & insurance benefits
• Annual & medical leaves
• Career growth development

Working hours:

• 5 days
• Off on Saturdays, Sundays and Public Holidays

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 manneras possible.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

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

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

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

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

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

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

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

Skills listed below this line are preferred but not required:

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

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

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

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

Preferred qualifications:

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

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

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

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

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

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

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

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

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

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

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

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

Preferred qualifications:

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

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

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

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

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

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

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

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Job Title: Marine Construction Project Engineer (ID8353)
Location: Bukit Batok, Singapore
Working Hour：5.5 days (Monday to Friday 8-5, Saturday 8-12) but may required to OT due to project requirement (7am-7pm)
Salary: $3700 - $4600

Job Description:
-Pre-plan and prepare construction schedule, and coordinate activities.
-Follow up and report On-site and Off-site project management and progress.
-To prepare and submit progress reports as required by consultants and clients.
-Analyse project specifications, including civil/structural, architectural, and M&E drawings..
-Perform other project related administrative duties assigned.
-Coordinate, prepare and arrange site inspection with RE & RTO.
-Arrange daily Toolbox Meeting with Site Supervisor and WSHC and briefing on site activities and daily task. Arrange Site daily activities with Site Supervisor.
-Attend monthly, weekly safety meeting and site works with Client.
-Prepare necessary submission for project. Example, RFI, MS, RA, SWP, shop drawings and supporting documents preparation.
-To prepare and keep records, summary related to project. Maintain Project documents control for ISO purpose.

Requirement:
-Minimum Bachelor's degree in Civil Engineering only.
-Minimum 2 to 4 years of work experience in infrastructural or marine construction industry.
-Relevant project experiences in dredging, reclamation or near shore construction will be preferred.
-Knowledge of construction methods, materials, and BCA regulations.
-Working hour from 7am to 7pm from Monday to Saturday.
-May require to assist in variable projects.
-Strong organizational and communication skills.
-Ability to work well under pressure and in a fast-paced environment.

Job Title: IT Infrastructure & Support Engineer (ID7029)
Location: Clementi
Working Hours: Mon to Fri 830am-6pm
Salary: $4500

As a key member of the IT team, the candidate will be responsible for overseeing and optimizing infrastructure systems across both local and overseas sites.


Key Responsibilities:
• Manage and configure infrastructure systems (Active Directory, data centers, telephony, video conferencing, etc.) and network devices (firewall, VPN, wireless, etc.).
• Ensure automatic system backups, implement disaster recovery plans, monitor resource usage, and apply patches as needed.
• Coordinate with external vendors to ensure Service Level Agreements (SLAs) are met.
• Develop and maintain technical documentation such as admin and user guides.
• Provide technical support to local and international branches, ensuring LAN/WAN security.
• Source products, solutions, and vendors for project needs.
• Offer L1/L2 support and contribute as a team lead or member in various IT projects.

Requirements:
• Singaporean/ PR only.
• Diploma or Degree in IT/Computer Science, or a CCNA certification.
• Proficiency in English and Mandarin is required to liaise with overseas stakeholders.
• At least 1 year of experience in enterprise networking (WAN/LAN, VPN).
• Proficient in managing Microsoft Server, Microsoft 365, and Google Suite.
• Solid knowledge of TCP/IP, DNS, DHCP, Proxy, and Firewall setup.
• Familiarity with Alcatel PABX, FortiGate, Cisco, and Unifi Wireless controllers.
• Strong understanding of CyberRisk, CyberSecurity, and PDPA.
• Experience with Veeam, VMware, UNIX/Linux, API/Web programming, and database management is a plus.

La Bottega @346 Joo Chiat Road

Responsibilities:

- Take orders and explain menu to customers

- Able to address customers' concerns

- Able to relate to people

· Helps in taking reservations, answering the phone, replying to WhatsApp messages before and during service, responding to any guest requests etc

· Welcome guests warmly to the restaurant

· Be helpful, welcoming and pleasant towards each guest.

· Acknowledge special occasions when notified by customer and keying it in the system for the booking.

· Liaise with the kitchen and GM on the special requests of the week.

· Assist other service crew with work including, but not limited to cleaning the tables, tidying up and setting silverware during service and getting ready for the next seating

· Serve food & beverage to guest when required.

Requirements:

· Diploma in Tourism / Hospitality Management

- MUST BE ABLE TO SPEAK ENGLISH WELL

· Good people skills

- Likes to chat with customers

· Good organizer and planner

· Service-orientated

· Ability to operate with flexibility and creativity.

· Well-groomed

· Proactively taking on additional responsibilities where required.

· Can think out of the box

· A minimum of 3 years’ experience with customer service preferably at a hotel or a restaurant

BENEFITS

• 5 day week/ 52 hours
• $2500 to $4000 (depending on experience and skills set)
• 12 days of AL (up till 17 days)
• Monthly Attendance Incentive
• Yearly Long Service Award (up to $2000)
• Meal allowance $5 each day

Job Responsibilities:

Civil & structure design, analysis, and assessment for foundation, excavation, earth retaining structures, slope, instrumentation, and site investigation.

To lead a team of supervisors to ensure full time supervision of works on site

Conduct inspections and checks on work performed by subcontractors

Prepare project-related reports and method statements for submission

Well-versed in civil and structural design software.
Familiar with authorities' submission requirements for engineering projects.

To ensure that works are carried out according to specifications, drawings and programme without compromising on quality and safety;

Requirements:
Degree in Civil/Structural Engineering from a recognized Institution.

Minimum 3-5 years of design experience in geotechnical and civil engineering projects in a consulting firm or main contractor

Be independent, analytical, highly motivated with excellent team spirit and interpersonal skills

A good knowledge of the application of design and drafting software such as Autocad, Staad Pro & Plaxis would be an advantage

Job Requirements:

Prepare design calculation reports and structural drawings for authorities submissions.

Coordinate with various stakeholders such as clients, consultants, and contractors for projects

Carry out detailed analysis and design of Civil, Structural and Geotechnical works

Supervise and inspect construction works.

Involved in design and analysis of steel and concrete structures.

Liaise with client and contractors with regards to potential design changes or resolve technical queries.

Design coordination with authorities and contractors

Requirements:

Degree in Civil/Structural Engineering from a recognized Institution.

Strong engineering fundamentals and analytical skills in structural

analysis and design work would be an advantage

A good knowledge of the application of design and drafting software such as Autocad, Staad Pro & Plaxis would be an advantage

Job Scope :-

• Track, Monitor, Control & Update Work Progress on Site
• Plan & Schedule for Site Inspections according to Work Progress Status
• Coordinate and Schedule draw 3D Drawings & Sample Submission for Approval to client
• Conduct Regular Internal Review meetings with Trade Contractors for Site Arrangement, Work Progress, & Technical Resolutions
• Perform Authorities submission including MOM, LTA, NEC, SCA, and any others deemed necessary for the site nature
• Support current direct sales activities
• Creation for new customer
• Support distributor’s sales activities
• Creation, maintenance and management of Social Networking Services content in each country
• Sales Tool Preparation (Clinical Data)
• Business planning
• Contract & negotiation with new Distributor
• Network building with the same industry
• Cultivate new customers
• Other ad-höc duties assigned

Job Requirements :

• Engineering or above on Electrical or Mechcaniacl flied or related discipline any bachelor degree
• At least 3-4 years of experience in A&A work and technical coodinator to lead the bussiness
• Strong leadership to monitor workers for the works executed
• Demonstrate ability to handle Work independently and efficiently
• Good interpersonal skills and be able to interface with all levels, internally and externally, in a responsive manner.

Our philosophy “Kando Sozo” ensures and expose you to our customers’ happy faces, thus we are looking for Senior Restaurant Manager to join in our family.With over 1,200 restaurants worldwide, Gyu-Kaku, a new style of Yakiniku restaurant provides high-quality services and low-price Yakiniku to a wide range of customers.

"Job Description:

1. Coordinate daily operations for Restaurant operations.

2. Manage other restaurants outlets by receiving other manager’s feedbacks.

3. Deliver good service and maximize customer satisfaction.

4. Respond efficiently and accurately to customer’s complaints.

5. Regularly review product quality, and sourcing for new vendors.

6. Daily reporting and inventory report to the Managing Director.

7. Ensure compliance with sanitation and Safety regulations.

8. Jointly coordinating and planning menu with Head Chef.

9. Managing and maintaining restaurant’s image to the public and suggest ways to improve it.

10. Control operational costs and identify measures to cut waste.

11. Train new and current employees on proper customer service, and service quality.

12. Implement policies and protocols from Company policy.

13. Any other Ad-Hoc as required by Managing Director."

"Job Requirements

1. Full-time position.

2. Good soft skills and management skills.

3. Disciplined, conscientious and meticulous (has an eye for details)

4. Preferable with 7-10 years of experience in F&B industry, experience in Japanese restaurants is a bonus.

5. Mature and positive attitude.

6. Strong Leadership and Motivational skills

7. Good communication and interpersonal skills."

Our philosophy “Kando Sozo” ensures and expose you to our customers’ happy faces, thus we are looking for Senior Restaurant Manager to join in our family.With over 1,200 restaurants worldwide, Gyu-Kaku, a new style of Yakiniku restaurant provides high-quality services and low-price Yakiniku to a wide range of customers.

"Job Description:

1. Coordinate daily operations for Restaurant operations.

2. Manage other restaurants outlets by receiving other manager’s feedbacks.

3. Deliver good service and maximize customer satisfaction.

4. Respond efficiently and accurately to customer’s complaints.

5. Regularly review product quality, and sourcing for new vendors.

6. Daily reporting and inventory report to the Managing Director.

7. Ensure compliance with sanitation and Safety regulations.

8. Jointly coordinating and planning menu with Head Chef.

9. Managing and maintaining restaurant’s image to the public and suggest ways to improve it.

10. Control operational costs and identify measures to cut waste.

11. Train new and current employees on proper customer service, and service quality.

12. Implement policies and protocols from Company policy.

13. Any other Ad-Hoc as required by Managing Director."

"Job Requirements

1. Full-time position.

2. Good soft skills and management skills.

3. Disciplined, conscientious and meticulous (has an eye for details)

4. Preferable with 7-10 years of experience in F&B industry, experience in Japanese restaurants is a bonus.

5. Mature and positive attitude.

6. Strong Leadership and Motivational skills

7. Good communication and interpersonal skills."

Job Descriptions

• Greet and escort customers to their tables
• Present menu and provide detailed information when asked (e.g. about portions, ingredients or potential food allergies)
• Prepare tables by setting up linens, silverware and glasses
• Inform customers about the day's specials
• Offer menu recommendations upon request
• Up-sell additional products when appropriate
• Take accurate food and drinks orders, using a POS ordering software,order slips or by memorization
• Check customers' IDs to ensure they meet minimum age requirements for consumption of alcoholic beverages
• Communicate order details to the Kitchen Staff
• Serve food and drink orders
• Check dishes and kitchenware for cleanliness and presentation and report any problems
• Arrange table settings and maintain a tidy dining area
• Deliver checks and collect bill payments
• Carry dirty plates, glasses and silverware to kitchen for cleaning
• Meet with restaurant staff to review daily specials, changes on the menu and service specifications for reservations (e.g. parties)
• Follow all relevant health department regulations
• Provide excellent customer service to guests
• Ensure Cleanliness of the Restaurant Serving Area and Toilet

Job Requirements

• Proven work experience as a Waiter or Waitress
• Hands-on experience with cash register and ordering information system (e.g. Revel POS or Toast POS)
• Basic math skills
• Attentiveness and patience for customers
• Excellent presentation skills
• Strong organizational and multitasking skills, with the ability to perform well in a fast-paced environment
• Active listening and effective communication skills
• Team spirit

Benefits

• Bonus subject to performance.
• AL ( 14 Days ).
• OT most of the time not require but if need we will pay OT when come to work for non opening days.
• $200 Split shift allowance per month ( prorated to number of day the employee works )

Working Hours

• Tues - Sat ( 5 working days )
• Sunday Monday and public holiday ( Off )
• 11am - 2pm
• 4:30pm - 10pm