Total 52 Junior Executive level Engineering job vacancies in Victoria Road, Macclesfield, SK10 3BL

-Supervise and coordinate the activities of site contractors ;

· Monitor job progress and ensure that civil and structural contracted works meets all practical, commercial, requirements of productivity, quality and contract target completions;

· Ensure all design work conforms to the codes and standards used by the client, or to agreed industry standards.

· Implement and oversee site projects assigned to ensure smooth project execution

· Manage internal and external contractors well to ensure quality of work and scope of work is within specifications.

· Responsible for all inspection activities being carried out.

· Assist in planning, schedule and technical support to PM and/or resident engineerr.

Key Responsibilities:

• Assist in the operation, maintenance, and troubleshooting of Building Management Systems (BMS) and Energy Management Systems (EMS).
• Understand and apply HVAC, Building Automation, and Energy Management systems to meet project specifications and ensure optimal system performance.
• Diagnose, troubleshoot, and resolve software and hardware issues in installed BMS and EMS systems.
• Analyze and resolve communication problems with control devices and other system components.
• Perform software preventive maintenance on installed BMS and EMS equipment to ensure system longevity and reliability.
• Support system commissioning and testing processes to verify that systems function as intended.
• Assist in system upgrades, ensuring compatibility with existing infrastructure and adherence to project timelines.

Key Requirements:

• Basic knowledge of HVAC systems, Building Automation, Energy Management, or related control systems.
• Familiarity with communication protocols such as BACnet, MODBUS, and LON.
• Strong troubleshooting skills for diagnosing and resolving system issues.
• Ability to work independently and as part of a team in a fast-paced environment.
• Good communication skills, both written and verbal.
• Proficiency in using software tools and diagnostic equipment for system maintenance and troubleshooting.
• Ability to learn new technologies and protocols quickly.

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (18C9514/R23118479)

Overall purpose of job

Provides clerical and administration support to the Production Department and office in the day-to-day operation.

Responsibilities

· To records all employees daily attendance and overtime, including production team

· Assist to check all timesheets for daily work attendance overtime with the timekeeper against the system and records daily timesheet into system

· To record all attendance of leave records and MC Records of the production employees and highlight daily the records to person in charge

· Sorting documents and paperwork

· Keeps records, distribution and filing of all documents

· Updates all safety policy.

· Assist to order material and to keep records of the inventory.

· Assists in keying in material requisition.

· Liaising with suppliers and customers for ordering, and delivery material

· Sourcing for suppliers, compare quotations, negotiate with suppliers

· Ordering of materials requested by project teams or if the stock inventory is low.

· Comply with all statutory requirements for safety.

· Maintains availability of forms, permits and stationary needed by the projects.

· To report all expiring license due for renewal, eg insurance, permits for machines, and any other license.

· Report all injuries to their manager and follow up all the required protocol for injuries.

· Any other tasks and responsibilities assigned from time to time.

Requirements

· Minimum of secondary education or preferably with GCE ‘O’ levels.

· Preferably 2 years of working experience or with relevant working experience.

· General working knowledge on filing and computer

· Required skill(s): Proficient in MS Office software such as word, excel Power-point and MS outlook

· Able to work in teams and can interact and communicate with diverse employee groups

· Able to work in fast-paced working environment

· Positive attitude and able to work independently and multi-task

·Able to work in Jurong Area/Tuas

.5.5 days work

Shortlisted will be notified through contact information provided

Job Type: Full-Time

About Us:
AV Intelligence is a premier provider of high-end audio-visual solutions in Singapore and Malaysia, specializing in customized home theaters, premium sound systems, and integrated AV solutions for residential and commercial spaces. We pride ourselves on exceptional service, quality, and innovation. We are currently looking for an AV Installation Assistant to join our team and support our installation operations.

Job Summary:
The AV Installation Assistant/Engineer will work closely with our skilled installation team to set up and configure audio-visual systems for our clients. This role is perfect for someone with a passion for AV technology, an eye for detail, and a commitment to delivering high-quality work.

Key Responsibilities:

• Assist/ conduct in the installation, configuration, and troubleshooting of AV systems, including home theaters, audio systems, and other AV equipment.
• Help in / conduct cutting ceilings, running and organizing cabling, wiring, and mounting of equipment.
• Ensure the proper setup, alignment, and calibration of equipment for optimal performance.
• Maintain and organize tools, equipment, and supplies required for installations.
• Assist in testing systems post-installation to verify functionality and quality.
• Provide support in educating clients on basic system operation and troubleshooting.

Qualifications:

• Prior experience in AV installation, electrical work, or technical support is an advantage but not required; training will be provided.
• Basic understanding of AV systems, components, and wiring (preferred).
• Ability to use basic hand tools and follow installation instructions accurately.
• Excellent attention to detail and commitment to quality work.
• Strong communication skills and a positive attitude.
• Physical ability to lift equipment and work on ladders as required.

Preferred Qualifications:

• Familiarity with AV brands and equipment is a plus.
• Basic understanding of audio calibration and setup is an advantage.

Working Hours:

