KEY RESPONSIBILITIES:

• To provide support on maintenance project.

• Handle system administration, network support, implementation, troubleshooting in Windows / Linux / Unix.

GENERAL REQUIREMENTS:

• Candidate must possess at least a Diploma in Engineering (Electrical/Electronic), Computer Science/Information Technology or equivalent.
• Must have at least 1-2 years of Server experience
• A team player with good communication and interpersonal skills
• Able to work without minimal supervision
• Able to work on scheduled standby on rotating weeks.
• Working hours: Mon to Fri, 8.30am to 5.50pm.

Only shortlisted applicants will be notified.

EA License: 14C7275| Juhi Dwivedi : R23112291

RESPONSIBILITIES:

Netlist to GDSII at block level, Subsystem Level and at Full chip.

• Worked on multiple tapeouts on Netlist to GDSII

• Hierarchical partitioning and budgeting of block-level subsystems.

• Implementation of high performance (HP) cores, low power designs

• Node experience upto 7nm, 10nm, 14nm, 28nm.

• Timing Signoff in loop through STA and ECO cycle at block and at interface.

• Block level floor planning, power planning and IR drop analysis.

• Scan chain reordering / Scan Chain repartitioning

• CTS expertise and clock tree constraints creation for meeting specifications

• MMMC optimization at Block and Sub-System Level

• Timing closure with Crosstalk and AOCV / POCV

• TCL scripting to fundamentally understand tool usage.

MANDATORY EDA SKILLS

• PnR tools such as Synopsys ICC/ICC2 and/or Cadence Innovus

Responsibilities:

• Responsible for the electrical design contents as assigned together with its follow-up for Authority and Client’s approval.
• Preparation of electrical design calculations, drawings, specifications, and tender documents for the design projects.
• Participation in design progress and design coordination meetings.
• Liaison and coordination with all applicable Local Authority Departments to obtain approval on projects.
• Responsible for the design review of the electrical services.
• Participation in design review meetings and workshops.
• Preparation of meeting records, design review and design progress reports.

Requirements:

• Degree in Electrical Engineering or other related field
• Minimum 8 years of professional hands-on electrical design experience in building and infrastructure projects
• Excellent technical skills and knowledge in field of expertise
• Experience with full project life-cycle engineering stages from feasibility study, through construction to commercial operation
• Strong project management, communication and interpersonal skills
• Proven track record of developing and delivering innovative client technical solutions

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

Key Responsibilities:

• Responsible for serving food and beverages in the restaurant/bar efficiently and in a most courteous manner.
• To be well versed with menu, method of preparation and accompaniments in order to make recommendations to guests
• Maintains cleanliness of work areas
• Table settings and clearance for the next guests

Key Requirements:

• Strong passion for F&B and service oriented
• Willingness to work on PH and Weekends when required

Job Overview: We are seeking a highly skilled and motivated Software System Safety Engineer to join our dynamic team. The ideal candidate will be responsible for ensuring the functional/ system safety of our products, software and systems, with a focus on compliance with relevant safety standards and regulations. As a Functional / System Safety Engineer, you will play a crucial role in identifying and mitigating potential safety risks, conducting safety analyses, and collaborating with cross-functional teams to implement safety measures throughout the product development lifecycle.

Key Responsibilities:

1. Safety Analysis:

• Conduct hazard analysis, risk assessments, and safety integrity level (SIL) assessments to identify potential safety risks associated with products and systems.
• Perform Failure Modes and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) to evaluate the impact of potential failures on system safety.

2. Compliance and Standards:

• Ensure compliance with relevant functional safety standards, such as ISO 26262, IEC 61508, or other industry-specific standards applicable to the domain.
• Keep abreast of evolving safety standards and regulations to ensure continuous compliance.

3. Safety Requirements:

• Develop and define functional/ system safety requirements for products and systems, considering both hardware and software aspects.
• Collaborate with design and development teams to integrate safety requirements into the overall product development process

4. Documentation:

• Create and maintain comprehensive documentation related to functional safety, including safety plans, reports, and safety cases.
• Ensure that safety documentation aligns with industry standards and best practices.

Qualifications and Skills:

