Job Description:

As a Software Engineer at our company, you will play a crucial role in designing, improving, and implementing software solutions for our high-tech products in the semiconductor manufacturing industry. You will collaborate closely with the software manager and other members of the Scrum team, taking ownership of assigned software development tasks. Your responsibilities will include writing, debugging, and maintaining source code, as well as conducting unit tests to ensure the robustness of the developed software.

Key Responsibilities:

· Design and enhance software architecture.

· Execute assigned software application development tasks.

· Report to the software manager and collaborate closely with other software engineers in the Scrum team.

· Take responsibility for writing, debugging, and maintaining source code and conducting unit tests.

· Demonstrate developed features to the company team and product managers, collecting feedback for continuous improvement.

· Provide customer support and on-site debugging as needed.

Requirements:

· Bachelor's, Master's, or Ph.D. degree in Computer Science, Computer Engineering, Electronics, Automation, or related technical fields from a reputable university.

· 5 years of programming experience in C#, .Net/WPF, and C++ on the Windows platform.

· 5 years of professional design and development experience in object-oriented design patterns for scalable, high-performance large software applications.

· 5 years of experience with commercial system software and hardware integration in a production environment.

· Familiarity with open source or popular commercial image processing libraries.

· Experience in factory automation and MES development.

· Prior experience in CUDA-based GPU programming is a plus.

· Experience with detection and measurement devices is a plus.

· Prior experience working in Scrum agile development teams is preferred.

- Candidate must possess at least Bachelor's Degree/Post-Graduate Diploma/Professional Degree in Engineering (Civil) or equivalent.

- At least 5 Year(s) of working experience in the construction-related projects

- Abilities to work with Consultants

- Required Skill(s): AutoCAD, project management, good communication skills, good personal-relationship skill

- Preferably Junior Executive specialized in Engineering - Civil/Construction/Structural or equivalent.

1. INTERFACE MANAGER

Job Description:

• Responsible for design, implementation, testing and commissioning of Large-Scale, Rail Transportation projects for Supervisory Control & Data Acquisition (SCADA) System
• Manage a team of interface engineers and coordinate with interfacing contractors and stakeholders to firm up the interface design including getting the interface design and interface documents accepted by the client.
• Participate in interface meetings and interface testing on site with the interfacing parties.

Job Requirement:

• Diploma/Degree in Electrical, Electronics or Computer Engineering
• Excellent working knowledge of SCADA software package on UNIX and Windows platforms
• 3 – 5 years’ working experience in the design and implementation of Real Time Control System in a project environment
• Experience with various types of interfaces and protocol
• Ability to participate in multiple projects and work under pressure
• Pro-active, resourceful and able to work with various stakeholders
• Team player and independent

Please submit resumes to [email protected] with the following

details in MS Word format:

- Position applying for
- Current remuneration
- Expected remuneration
- Notice period

John Goh Meng Chye

EA License No : 06C4642
EA Reg No : R1102621

• Managing the planning and design stages of construction projects.

• Contributing technical expertise to project drawings and designs.

• Performing cost calculations and preparing financial projections.

• Preparing work schedules in collaboration with the project manager.

• Liaising between contractors, subcontractors, vendors, and suppliers.

• Overseeing construction engineering processes.

• Performing regular tests on materials and procedures to ensure compliance with industry regulations.

• Ensuring that the construction project is completed on time and within budget.

• Documenting processes and keeping detailed construction logs.

• Presenting construction project progress updates to clients and senior managers.

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

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.

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

Job Overview:

Design Project Manager to oversee the planning, execution, and completion of various design projects. To guide a team to meet the overall objectives of projects.

• Develop project plans outlining the scope, timeline, and resources required for successful completion of renovation projects.
• Collaborate with team members and other stakeholders to define project requirements and objectives.
• Collaborate with teams to ensure seamless execution of design plans.
• Conduct regular meetings to review progress, address issues, and coordinate tasks among team members.
• Clarify project scopes and deliverables with stakeholders.
• Coordinate capabilities, workload, and resources across multiple projects.
• Develop resource plans using resource scheduling tools.
• Document changes in scope, and issues and risks that affect project implementation.
• Establish project requirements to determine human resources, information, materials and technology needed.
• Establish project timelines, activities, resource plans and cost estimates.
• Monitor and control project costs, making adjustments as necessary to stay within budget constraints.
• Act as the primary point of contact between the company and clients, providing regular updates on project progress.
• Address client concerns, changes in scope, and any other issues that may arise during the project. Provide on-the-job training to direct reports and junior team members.
• Recommend schedule changes and adjustments to cost and resources.
• May require long hours for projects, which includes extensive collaboration with stakeholders, reviewing work done.
• Identify and address potential delays, working to keep the project on schedule.
• Track projects against established schedules, budget, manpower and technical quality targets.

Requirements:

• Minimum Bachelor Degree or related
• Minimum 10 years experience in Design/ Construction/ Renovation field.
• Proven track record in managerial role

AYE SUCCESS

Lic no. 10C5753

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.

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

We are seeking a new Project Manager- Workplace you will be the interface between project ownership and delivery. You are required to act as a point of contact between the Client’s representative, and Space Matrix, ensuring the desired project objectives are delivered.

What you’ll do:

• You will be responsible for adhering to an appropriate and effective project management framework for corporate interior fit-out projects.
• You will support in defining and implementing criteria for control and management of the project.
• You will manage the design and site delivery team’s performance of delegated responsibilities.
• You will adhere to project budget including risk allowance. monitor and control changes/variations.
• You will coordinate and foster teamwork between all project stakeholders.
• You will be responsible for supporting in coordination with vendors through the completion of the project.
• Prepare formal reporting on project progress for the client and Company

What We Expect:

• You are a project management professional with minimum 5 years of experience in the building construction industry.
• You have a diploma or degree in project management/ construction management or a related discipline.
• You have the knowledge of individual trades and subcontractors relevant to interior fitouts.
• You are tech-savvy, and have experience in successfully adopting digital and
  technology initiatives.
• You have the ability to work in a fast paced environment without compromising on quality and customer satisfaction.
• You work well under pressure and have the ability to work independently with minimal supervision.
• You will be a subscriber to the Company’s core values: teamwork, integrity and excellence.

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.

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

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

Mott MacDonald is a global engineering, management and development consultancy. We are a leading consultancy within Singapore, and we have an exciting opportunity for an experienced and driven Senior Structural Engineer to join our Built Environment sector.

We are seeking experienced and talented structural engineers to join our team for the iconic Changi Airport Terminal 5 development project.

This is an opportunity to utilize your expertise on one of Singapore's most important infrastructure projects. You will work on highly complex structures and push the boundaries of innovative design. The terminal will incorporate cutting-edge technologies and set new benchmarks for sustainable construction.

As part of our collaborative team, you will partner with renowned architecture and engineering firms at the forefront of their fields. This project represents a career-defining opportunity to make your mark on a building that will redefine air travel.

We are looking for candidates with strong technical skills, creative problem-solving abilities, and a passion for engineering excellence. If you are up for the challenge of working on one of the most exciting construction projects in Singapore, we encourage you to apply.

Let's build the future of aviation together. We look forward to your application.

The candidate shall be engaged in design delivery, submission, construction support, as-build and completion of the Project. The other duties include:

• Undertake detailed design in foundation, concrete and steelworks Structures
• Develop design concepts and construction methodologies and provide leadership in sectional project execution Provide design sketches and reports required for schematic, design development and constructions phases of projects.
• Provide detailed engineering computations and analysis as required for the statutory submission.
• Attending technical / progress meeting with clients and inspections during construction.

About you:

• Bachelor's Degree in Engineering (Civil) recognised by PEB Singapore.
• Minimum 5 years post graduate experience with consultant background in Civil and/or Structural Engineering.
• Proficient in 3D design programmes i.e. Robot, TSD, SAP 2000, STAAD Pro, ETABS, SAFE etc.
• Familiar with the latest codes of practice, the complete BCA submission and approval process.
• Familiar with Revit and delivering projects in BIM.
• Willing to mentor junior colleagues.

• Liaise with Consultants, contractors and authorities from inception to completion of projects
• Responsible for timely submission of reports and completion of projects for tender/submission with target dates
• Manage projects to meet the time, cost and quality objectives
• Coordinate and monitor work progress at the site including periodical site inspection and attending meetings during the course of the construction of projects
• Minimum 3 - 10 years of relevant experience in Civil Engineering Projects, preferably with MRT project experience
• Supervisory experience in foundation & structural works on-site
• Knowledge of LTA regulations

• A recognized Degree in Civil/Structural Engineering
• Proficient in AUTOCAD and Civil and Structural Engineering software applications
• Positive attitude, self-motivated and responsible
• Able to start work immediately

• To guide consultants and review their design to ensure the design adequacy to meet the relevant requirements and preferences of the contract.
• To optimize the design to reduce cost and construction schedule effectively.
• To coordinate with construction team to ensure the feasibility and constructability of the designed scheme.
• To train and enhance capabilities of design engineers/managers.
• Coordinate and review all design matters with LTA, authorities, consultants, subcontractors, etc.
• Provide technical solutions/advice on design issues to related teams
• Manage and control design deliverables related to BIM, technical, contractual and cost issues
• Manage subcontractors, review shop drawings to check to meet all design requirements

• At least 5 years of experience in the design of civil & structures / Architectural works for LTA MRT projects
• Degree in Civil Engineering or equivalent.
• Prefer candidates with relevant experience in Project and design management.
• Candidate must be detail-oriented.
• Strong writing and presentation skills.
• Strong in planning and documentation.