• Full-time.
• 5 days a week
• 9:30am -6:30pm
• Closed on Public Holidays
• 14 days a year

Remuneration

• Basic
• Bonus subject to your and Company's performance
• Mobil allowance
• Transport allowance
• Your remueration will be subject to your experience.
• The salary will be range posted is including the minimum bonus

How to Apply:
Please send your resume and a brief cover letter to info@av-intelligence.sg with the subject line "AV Installation Assistant Application - AV Intelligence."

AV Intelligence is committed to creating an inclusive environment and welcomes applications from all qualified individuals.

About the Company:

Dbiz is a high-performing product and engineering company that partners with organizations to build out digital solutions using the right technology at the right time. We pride ourselves on our innovative use of technology in various ways.

Role Summary:

We are seeking a talented and experienced Senior Outsystems Developer to join our dynamic team. The ideal candidate will have a strong background in developing and implementing solutions using the Outsystems platform, with proficiency in .NET, SQL, and JavaScript. This role involves designing, developing, and optimizing applications to meet business needs effectively.

Key Responsibilities:

• Design, develop, and maintain applications using the Outsystems platform.
• Utilize .NET, SQL, and JavaScript to create robust and scalable solutions.
• Collaborate with business stakeholders to understand requirements and translate them into technical solutions.
• Implement best practices in coding and application development.
• Troubleshoot and resolve application issues, ensuring optimal performance and user experience.
• Perform code reviews and provide mentorship to junior developers.
• Stay current with Outsystems updates and emerging technologies to continuously enhance skills and knowledge.
• Ensure adherence to project timelines and deliver high-quality solutions within deadlines.

Qualifications:

• Bachelor’s degree in Computer Science, Information Technology, or a related field.
• 2+ years of professional experience in software development with a focus on Outsystems, .NET, SQL, and JavaScript.
• Proven experience in developing and deploying applications using the Outsystems platform.
• Strong proficiency in the .NET framework and associated technologies.
• Extensive experience with SQL databases and writing complex queries.
• Advanced knowledge of JavaScript and its frameworks/libraries.
• Excellent problem-solving skills and attention to detail.
• Strong communication skills and ability to work collaboratively in a team environment.
• Experience in agile development methodologies is a plus.

Preferred Skills:

• Certifications in Outsystems or related technologies.
• Experience with the integration of Outsystems with other systems and APIs.
• Knowledge of cloud platforms and DevOps practices.

Life at Dbiz:

• Competitive salary and attractive benefits
• Dynamic and innovative work environment
• Opportunities for personal growth and development
• Engaging and collaborative company culture

Job Title: Assistant Field Service Engineer (1-Year Contract)

Company: [Global MNC Company in Power Solutions]

Location: [Location]

Job Summary:
Join our team as an Assistant Field Service Engineer, where you will assist in testing, commissioning, and startup operations for transformers and switchgear. Ideal candidates have 1-2 years of experience in electrical engineering or field service, with a strong interest in power equipment and safety practices.

Key Responsibilities:

• Support the testing, commissioning, and start-up of transformers and switchgear on-site.
• Assist senior engineers in troubleshooting and ensuring systems operate according to specifications.
• Conduct routine inspections, maintenance, and documentation of service activities.
• Adhere to all safety guidelines and work collaboratively with on-site teams to ensure smooth operations.

Qualifications:

• Diploma in Electrical Engineering or a related field.
• 1-2 years of experience in field service, ideally with power systems or heavy electrical equipment.
• Basic knowledge of transformers, switchgear, and safety standards.
• Strong communication skills and willingness to travel to various project sites.

For interested applicant, kindly send your resume in Word/PDF format to include the following in your resume:

1. Current Salary

2. Expected Salary

3. Availability

4. Reason for leaving

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

License No: 23S1595

Registration No: R23116355

• Mondays to Fridays; Office hours

• Walking distance from MRT Station

• Salary: S$2500-2800/month

Job Responsibilities:

• Perform total preventive maintenance (TPM) procedures, inspections, basic troubleshooting on mechanical and hydraulic equipment/equipment failure

• Conduct regular maintenance tasks at the facilities

• Allocate appropriate resources to execute work orders

• Assess the need of mechanical spare parts to avoid delays in TPM

• Maintain and complete timely records

• Organise small workshop activities, incorporate efficient ways to maintain new equipment/plant, supervise external vendors

• Be involved in installation and commissioning processes

• Ensure all maintenance activities carried out are according to policies and regulations

• Assist Maintenance Supervisor (Mechanical) when needed

• Perform ad-hoc duties as required

Job Requirements:

• Minimum NITEC / Diploma in Mechanical Engineering or equivalent and above

• Minimum 1-2 years’ experience in a Power Plant environment

• Preferrable to have knowledge in plant operations

Interested and suitable candidates, please email your CV in MS Word to

ammerlinelam@celecti.com.sg

Ammerline Lam Sze Yi (Ms)

Division Manager

CEI Registration No.: R1104463

Celecti Pte Ltd.

EA License: 16C8045

Personal Data Protection