• Bachelor’s degree in Engineering or a related field.
• Proven experience in functional / system safety engineering, preferably in industries such as automotive, defense, or industrial automation.
• Familiarity with safety standards such as ISO 26262, IEC 61508, or equivalent.
• Strong understanding of safety analysis techniques, including FMEA and FTA.
• Experience with safety-critical systems and knowledge of hardware and software safety mechanisms.
• Excellent communication and collaboration skills.
• Experience in product development is a plus
• Experience in intelligent transportation and/or autonomous vehicle system development is preferred
• Certification in functional safety (e.g., CFSP) is a plus
• Knowledge in MIL-STD-882 and TR68 is a plus

Application Process: Interested candidates are encouraged to submit their resume and a cover letter highlighting their relevant experience in functional/ system safety engineering. Shortlisted candidates will be contacted for an interview.

MooVita Pte Ltd is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.

Position Summary:

The AV Service Engineering and Operations Coordinator is responsible for providing technical support, data collection, coordinating maintenance and operation activities to ensure the optimal operation of autonomous vehicles.

Key Responsibilities:

Level 1 Troubleshooting and Technical Support:

• Provide on-site Level 1 troubleshooting support (when activated) and debugging for technical issues encountered. Work with Level 2 support to identify, diagnose, and resolve basic configurations concerns, or minor hardware malfunctions.
• Collaborate with specialized teams or senior engineers to escalate complex issues beyond Level 1 for further analysis and resolution.
• Offer comprehensive customer support by resolving queries, providing technical assistance, and ensuring customer satisfaction.

Data Collection and Analysis:

• Execute routine data collection processes from data loggers, onboard sensors, software systems, diagnostic tools and feedback forms
• Analyze collected data to identify performance patterns, trends, and potential areas for optimization or preventive maintenance

Maintenance Coordination:

• Conduct and facilitate regular inspections, diagnostic tests, and scheduled maintenance for all vehicle assets including on-board equipment to ensure optimal functionality and safety.
• Develop maintenance schedules, ensuring adherence to protocols and manufacturer's guidelines for regular inspections, software updates, and component replacements.

Documentation and Reporting:

• Maintain meticulous records of Level 1 troubleshooting procedures, data collection findings, and maintenance activities performed on the buses.
• Generate detailed reports outlining identified issues, recommended solutions, and actions taken for each maintenance task or diagnostic analysis.

Operational Coordination:

• Coordinate operational activities including scheduling, resource allocation, and route optimization for the AV fleet.
• Collaborate with engineering, operations, and management teams to facilitate coordination between technical tasks and operational requirements.
• Propose and implement improvements to enhance operational efficiency, reliability, and customer satisfaction.

Any other additional duties not listed above but deemed appropriate for product and operations support by project basis.

Qualifications:

• Minimally a diploma in relevant Engineering field with equivalent work experience, with a focus on mechatronics preferred
• Familiarity with Unix (Ubuntu) environment
• Good understanding of Class 4 autonomous buses equipped with SAE Level 4 autonomy, including sensor technology, control systems, and software.
• Proficiency in Level 1 troubleshooting, data collection methodologies, and coordination of maintenance activities for Class 3 and 4 vehicles and electronics equipment
• Excellent communication skills and the ability to collaborate effectively with technical teams and stakeholders.
• Dedication to meticulous documentation and reporting practices.
• A Class 3/4 driving license will be an added advantage.

Experience:

• 3-5 years of hands-on experience in service engineering, technical support and/or operations coordination. Prior experience related to Class 3 and 4 vehicles will be an advantage.

Customer Service Officer responsibilities include responding to customer service inquiries, finding appropriate solutions, and updating customer accounts or services.

Responsibilities

• Being the first point of contact for our clients/guests, candidate act as the fitness club gatekeeper.
• Greet customers warmly and ascertain problem or reason for calling with an enthusiastic attitude.
• Work well with fellow customer service officers and Front of House Manager to ensure exceptionally high standard of service is being delivered.
• To handle cashing duties and account for transactions.
• Create and maintain good and friendly customer relations with members and guests.
• Issuance and recording of equipment and items loaned to members and guests.
• Ensure that the lounge and private room is ready for use when booked and closed after members have vacated the premise.
• Get members to register for upcoming events / competitions.
• Oversee and manage the corporate events at the Karaoke Lounge.
• Positive attitude and team player.
• Night shift 5PM-3AM

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

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

Support the customers to install, diagnose and resolve Hardware, Software, Application issues on desktop PC/notebook and related peripherals.

Primary Responsibilities

• To assist in installation of hardware and software
• To ensure that hardware and software are maintained according to standards by performing upgrades, new installations and carry out routine updating procedures

Job Knowledge/Skills

• Diploma in Information Technology or Computer science or any computer related subject.
• Good knowledge in PC hardware, LAN and Windows OS
• Resourceful and able to resolve problems independently using online and offline resources
• Good communication and Interpersonal Skills
• Able to communicate effectively in English
• Well organized, proactive and self-directed
• Able to perform with minimal supervision and a team player
• Shift duty and weekend support are required when needed
• Candidateswith troubleshooting knowledge are welcome to apply
• Security Clearance is required

Additional Information

• Location: 50% at Jurong Island
• Once per week, morning shift duty ( 6 am to 2 pm).
• Weekend support for system upgrade / cutover is about once every 2 months.

Jal Yoga International is a well established Yoga studio that has 6 studios around Singapore offering Yoga, Pilates and Barre classes an expanded to Kuala Lumpur, Malaysia and Jakarta, Indonesia. We are looking for an individual who are mature and responsible who is able to handle both the studio branch and our valued customers.

Responsibilities

- Receiving members/visitors and assisting with checking in of the Yoga classes

- Attending to phone calls, emails

- Handle bookings, cancellations, and reconfirmation requests from members/visitors

- Collection of payments over the counter and able to use the NETS/VISA and other payment machines

- Admin duties such as Sales tracking reports, handles monthly consumables, late cancellations and No Shows reports etc.. Must be able to use Microsoft Excel.

- All other ad-hoc duties assigned by the Management

- Maintaining studio cleanliness, sanitising mats and props after each class ends. No allergies to disinfectants or any cleaning products

Requirements

- Highly energetic individuals, cheerful personality with a strong interest in the wellness industry

- Professional, strong interpersonal and communication skills

- Must be fully committed and reliable as you will be handling the front desk alone

- Love meeting people and interacting. Not shy and bubbly personality

- Basic computer skills

- Candidates with relevant qualifications, customer service/hospitality background, with experience in handling front desk and admin duties.

Working hours 7am-1pm Mon-Fridays.

Work location: Kovan, Yio Chu Kang Road
Successful candidates will be undergoing training first.

• Liaise with clients/carriers/transporters/hauliers to execute import and export shipments (Sea/Air).
• Ensure execution of client requests/requirements and respond to their service issues/enquiries.
• Declaration of PM4 or Dangerous goods application and follow up with carrier for approval.
• Works closely with the Sales/Marketing Dept. and assist to quote on their behalf during their absence.
• Generate booking confirmations, Bill of Ladings and invoices to clients
• Document filing. Declaration of import/export permits.
• Follow up with overseas agents/carriers on shipment status.
• Sending pre-alert notice and advice to agent abroad for every shipment.
• Handling local shipper or agent abroad for any enquiries or complaint for any delay or discrepancies on document through telephone or e-mail.
• Preparing Shipping Certificates, Certificate of Origin and Fumigation Certificate.
• Checking the Portnet everyday and updating berthing and unberthing time for every shipment.
• Updates on exchange rates and SOB.

** Min 1 year experience.

Fresh Graduates are also welcome.

On-Job-Training / Related Job Courses can be provided for suitable candidates who have the right attitude but lacking the correct experience.

** Walking distance from MRT station. Friendly working environment.

** Salary will be commensurate base on qualification and experience.

** Medical and dental benefits provided.

Job Title: Senior Customer Service Executive (ID3387)
Location: Redhill
Working Hours: Mon-Fri 9am to 5:30pm
Salary: $3000 - $4200

Job Description:
-Responsible for facilitating and managing activities involving sea export, sea import, warehouse & truck.
-Monitoring pre-alert documents from Origin offices or sales support (sea import only)
-Familiar with custom requirements, import and export procedures.
-Track and monitor vessel arrivals / departures and update customers if any deviations.
-Handle all customers' enquiries timely and effectively.
-Roles- Sourcing for rates from service providers as per the sale/customer's enquiry.
-Coordinate with business partners on Sales lead from the origin or the destination.
-Provide comprehensive service to all aspects of customer's requirement/problem solutions to handle their shipments.
-Preparing of invoices for customers & checking about subcontractor’s invoices & preparing of reports for internal &external customer.
-Ensure compliance with customer's Standard Operating Procedures (SOP)
-Preparing SOP for our internal use.
-Interface with multiple parties including customer, warehouse, carriers, customs, etc on shipment requirements
-All other ad-hoc work instructions from Managing Director or Manager