“By submitting your curriculum vitae or disclosing your personal information in connection with your job application, you are deemed to have read and agreed to the terms of our Privacy Policy, and consented to the collection, use and disclosure of your personal data by us, in accordance with our Privacy Policy. Please access our website at www.celecti.com.sg for a copy of our Privacy Policy.”

Join a worldwide leading design and system integrator of Intelligent Transport Systems. SICE utilises the latest technologies (developed in-house) in ITS & Tunnel management and control systems.

SICE ANZ is currently embarking on exciting growth and we have a great opportunity for a Junior Testing Engineer to join our team working on the West Gate Tunnel Project based in Footscray.

This is a unique entry level of opportunity suitable for a recent graduate. The ideal candidate will be able to learn quickly, work independently, and have excellent communication skills. This will be a 12-month fixed-term contract.

The position will be part of the testing team currently working on the delivery of the Operations Management and Control System (OMCS) and related ITS for the West Gate Tunnel project.

This role will involve:

• Design the test cases to ensure that software implementation is as per requirements
• Collaborating across development teams to ensure the design meets the technical requirements
• Execution of the nominated test cases
• Creating defects on the defect management system
• Working with the design and development team with a focus on defect resolution
• Supervise the completion of defects resolution
• Testing all aspects of SICE's delivery for the West Gate Tunnel Project and reporting defects
• Create and execute both manual and automated test cases and record their outcomes
• Review of technical documentation

The preferred candidate will meet the following requirements:

• Recent graduate in a relevant field of engineering (Electrical/Electronics, Mechanical, Mechatronics etc),
• Knowledge and/or experience of PLC/SCADA systems architecture will be highly desirable and looked favourably upon.
• Programming skills in .NET, Python or Javascript.
• Strong MS Office Suite skills (especially in excel & word).
• Experience in test management software (desirable).
• Ability to work entirely on-site.
• Excellent verbal and written communication skills

Please also note that this position will require the successful candidate to be fully vaccinated or have a valid medical exemption to be able to attend the project office/site.

• Be part of large scale infrastructure projects.
• Genuine opportunities for learning and growing in a cross-functional, multi-cultural team.
• A collaborative and supportive work environment where everyone has the chance to make a difference.
• Access to employee benefits (EAP, employment anniversary leave, etc.)

SICE ANZ is an Equal Opportunity Employer, inviting you to join an organisation dedicated to fostering a diverse, inclusive, and collaborative working environment. We actively encourage applications from women, individuals of Aboriginal and Torres Strait Islander descent, and those from diverse backgrounds. Your unique perspectives contribute to our collective strength. Be part of a team that values and celebrates diversity – apply today.

Due to the high volume of applications received, only successful candidates will be contacted. We apologise for the inconvenience.

Unsolicited applications from recruitment agencies will not be accepted.

We are seeking a electrical technician to join ourteam in Singapore.

The ideal candidate should

Job responsibilities

- installation of all types of CCTV/ door access ,etc.

- perform service & repair all types of CCTV/door access system.

- perform checking maintenance andtroubleshooting of CCTV/door access.

- Any other duties as assigned by Managerduring project, from time to time.

- perform handover with customer after jobcompleted.

Job requirement

- At least 4 Year(s) of working experience inelectrical work /installation /

- Have ITC/Diploma in Electrical may bepreferred.

- Be mild-tempered

- Be able to work overtime when required.

- Applicant with CSOC/BCSS cert may bepreferred.

- Required language (s): English (written andspoken)

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

• Performs administrative functions and provides administrative support to project team and/or executive group in field or office as designated by management.
• Transcribe and distribute project documents and correspondence such as the subcontract base, subcontracts, purchase orders and various letters, create and maintain paper and electronic project flies according to company’s guidelines.
• Maintain and track project information for project team as directed.
• Follow up with subcontractors regarding project paperwork, eg. claim, certificate, delivery order etc as needed.
• Assist project team with closeout coordination and preparation of O & M manuals.
• Work with Executive Director / project manager(s) a directed to achieve departmental objectives.
• Assist Executive Director / project managers to prepare project documentation, eg cashflow, progress claim to client, project insurance, schedules etc.
• Order supplies for project team/office.
• Maintain personal, office and jobsite space and filing in a neat and organized manner.
• Set up project binders and order project drawings from local printing resources.
• Assist project team in the preparation and distribution of project punch lists to venders/subcontractors.
• Archive all project documentation according to company and/or client requirement.
• Participate in project and/or team meetings as needed.
• Assist with daily planning of managers schedules, meetings, interviews and possibly travel (through corporate agency), if assigned.
• Assist in the implementation of new procedures as designated by company.

• MNC - subsidiary office
• Attractive Benefits
• 5 days work week

Job Description

• Responsible for projects management (pre-sales), technical activities including AutoCad drawings & electrical wirings
• Liaise with sub-contractors, vendors and customers for costs & leadtime
• Liaise with local and overseas customers
• Time and cost management of projects

Requirements

• ITE Diploma
• Knowledge in Autocad is a must
• Microsoft Office & Excel
• Good electrical & wiring background would be an advantage
• Knowledge in explosion proof product is a plus but not a must
• Well organised with good attention to details

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2