Requirements:
• Diploma/ Degree in Business, Sales, Marketing or in a discipline related to Logistics & Supply Chain Management.
• Minimum 1-2 years' experience in Sea freight forwarding
• Good experience running & managing sea-freight operations.
• Knowledgeable in sea-freight compliance & regulation
• Ability to work independently, meticulous, self-motivator and a team player
• Ability to cope in fast pace environment
• Proficient in Microsoft Excel

Job Title – lyf Guard

You are the main contact for the community, and acts as the face of lyf. You will be a multifaceted Community Manager, who revels in creating an inclusive and collaborative community at lyf. A day in the life of a lyf Guard can start from checking in a new resident, recommending the best yoga studio in town, replacing a light bulb, and ending with having a cup of coffee together with the lyf residents in the social spaces after work. You will report to the Senior lyf Guard.

Responsibilities

1) Take Care of All Residents from Pre-arrival to Post-departure

You will:

• Assist lyf residents with their check-in through the Discover ASR, and mobile access activation

• Explore the functions of the Discover ASR with residents (Eg; mobile access and message board)

• Encourage residents to explore and work with the lyf community

• Handle residents' queries on facilities, services, registration and information about shopping, banking, dining, entertainment and local events

• Handle complaints from residents and ensure that they are appeased

• Conduct tours for lyf residents, potential residents and working partners

• Handle residents' related correspondences

2) Ensure Operational Effectiveness

You will:

• Monitor room availabilities through the property management system

• Ensure that procedures follows corporate guidelines

• Perform book-keeping activities

• Conduct regular rounds to ensure cleanliness of property, especially in shared social spaces

• Handle walk-ins, emails and phone enquiries

• Perform light housekeeping and engineering responsibilities and work with relevant outsourced contractors for cleaning and maintenance

• Ensure the property is sufficiently stocked with stationery and marketing collaterals

• Review activities within the team, improve the departmental processes and enhance efficiency

• Ensure that all staff receive skills upgrading and training (Eg; On-the-job training for new hires)

• Ensure all residents' refunds through credit cards are submitted to Finance

3) Create an Inclusive and Collaborative Community

You will:

• Maintain residents' preference profiles and track their likes and dislikes.

• Assist the Ambassador of Buzz to:

• Curate and plan a calendar of events for residents

• Suggest community initiatives to encourage interaction among the residents

• Manage in-building events for compliance with house rules and intercede or escalate issues as they arise

• Solve residents' related issues to provide a cohesive community and to manage residents' expectations

• Engage with residents and provide constructive recommendations to enhance their stay experiences.

Job Requirements

You have:

• At least 1 year of relevant work experience preferably in the hospitality industry

• Attained at least a Degree or Diploma in Hospitality, Hotel Management or an equivalent qualification

• Service-oriented

• Creative and able to form a unique vision for our communities and residents

• Editing skills

• Interesting skill and talent (lyf skills) such as, coffee making, bartending, singing or a computer geek

• Passion in creative and collaborative communities

• Knowledge of current trends and happenings in the local scene

• Pick up and use new systems and technology solutions quickly

• Enjoy learning a variety of tasks, including paperwork

• Willingness to do shifts (i.e. Morning, Afternoon and Overnight)

We are a cake company, specialising in elegant, wholesome cakes.

We are looking for Permanent / Full-time/Part-time Service Crew for our Paragon outlet.

Position available

- Sales Supervisor, Sales Service Crew

Working Hours

44 hours (5 days a week)

Salary

Up to $3.5K, depending on experience and knowledge

Job Scope

- Attending to customers

- Processing customers' orders of cake and beverage

- Housekeeping of outlets

- Receiving and displaying of cakes

- Barista skills are an advantage

- Manning the POS system

- Maintaining daily opening and closing procedures

Desirable qualities

- Good people skills

- Familiarity with the concept of good service

- Good organisational skills

- A positive attitude

- A passionate and cheerful personality

Benefits

- Variable bonus based on staff and Company performance

- Confirmed staff will be entitled to reimbursement of outpatient expenses and medical insurance

- Training will be provided

Please remember to attach your resume.

We regret that only shortlisted candidates will be notified.

We look forward to having you join our team!

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

Job Responsibilities:

• Provide front-line engineering support for M&E systems
• Carry out/ ensure routine & preventive maintenance services of M&E systems in accordance to plan/master schedule
• Conduct site inspections and data logging for critical M&E systems
• Perform preliminary troubleshooting and rectification of M&E issues
• Manage and supervise contractors to perform maintenance/ repair/ replacement works
• Responsible for tenants satisfaction, attend to and investigate and complaints related to M&E services
• Ensure that the premises and its building facilities are maintained at the highest standards
• Ensure proper documentation of all maintenance, repair and services activities.
• Any other duties as assigned by the Engineering Supervisor & Building Manager

Requirements:

• Diploma / Degree in Electronics /Electrical Engineering or equivalent.
• Hardworking, positive working and learning attitude
• A good team player who is also able to work independently
• Possess good technical knowledge of building works and M & E will be advantage.
• Possess good communication skills (with good written & spoken English) and be able to relate to different levels of people.
• Ability to handle difficult situations and work well in fast-paced environment

Our client is in construction industry (Grade A1 Contractor/ Class 1 General Builder) and they provide full suite of integrated construction services and solutions in both the public and private sectors.

JOB DIMENSION (SCOPE)

• Coordinate design drawings with consultants to comply with requirements of the authorities.
• Review and provide solutions to technical problems as well as plan, monitor and report shop drawing production progress.
• Prepare technical submissions for materials, construction methods and C&S shop drawings.
• Resolve construction issues on drawings and liaise closely with Architectural and M&E teams as well as the authorities.
• Supervise a team of BIM Modelers to produce coordinated shop drawings and Concrete Body Plans

REQUIREMENT

• Possess a Degree in Civil/ Structural Engineering with relevant design working experience with contractors.
• Preferably a Professional Engineer registered with the Professional Engineers Board, Singapore
• At least 5 year(s) of working experience in the related field is required for this position.
• Be conversant in British & Singapore Design Standards
• Be independent, analytical, highly motivated with excellent team spirit and interpersonal skills.
• Possess prior experience working in consultancy firms (added advantage)

1.Have rich experience in the field of partial discharge diagnosis, proficient in various diagnostic techniques, types of partial discharge, and PD localization skills on electrical assets like Switchgear, Transformers, Power Cables, and GIS.

2. To review partial discharge diagnosis report and provide professional maintenance advice on power and electrical asset.

3. Able to install and maintain online Partial Discharge monitoring system.

4. To provide partial discharge training for customer （on-site/web training）

5. Able to work independently and to travel around the different countries (if needed) to perform services.

6. Technical support (pre & post-sales). Answering technical questions, demonstrating, and responding to the biddings on the technical portion, eg: prepare and provide bidding document to clients.

7. Review and revise product manuals, database, product Catalogue, Brochure, newsletter etc.

Job Summary:

· Right site patients and achieve optimal utilization of SLH services

· Ensure expedient processing and managing all applications for admissions in a timely manner

· Implement policies and procedures that improve efficiency of the Referral Centre

· Support joint initiatives and collaborative projects undertaken with other healthcare and community partners

Responsibilities and Duties:

· Conduct screening of referrals and assess suitability for transfers to SLH

· Participate in clinical and/or quality improvement initiatives

· Review and implement clinical protocols, processes, procedures and policies

· Collaborate with other hospitals and strategic partners to develop and refine workflows to ensure seamless and expedient transfers

· Participate in new projects and initiatives, where there may be impact on clinical services of the hospital (inclusive of providing administrative support in clinical research)

· Assist in the preparation of reports and statistics as required

· Assist in identifying problem areas, recommend and implement improvements

· Perform other duties as assigned

Job Requirements:

· Minimum qualification of a clinical degree or equivalent, preferably with at least 5 years of work experience in geriatric setting.

· Able to work independently

· Good collaborative and communication skills

· Demonstrated ability and interest in working with the elderly population

Responsibilities

• PLC & PC based programming for customized automation machines
• Vision Camera Inspection System and related programming
• Various testers (High Potential testers, Leak testers)
• Electronic Camming to control servo motor driven motions
• Sourcing and costing of related EE components

Requirements

• Diploma/Degree in Electrical Engineering with 2 to 3 years’ relevant experience
• Related experience in design and development of customized automation machines
• Must be able to write application programs for PLC such as Omron, Allan Bradley control logix, Siemens S5, S7, Keyence, Beckhoff etc.)
• PC based (visual basics, C++) familiar to apply both hardware and software for machine controls
• Hands on, able to guide technicians on schematics, EE layout etc

Please kindly email your resume in Ms Word to [email protected]

We regret to inform that only shortlisted candidates would be notified.

Registration Number: R1328870

EA License No. 22C1026

Description

• Basic knowledge of our drinks and food menu
• Team player, professional and friendly. (Even in tough situations)
• Effective communication skills with guests and staff
• Quick thinking, basic math skills and great attention to detail
• Greet guests and make them feel comfortable
• Learn menu items and be able to describe them appropriately to guests
• Order Taking and Serving in a timely manner
• Check-in with guests to ensure that everything is going well
• Refill beverages throughout the meal
• General cleaning/dishwashing
• Making sure that all areas of the restaurant is clean and neat

Requirement

• No experience are welcome to apply
• Willing to learn
• Independent, proactive, resourceful and ability to work in a fast paced environment
• Team player with excellent interpersonal and communication skills
• Able to commit weekends and public holidays

• Develop and implement effective sales strategies to penetrate new markets, expand our client base, and achieve sales targets on partial discharge testing products.
• Understand our Partial discharge testing products and their applications across different industries. Introduce technical features to potential clients.
• Collaborate with Technical support engineer to conduct product demonstrations and presentations, both in-person and virtually, showcasing the benefits and features of our PD testing solutions.
• Stay up to date with industry trends, competitor activities, and market demands to identify opportunities for growth.
• Coordinate and conduct promotional activities including user meetings, seminars, local exhibitions and post-sale customer training and service of the products.
• Travel to client sites for meetings, oversea exhibitions, and post-sale customer training, as required.

Requirements:

• Min. Diploma and above
• Good knowledge of Electrical Engineering, Power systems (GIS, Transformer, Switchgear, High Voltage assets)
• 2-3 years’ experience in sales and dealing with customers and 5-6 years’ experience for senior position.
• Enjoy communicating, organize working day activities independently.
• Occasional travel to other countries if needed.

Role:Network Engineer

JD:

• Responsible for day to day Operations and administration on network & security infrastructure
• Perform Installation, configuration and maintenance of network equipment and network operating System
• Responsible for network design and security particularly troubleshooting and/or debugging network related problems.
• Good Knowledge troubleshooting, problem identification, problem resolution and/or resolution recommendation activities to first- and second-level teams
• Managing of Cisco Security devices; ASA appliance 5555-X and 5585-X, Juniper Net screen & (including virtual firewall contexts) ,Checkpoint Firewall
• Managing of Cisco Data & Security Devices; ASDM, CSM and DCNM
• Managing of Servers; AAA, SNMP, Syslog, NTP, DHCP, FTP, DNS, IPS, VPN, AAA, DNS, DHCP, load balancers
• Managing of Cisco Routers and Switches Catalyst 6500,4500,3750,2960 & 3560 Series
• Managing of Alcatel Switches Omni Switches 6850 & Omni Switch9000
• Significant exposure to TACACS+, Radius, and Cisco Access Control System
• Network consulting for new projects.
• Implementation of new solutions and risk mitigation techniques
• Receipt, evaluation and implementation of inbound Network Access user and device provisioning/de-provisioning service requests
• Experience in managing Wireless Environment with WLAN Controller.
• Experience in managing Network Access Control
• Assets risk measurement and Mitigation/Minimize risk
• Network security issue resolving approach
• Alignment with security governance team
• Perform maintenance of the network authorization infrastructure as well as network backup system.
• Maintains inventory of equipment and parts as well as documentation of vendor activates.
• Develop and documents systems standards for computer and network device.
• Recommend and schedule repairs to the LAN/WAN and ensure timely user notification of maintenance requirements and effects on system availability.
• Strong networking background and experience, with the ability to do troubleshooting of both access control and network related problems.
• Troubleshoot networks, system, and applications to identify and correct malfunction; other operational difficulties and provide telephone and internal users.